Go plan9 汇编：手写汇编

原创文章，欢迎转载，转载请注明出处，谢谢。

---

Go plan9 汇编系列文章：

• Go plan9 汇编: 打通应用到底层的任督二脉
• Go plan9 汇编：手写汇编
• 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 高级编程。

---