曹大带我学 Go(3)—— 如何用汇编打同事的脸
今天介绍几个常用的查看 Go 汇编代码、调试 Go 程序的命令和工具,既可以在平时和同事、网友抬杠时使用,还能在关键时刻打他们的脸。
比如,有同事说这段代码:
1package main
2
3type Student struct {
4 Class int
5}
6
7func main() {
8 var a = &Student{1}
9 println(a)
10}
的执行效率要高于下面这段代码:
1package main
2
3type Student struct {
4 Class int
5}
6
7func main() {
8 var a = Student{1}
9 var b = &a
10 println(b)
11}
并且给你讲了一通道理,你好像没法辩赢他。怎么办?
直接用一行命令生成汇编代码,马上可以戳穿他,打他的脸。
go tool 生成汇编
其实很简单,有两个命令可以做到:
1go tool compile -S main.go
和:
1go build main.go && go tool objdump ./main
前者是编译,即将源代码编译成 .o
目标文件,并输出汇编代码。
后者是反汇编,即从可执行文件反编译成汇编,所以要先用 go build
命令编译出可执行文件。
二者不尽相同,但都能看到前面两个示例代码对应的汇编代码是一致的。同事的“谣言”不攻自破,脸都被你打疼了。
找到 runtime 源码
Go 是一门有 runtime 的语言,什么是 runtime?其实就是一段辅助程序,用户没有写的代码,runtime 替我们写了,比如 Go 调度器的代码。
我们只需要知道用 go 关键字创建 goroutine,就可以疯狂堆业务了。至于 goroutine 是怎么被调度的,根本不需要关心,这些是 runtime 调度器的工作。
那我们自己写的代码如何和 runtime 里的代码对应起来呢?
前面介绍的方法就可以做到,只需要加一个 grep
就可以。
例如,我想知道 go 关键字对应 runtime 里的哪个函数,于是写了一段测试代码:
因为 go func(){}()
那一行代码在第 4 行,所以,grep 的时候加一个条件:
1go tool compile -S main.go | grep "main.go:4"
2
3// 或
4
5go build main.go && go tool objdump ./main | grep "main.go:4"
马上就能看到 go func(){}()
对应 newproc()
函数,这时再深入研究下 newproc()
函数就大概知道 goroutine 是如何被创建的。
用 dlv 调试
那有同学问了,有没有其他可以调试 Go、以及和 Go 程序互动的方法呢?其实是有的!这就是我们要介绍的 dlv 调试工具,目前它对调试 Go 的程序支持是最好的。
之前没我怎么研究它,只会一些非常简单的命令,这次学会了几个进阶的指令,威力挺大,也进一步加深了对 Go 的理解。
下面我们带着一个任务来讲解 dlv 如何使用。
我们知道,向一个 nil 的 slice append 元素,不会有任何问题。但是向一个 nil 的 map 插入新元素,马上就会报 panic。这是为什么呢?又是在哪 panic 呢?
首先写出让 map 产生 panic 的示例程序:
接着用 go build
命令编译生成可执行文件:
1go build a.go
然后,使用 dlv 进入调试状态:
1dlv exec ./a
使用 b
这个命令打断点,有三种方法:
- b + 地址
- b + 代码行数
- b + 函数名
我们要在对 map 赋值的地方加个断点。先找到代码位置:
1cat -n a.go
看到:
赋值的地方在第 5 行,加断点:
执行 c
命令,直接运行到断点处:
执行 disass
命令,可以看到汇编指令:
这时使用 si
命令,执行单条指令,多次执行 si
,就会执行到 map 赋值函数 mapassign_fast64
:
这时再用单步命令 s
,就会进入判断 h 的值为 nil 的分支,然后执行 panic
函数:
至此,向 nil 的 map 赋值时,产生 panic 的代码就被我们找到了。接着,按图索骥找到对应 runtime 源码的位置,就可以进一步探索了。
除此之外,我们还可以使用 bt
命令看到调用栈:
使用 frame 1
命令可以跳转到相应位置。这里 1
对应图中的 a.go:5
,也就是我们前面打断点的地方,是不是非常酷炫。
上面这张图里我们也能清楚地看到,用户 goroutine 其实是被 goexit 函数一路调用过来的。当用户 goroutine 执行完毕后,就会回到 goexit 函数做一些收尾工作。当然,这是题外话了。
另外,用 dlv 也能干第二部分“找到 runtime 源码”的活。
总结
今天系统地讲了几招通过命令和工具查看用户代码对应的 runtime 源码或者汇编代码的方法,非常实用。最后再汇总一下:
- go tool compile
- go tool objdump
- dlv
使用这些命令和工具,可以让你在看 Go 源码的过程中事半功倍。
- 原文作者:饶全成
- 原文链接:https://qcrao.com/post/how-to-get-asm-code-of-go/
- 版权声明:本作品采用知识共享署名-非商业性使用-禁止演绎 4.0 国际许可协议进行许可,非商业转载请注明出处(作者,原文链接),商业转载请联系作者获得授权。