Go语言函数的底层实现
基于堆栈式的程序执行模型决定了函数是语言的一个核心元素,分析Go语言函数的底层实现,对理解整个程序的执行过程有很大的帮助,研究底层实现有两种办法,一种是看语言编译器源码,分析其对函数的各个特性的处理逻辑,另一种是反汇编,将可执行程序反汇编出来。
本节使用反汇编这种短、平、快的方法,首先介绍Go语言的函数调用规约,接着介绍Go语言使用汇编语言的基本概念,然后通过反汇编技术来剖析Go语言函数某些特性的底层实现。
主调函数保存和恢复现场的通用逻辑如下:
2) Go 内嵌汇编和反汇编产生的代码并不是一一对应的,汇编编译器对内嵌汇编程序自动做了调整,主要差别就是增加了保护现场,以及函数调用前的保持 PC 、SP 偏移地址重定位等逻辑,反汇编代码更能反映程序的真实执行逻辑。
3) Go 的汇编代码并不是和具体硬件体系结构的机器码一一对应的,而是一种半抽象的描述,寄存器可能是抽象的,也可能是具体的。
下面代码的分析基于 AMD64 位架构下的 Linux 环境。
从汇编的代码得知:
函数的多值返回实质上是在栈上开辟多个地址分别存放返回值,这个并没有什么特别的地方,如果返回值是存放到堆上的,则多了一个复制的动作。
main 调用 swap 函数栈的结构如下图所示。
图:Go函数栈
函数调用前己经为返回值和参数分配了栈空间,分配顺序是从右向左的,先是返回值,然后是参数,通用的栈模型如下:
程序源码如下:
//函数 a 和函数 main 对应的汇编代码
通过汇编代码的分析,我们清楚地看到 Go 实现闭包是通过返回一个如下的结构来实现的。
本节使用反汇编这种短、平、快的方法,首先介绍Go语言的函数调用规约,接着介绍Go语言使用汇编语言的基本概念,然后通过反汇编技术来剖析Go语言函数某些特性的底层实现。
提示:阅读本节需要有一定的汇编基础,想学习汇编的同学,我们这里准备了一套《汇编语言入门教程》供大家学习。
函数调用规约
Go语言函数使用的是 caller-save 的模式,即由调用者负责保存寄存器,所以在函数的头尾不会出现push ebp; mov esp ebp
这样的代码,相反其是在主调函数调用被调函数的前后有一个保存现场和恢复现场的动作。主调函数保存和恢复现场的通用逻辑如下:
//开辟栈空间,压栈 BP 保存现场 SUBQ $x, SP //为函数开辟裁空间 MOVQ BP, y(SP) //保存当前函数 BP 到 y(SP)位直, y 为相对 SP 的偏移量 LEAQ y(SP), BP //重直 BP,使其指向刚刚保存 BP 旧值的位置,这里主要 //是方便后续 BP 的恢复 //弹出栈,恢复 BP MOVQ y(SP), BP //恢复 BP 的值为调用前的值 ADDQ $x, SP //恢复 SP 的值为函数开始时的位
汇编基础
Go 编译器产生的汇编代码是一种中间抽象态,它不是对机器码的映射,而是和平台无关的一个中间态汇编描述,所以汇编代码中有些寄存器是真实的,有些是抽象的,几个抽象的寄存器如下:- SB (Static base pointer):静态基址寄存器,它和全局符号一起表示全局变量的地址。
- FP (Frame pointer):栈帧寄存器,该寄存器指向当前函数调用栈帧的栈底位置。
- PC (Program counter):程序计数器,存放下一条指令的执行地址,很少直接操作该寄存器,一般是 CALL、RET 等指令隐式的操作。
- SP (Stack pointer):栈顶寄存器,一般在函数调用前由主调函数设置 SP 的值对栈空间进行分配或回收。
Go 汇编简介
1) Go 汇编器采用 AT&T 风格的汇编,早期的实现来自 plan9 汇编器,源操作数在前,目的操作数在后。2) Go 内嵌汇编和反汇编产生的代码并不是一一对应的,汇编编译器对内嵌汇编程序自动做了调整,主要差别就是增加了保护现场,以及函数调用前的保持 PC 、SP 偏移地址重定位等逻辑,反汇编代码更能反映程序的真实执行逻辑。
3) Go 的汇编代码并不是和具体硬件体系结构的机器码一一对应的,而是一种半抽象的描述,寄存器可能是抽象的,也可能是具体的。
下面代码的分析基于 AMD64 位架构下的 Linux 环境。
多值返回分析
多值返回函数 swap 的源码如下:package main func swap (a, b int) (x int, y int) { x = b y = a return } func main() { swap(10, 20) }
编译生成汇编如下
//- S 产生汇编的代码
//- N 禁用优化
//- 1 禁用内联
GOOS=linux GOARCH=amd64 go tool compile -1 -N -S swap.go >swap.s 2>&1
汇编代码分析
1) swap 函数和 main 函数汇编代码分析。例如:"".swap STEXT nosplit size=39 args=0x20 locals=0x0 0x0000 00000 (swap.go:4) TEXT "".swap(SB), NOSPLIT, $0 - 32 0x0000 00000 (swap.go:4) FUNCDATA $0, gclocals.ff19ed39bdde8a01a800918ac3ef0ec7(SB) 0x0000 00000 (swap.go:4) FUNCDATA $1, gclocals.33cdeccccebe80329flfdbee7f5874cb(SB) 0x0000 00000 (swap.go:4) MOVQ $0, "".x+24(SP) 0x0009 00009 (swap.go:4) MOVQ $0, "".y+32(SP) 0x0012 00018 (swap.go:5) MOVQ "".b+16(SP), AX 0x0017 00023 (swap.go:5) MOVQ AX, "".x+24(SP) 0xOO1c 00028 (swap.go:6) MOVQ "".a+8(SP), AX 0x0021 00033 (swap.go:6) MOVQ AX, "".y+32(SP) 0x0026 00038 (swap.go:7) RET "".main STEXT size=68 args=0x0 locals=0x28 0x0000 00000 (swap.go:10) TEXT "".main(SB), $40 - 0 0x0000 00000 (swap.go:10) MOVQ (TLS), CX 0x0009 00009 (swap.go:10) CMPQ SP, 16(CX) 0x000d 00013 (swap.go:10) JLS 61 0x000f 00015 (swap.go:10) SUBQ $40, SP 0x0013 00019 (swap.go:10) MOVQ BP, 32 (SP) 0x0018 00024 (swap.go:10) LEAQ 32(SP), BP 0x001d 00029 (swap.go:10) FUNCDATA $0, gclocals ·33cdeccccebe80329flfdbee7f5874cb(SB) 0x001d 00029 (swap.go:10) FUNCDATA $1, gclocals ·33cdeccccebe80329flfdbee7f5874cb(SB) 0x001d 00029 (swap.go:11) MOVQ $10, (SP) 0x0025 00037 (swap.go:11) MOVQ $20 , 8 (SP) 0x002e 00046 (swap.go:11) PCDATA $0 , $0 0x002e 00046 (swap.go:11) CALL "". swap(SB) 0x0033 00051 (swap.go:12) MOVQ 32(SP), BP 0x0038 00056 (swap.go:12) ADDQ $40, SP 0x003c 00060 (swap.go:12) RET 0x003d 00061 (swap.go:12) NOP 0x003d 00061 (swap.go:10) PCDATA $0, $ - 1
- 第 5 行初始化返回值 x 为 0。
- 第 6 行初始化返回值 y 为 0。
- 第 7~8 行取第 2 个参数赋值给返回值 x。
- 第 9~10 行取第 1 个参数赋值给返回值 y。
- 第 11 行函数返回,同时进行栈回收,FUNCDATA 和垃圾收集可以忽略。
- 第 15~24 行 main 函数堆栈初始化:开辟栈空间,保存 BP 寄存器。
- 第 25 行初始化 add 函数的调用参数 1 的值为 10。
- 第 26 行初始化 add 函数的调用参数 2 的值为 20。
- 第 28 行调用 swap 函数,注意 call 隐含一个将 swap 下一条指令地址压栈的动作,即 sp=sp+8。
- 所以可以看到在 swap 里面的所有变量的相对位置都发生了变化,都在原来的地址上 +8。
- 第 29~30 行恢复措空间。
从汇编的代码得知:
- 函数的调用者负责环境准备,包括为参数和返回值开辟栈空间。
- 寄存器的保存和恢复也由调用方负责。
- 函数调用后回收栈空间,恢复 BP 也由主调函数负责。
函数的多值返回实质上是在栈上开辟多个地址分别存放返回值,这个并没有什么特别的地方,如果返回值是存放到堆上的,则多了一个复制的动作。
main 调用 swap 函数栈的结构如下图所示。
图:Go函数栈
函数调用前己经为返回值和参数分配了栈空间,分配顺序是从右向左的,先是返回值,然后是参数,通用的栈模型如下:
+----------+
| 返回值 y |
|------------|
| 返回值 x |
|------------|
| 参数 b |
|------------|
| 参数 a |
+----------+
闭包底层实现
下面通过汇编和源码对照的方式看一下 Go 闭包的内部实现。程序源码如下:
package main //函数返回引用了外部变量 i 的闭包 func a(i int) func () { return func() { print(i) } } func main() { f := a (1) f () }编译汇编如下:
GOOS=linux GOARCH=amd64 go tool compile -S c2_7_4a.go >c2_7_4a.s 2&1
关键汇编代码及分析如下://函数 a 和函数 main 对应的汇编代码
"".a STEXT size=91 args=0x10 locals=0x18 0x0000 00000 (c2_7_4a.go:3) TEXT "".a(SB), $24-16 0x0000 00000 (c2_7_4a.go:3) MOVQ (TLS), CX 0x0009 00009 (c2_7_4a.go:3) CMPQ SP, 16(CX) 0x000d 00013 (c2_7_4a.go:3) JLS 84 0x000f 00015 (c2_7_4a.go:3) SUBQ $24, SP 0x0013 00019 (c2_7_4a.go:3) MOVQ BP , 16(SP) 0x0018 00024 (c2_7_4a.go:3) LEAQ 16(SP), BP 0x001d 00029 (c2_7_4a.go:3) FUNCDATA $0, gclocals·f207267fbf96a0178e8758c6e3e0ce28(SB) 0x001d 00029 (c2_7_4a.go:3) FUNCDATA $1, gclocals·33cdeccccebe80329flfdbee7f5874cb (SB) 0x001d 00029 (c2_7_4a.go:4) LEAQ type.noalg.struct{ F uintptr; "".i int}(SB), AX 0x0024 00036 (c2_7_4a.go:4) MOVQ AX, (SP) 0x0028 00040 (c2_7_4a.go:4) PCDATA $0, $0 0x0028 00040 (c2_7_4a.go:4) CALL runtime.newobject(SB) 0x002d 00045 (c2_7_4a.go:4) MOVQ 8(SP), AX 0x0032 00050 (c2_7_4a.go:4) LEAQ "".a.funcl(SB), CX 0x0039 00057 (c2_7_4a.go:4) MOVQ CX, (AX) 0x003c 00060 (c2_7_4a.go:3) MOVQ "".i+32(SP), CX 0x0041 00065 (c2_7_4a.go:4) MOVQ CX, 8(AX) 0x0045 00069 (c2_7_4a.go:4) MOVQ AX, "".~r1+40(SP) 0x004a 00074 (c2_7_4a.go:4) MOVQ 16(SP), BP 0x004f 00079 (c2_7_4a.go:4) ADDQ $24, SP "".main STEXT size=69 args=0x0 locals=0x18 0x0000 00000 (c2_7_4a.go:9) TEXT "".main(SB), $24-0 0x0000 00000 (c2_7_4a.go:9) MOVQ (TLS), CX 0x0009 00009 (c2_7_4a.go:9) CMPQ SP, 16(CX) 0x000d 00013 (c2_7_4a.go:9) JLS 62 0x000f 00015 (c2_7_4a.go:9) SUBQ $24, SP 0x0013 00019 (c2_7_4a.go:9) MOVQ BP, 16(SP) 0x0018 00024 (c2_7_4a.go:9) LEAQ 16(SP), BP 0x00ld 00029 (c2_7_4a.go:9) FUNCDATA $0, gclocals·33cdeccccebe80329flfdbee7f5874cb(SB) 0x00ld 00029 (c2_7_4a.go:9) FUNCDATA $1, gclocals·33cdeccccebe80329flfdbee7f5874cb(SB) 0x00ld 00029 (c2_7_4a.go:10) MOVQ $1, (SP) 0x0025 00037 (c2_7_4a.go:10) PCDATA $0, $0 0x0025 00037 (c2_7_4a.go:10) CALL "".a(SB) 0x002a 00042 (c2_7_4a.go:10) MOVQ 8(SP), DX 0x002f 00047 (c2_7_4a.go:11) MOVQ (DX), AX 0x0032 00050 (c2_7_4a.go:11) PCDATA $0, $0 0x0032 00050 (c2_7_4a.go:11) CALL AX 0x0034 00052 (c2_7_4a.go:15) MOVQ 16(SP), BP 0x0039 00057 (c2_7_4a.go:15) ADDQ $24, SP 0x003d 00061 (c2_7_4a.go:15) RET
func a() 函数分析
- 第 1~10 行环境准备。
-
第 11 行这里我们看到
type.noalg.struct { F uintptr; "".i int }(SB)
这个符号是一个闭包类型的数据,闭包类型的数据结构如下:
type Closure struct {
F uintptr
i int
}
- 第 11 行将闭包类型元信息放到 (SP) 位置,(SP) 地址存放的是 CALL 函数调用的第一个参数。
- 第 14 行创建闭包对象,我们来看一下 runtime.newobject 的函数原型,该函数的输入参数是一个类型信息,返回值是根据该类型信息构造出来的对象地址。
// src/runtime/malloc.go
func newobject(typ *_type) unsafe.Pointer
- 第 15 行将 newobject 返回的对象地址复制给 AX 寄存器。
- 第 16 行将 a 函数里面的匿名函数 a.func 指针复制到 CX 寄存器。
- 第 17 行将 CX 寄存器中存放的 a.func 函数指针复制到闭包对象的函数指针位置。
- 第 18、19 行将外部闭包变量 i 的值复制到闭包对象的 i 处。
- 第 20 行复制闭包对象指针值到函数返回值位置 "".~r1+40(SP)。
main() 函数分析
- 第 23~32 行准备环境。
- 第 33 行将立即数 1 复制到 (SP) 位置,为后续的 CALL 指令准备参数。
- 第 35 行调用函数 a()。
- 第 36 行复制函数返回值到 DX 寄存器。
- 第 37 行间接寻址,复制闭包对象中的函数指针到 AX 寄存器。
- 第 39 行调用 AX 寄存器指向的函数。
- 第 40~42 行恢复环境,并返回。
通过汇编代码的分析,我们清楚地看到 Go 实现闭包是通过返回一个如下的结构来实现的。
type Closure struct {
F uintptr
env *Type
}
所有教程
- socket
- Python基础教程
- C#教程
- MySQL函数
- MySQL
- C语言入门
- C语言专题
- C语言编译器
- C语言编程实例
- GCC编译器
- 数据结构
- C语言项目案例
- C++教程
- OpenCV
- Qt教程
- Unity 3D教程
- UE4
- STL
- Redis
- Android教程
- JavaScript
- PHP
- Mybatis
- Spring Cloud
- Maven
- vi命令
- Spring Boot
- Spring MVC
- Hibernate
- Linux
- Linux命令
- Shell脚本
- Java教程
- 设计模式
- Spring
- Servlet
- Struts2
- Java Swing
- JSP教程
- CSS教程
- TensorFlow
- 区块链
- Go语言教程
- Docker
- 编程笔记
- 资源下载
- 关于我们
- 汇编语言
- 大数据
- 云计算
- VIP视频