Go 中的循环是如何转为汇编的(方法详解)

墨绿森林 發表於 2020-5-6 09:17:56

Go 中的循环是如何转为汇编的(方法详解)

<img alt="" src="https://img.jbzj.com/file_images/article/202005/202005060910351.png" />
本文基于 Go 1.13 版本
循环在编程中是一个重要的概念，且易于上手。但是，循环必须被翻译成计算机能理解的底层指令。它的编译方式也会在一定程度上影响到标准库中的其他组件。让我们开始分析循环吧。
循环的汇编代码
使用循坏迭代 <code>array</code> ， <code>slice</code> ， <code>channel</code> ，以下是一个使用循环对 <code>slice</code> 计算总和的例子。
<div class="jb51code">
<pre class="brush:plain;">
func main() {
l := []int{9, 45, 23, 67, 78}
t := 0

for _, v := range l {
t += v
}

println(t)
}</pre>
</div>
使用 <code>go tool compile -S main.go</code> 生成的汇编代码，以下为相关输出：
<blockquote>
0x0041 00065 (main.go:4)   XORL   AX, AX 
0x0043 00067 (main.go:4)   XORL   CX, CX
0x0045 00069 (main.go:7)   JMP    82 
0x0047 00071 (main.go:7)   MOVQ   ""..autotmp_5+16(SP)(AX*8), DX 
0x004c 00076 (main.go:7)   INCQ   AX 
0x004f 00079 (main.go:8)   ADDQ   DX, CX 
0x0052 00082 (main.go:7)   CMPQ   AX, $5 
0x0056 00086 (main.go:7)   JLT    71 
0x0058 00088 (main.go:11)  MOVQ   CX, "".t+8(SP)
</blockquote>
我把这些指令分为了两个部分，初始化部分和循环主体。前两条指令，将两个寄存器初始化为零值。
<blockquote>
0x0041 00065 (main.go:4)   XORL   AX, AX 
0x0043 00067 (main.go:4)   XORL   CX, CX
</blockquote>
寄存器 <code>AX</code> 包含着当前循环所处位置，而 <code>CX</code> 包含着变量 <code>t</code> 的值，下面为带有指令和通用寄存器的直观表示：
<img alt="" src="https://img.jbzj.com/file_images/article/202005/202005060910352.png" />
循环从表示「跳转到指令 82 」的 <code>JMP 82</code> 开始，这条指令的作用可以通过第二行来判断：
<img alt="" src="https://img.jbzj.com/file_images/article/202005/202005060910353.png" />
接下来的指令 <code>CMPQ AX,$5</code> 表示「比较寄存器 <code>AX</code> 和 <code>5</code> 」，事实上，这个操作是把 <code>AX</code> 中的值减去 5 ，然后储存在另一个寄存器中，这个值可以被用在下一条指令 <code>JLT 71</code> 中，它的含义是「如果值小于 0 则跳转到指令 71 」，以下是更新后的直观表示：
<img alt="" src="https://img.jbzj.com/file_images/article/202005/202005060910354.png" />
如果不满足条件，则程序将会跳转到循环体之后的下一条指令执行。
所以，我们现在有了对循环的基本框架，以下是转换后的 Go 循环：
<div class="jb51code">
<pre class="brush:plain;">
goto end
start:
?
end:
if i < 5 {
goto start
}

println(t)</pre>
</div>
我们缺少了循环的主体，接下来，我们看看这部分的指令：
<blockquote>
0x0047 00071 (main.go:7)   MOVQ   ""..autotmp_5+16(SP)(AX*8), DX 
0x004c 00076 (main.go:7)   INCQ   AX 
0x004f 00079 (main.go:8)   ADDQ   DX, CX
</blockquote>
第一条指令 <code>MOVQ ""..autotmp_5+16(SP)(AX*8), DX</code> 表示「将内存从源位置移动到目标地址」，它由以下几个部分组成：
<code>""..autotmp_5+16(SP)</code> 表示 <code>slice</code> ，而 <code>SP</code> 表示了栈指针即我们当前的内存空间， <code>autotmp_*</code> 是自动生成变量名。
<ul>
<li>偏差为 8 是因为在 64 位计算机架构中， <code>int</code> 类型是 8 字节的。</li>
<li>偏差乘以寄存器 <code>AX</code> 的值，表示当前循环中的位置。</li>
<li>寄存器 <code>DX</code> 代表的目标地址内包含着循环的当前值。</li>
</ul>
之后， <code>INCQ</code> 表示自增，然后会增加循环的当前位置：
<img alt="" src="https://img.jbzj.com/file_images/article/202005/202005060910355.png" /> 
循环主体的最后一条指令是 <code>ADDQ DX, CX</code> ,表示把 <code>DX</code> 的值加在 <code>CX</code> ，所以我们可以看出， <code>DX</code> 所包含的值是目前循环所代表的的值，而 <code>CX</code> 代表了变量 <code>t</code> 的值。
<img alt="" src="https://img.jbzj.com/file_images/article/202005/202005060910356.png" />
他会一直循环至计数器到 5 ，之后循环体之后的指令表示为将寄存器 <code>CX</code> 的值赋予 <code>t</code> ：
<blockquote>
0x0058 00088 (main.go:11)   MOVQ   CX, "".t+8(SP)
</blockquote>
以下为最终状态的示意图：
<img alt="" src="https://img.jbzj.com/file_images/article/202005/202005060910357.png" />
我们可以完善 Go 中循环的转换：
<div class="jb51code">
<pre class="brush:plain;">
func main() {
l := []int{9, 45, 23, 67, 78}
t := 0
i := 0

var tmp int

goto end
start:
tmp = l
i++
t += tmp
end:
if i < 5 {
goto start
}

println(t)
}</pre>
</div>
这个程序生成的汇编代码与上文所提到的函数生成的汇编代码有着相同的输出。
改进
循环的内部转换方式可能会对其他特性(如 Go 调度器)产生影响。在 Go 1.10 之前，循环像下面的代码一样编译：
<div class="jb51code">
<pre class="brush:plain;">
func main() {
l := []int{9, 45, 23, 67, 78}
t := 0
i := 0

var tmp int
p := uintptr(unsafe.Pointer(&l))

if i >= 5 {
goto end
}
body:
tmp = *(*int)(unsafe.Pointer(p))
p += unsafe.Sizeof(l)
i++
t += tmp
if i < 5 {
goto body
}
end:
println(t)
}</pre>
</div>
这种实现方式的问题是，当 <code>i</code> 达到 5 时，指针 <code>p</code> 已经超过了内存分配空间的尾部。这个问题使得循环不容易抢占，因为它的主体是不安全的。循环编译的优化确保它不会创建任何越界的指针。这个改进是为 Go 调度器中的非合作抢占做准备的。你可以在这篇Proposal 中到更详细的讨论。
到此这篇关于Go 中的循环是如何转为汇编的(方法详解)的文章就介绍到这了,更多相关go 循环汇编内容请搜索琼殿技术社区以前的文章或继续浏览下面的相关文章希望大家以后多多支持琼殿技术社区！

 <div class="art_xg">
 您可能感兴趣的文章:<ul><li>Golang汇编命令解读及使用</li><li>从Go汇编角度解读for循环的问题</li><li>汇编分析 Golang 循环(推荐)</li><li>Golang汇编之控制流深入分析讲解</li></ul>
 </div>

 </div>

頁: [1]

琼殿技术论坛's Archiver

Go 中的循环是如何转为汇编的(方法详解)