Go中runtime(包括调度器)源码有部分代码使用的是汇编语言,而这些汇编代码并非针对特殊体系结构的汇编语言,它是Go引入的一种伪汇编,其同样需要经过汇编器转换为机器指令才能被CPU执行。需要关注的是,Go中伪汇编的汇编代码一旦经过汇编器的转换,之后再调用调试工具反汇编出来的代码,就再也不是Go中伪汇编代码了,而是跟平台相关的汇编代码。
Go中汇编格式跟AT&T汇编大体相似,本文就具有部分差异做简单说明。
首先就是寄存器。
Go中汇编语言使用的寄存器跟AMD64不一样,对应关系如下:
除了上述寄存器跟AMD64 CPU硬件寄存器一一对应之外,Go还引入了一些没有任何硬件寄存器与之对应的用来存放内存地址的虚拟寄存器,引入它们的目的主要是为了方便程序编写人员和编译器来定位内存中的代码和数据。
再来看下Go中汇编语言最常使用的两个虚拟寄存器。
FP虚拟寄存器:主要用来引用函数参数。
Go规定了函数调用时的参数都必须放在栈上,如被调用函数使用first_arg+0(FP)来引用函数调用者传递进来的第一个参数,使用second_arg+8(FP)来引用函数调用者传递进来的第二个参数,以此类推,first_arg和second_arg仅是帮助阅读源码的符号,对编译器来说毫无实际意义,+0和+8表示相对于虚拟寄存器FP的偏移量。
用一个runtime源码片段看下FP的使用,片段如下:
// func gogo(buf *gobuf)
// restore state from Gobuf; longjmp
TEXT runtime·gogo(SB), NOSPLIT, $16-8
MOVQ buf