Go plan9 汇编:手写汇编
原创文章,欢迎转载,转载请注明出处,谢谢。
Go plan9 汇编系列文章:
0. 前言
在 Go plan9 汇编: 打通应用到底层的任督二脉 一文中介绍了从应用程序到汇编指令的转换。本文将结合汇编和 Go 程序实现手写基本的汇编指令,以加深对 Go plan9 汇编的了解。
1. 手写汇编
1.1 全局变量
首先写一个打印整型变量的函数如下:
// ex1/ex1.go
package main
var a = 9527
func main() {
print(a)
}
使用 go tool compile -S -N -l
输出程序的汇编代码:
# go tool compile -S -N -l ex0.go
main.main STEXT size=50 args=0x0 locals=0x10 funcid=0x0 align=0x0
...
main.a SNOPTRDATA size=8
0x0000 37 25 00 00 00 00 00 00 7%......
这里省略了 main.main
的汇编输出,重点关注 main.a
这个变量。输出的 main.a
表示汇编的标识符,SNOPTRDATA
表示这个变量是不包括指针的,这是给垃圾回收器看的,当扫描到这个变量时,垃圾回收器会跳过这个变量的回收。size=8
是这个变量的大小。重点在 0x0000 37 25 00 00 00 00 00 00
,这段是 9527 在内存中的排列,0x2537 是 9527 的十六进制表示。
1.1.1 汇编实现全局变量
我们可以写汇编实现全局变量的输出。注意,本文不是汇编的教程,不会过多介绍 Go plan9 汇编的语法内容,关于这方面可以看曹大的 Go 语言高级编程:汇编语言(写的真是太好了!)。
首先,Go plan9 汇编是需要和 Go 文件一起协同工作的。这里
// ex1/ex1.go
package main
import (
"ex1/pkg"
)
func main() {
println(pkg.Id)
}
在 main
包中打印 pkg 包的 Id 变量。
// ex1/pkg/pkg.go
package pkg
var Id int
我们可以写汇编实现 Id 变量的定义,如下:
// ex1/pkg/pkg_amd64.s
#include "textflag.h"
GLOBL ·Id(SB),NOPTR,$8
DATA ·Id+0(SB)/1,$0x37
DATA ·Id+1(SB)/1,$0x25
DATA ·Id+2(SB)/1,$0x00
DATA ·Id+3(SB)/1,$0x00
DATA ·Id+4(SB)/1,$0x00
DATA ·Id+5(SB)/1,$0x00
DATA ·Id+6(SB)/1,$0x00
DATA ·Id+7(SB)/1,$0x00
NOPTR
表示变量 Id 不包括指针,$8 表示变量占 8 个字节。DATA
声明变量存储在内存中的 data
段,内存中的段如下。
运行上述程序:
# go run ex1.go
9527
输出变量 9527,其内存分布如下:
从变量内存分布可以看出,我们申请的 int(8 字节) 内存,只有 2 个字节是真正被用到的。其它字节都是 0。我们可以节省空间申请 Id 为 2 个字节如下:
// ex1/pkg/pkg.go
package pkg
var Id int16
// ex1/pkg/pkg_amd64.s
#include "textflag.h"
GLOBL ·Id(SB),NOPTR,$8
DATA ·Id+0(SB)/1,$0x37
DATA ·Id+1(SB)/1,$0x25
输出:
# go run ex1.go
9527
改写 pkg_amd64.s
:
#include "textflag.h"
GLOBL ·Id(SB),NOPTR,$2
DATA ·Id+0(SB)/1,$0x37
DATA ·Id+1(SB)/1,$0x25
DATA ·Id+2(SB)/1,$0x20
输出:
# go run ex1.go
9527
在 0x2537
之上的 1 个字节 0x20
并不会被 CPU 寻址到,CPU 会根据变量声明从内存中读取 2 个字节的 Id 变量送入寄存器中处理。
1.2 字符串
结合 Go 和汇编打印字符串:
// ex2/main.go
package main
import (
"ex2/pkg"
"fmt"
)
func main() {
fmt.Println(pkg.Name)
}
// ex2/pkg/pkg.go
package pkg
var Name string
字符串 Name
的声明在 pkg 包中,使用汇编定义变量 Name
:
// ex2/pkg/pkg_amd64.s
#include "textflag.h"
GLOBL string<>(SB),NOPTR,$16
DATA string<>+0(SB)/8,$"Hello Wo"
DATA string<>+8(SB)/8,$"rld!"
GLOBL ·Name(SB),NOPTR|RODATA,$16
DATA ·Name+0(SB)/8,$string<>(SB)
DATA ·Name+8(SB)/8,$12
这里字符串变量实际是一个 16 字节的包括长度和指针的结构体。变量定义在:
GLOBL ·Name(SB),NOPTR|RODATA,$16
DATA ·Name+0(SB)/8,$string<>(SB)
DATA ·Name+8(SB)/8,$12
前 8 个字节指向的是存储实际字符串的内存地址,后 8 个字节是字符串的长度。真实的字符串存储在内存中的数据段。这里 string<>
表示该变量 string
时不可导出变量,否则外部 Go 程序可直接访问字符串变量。
画出内存分布图如下:
2. 小结
我们顺着上述思路可以继续函数的汇编实现,不过本文重点是了解汇编的写法,不是真正去写汇编。我们通过两个简单的全局变量和字符串的汇编示例,了解汇编代码的写法。在实际应用中几乎不会自己去写,重在了解。更多关于汇编实现的内容可以参考曹大的 Go 高级编程。