2.1 Plan 9 汇编语言

Mon, 01 Jan 0001 00:00:00 +0000

2.1 Plan 9 汇编语言

读 Go 运行时的源码，迟早会撞见一种看起来既像汇编、又不太像任何熟悉汇编的代码，那是 Go 的 Plan 9 风格汇编。剖析调度器、栈切换、原子操作时我们会反复回到它：gogo、mcall、 morestack、asyncPreempt 都是汇编例程。本节解释它是什么、为何存在、以及读懂它需要的几个关键概念。我们不求让读者会写 Plan 9 汇编，那是另一本书的内容，但求把它变成一份阅读词汇表：当后文提到某个汇编例程时，读者知道它身处的是怎样一个抽象层，每个符号各指向什么。

本节示例取自 runtime/asm_amd64.s 与 internal/runtime/atomic。这些例程在各版本间相当稳定，为聚焦设计，我们对个别与本节无关的实验性分支（如 GOEXPERIMENT 守卫）做了裁剪，完整定义请对照对应源文件。

2.1.1 为什么 Go 要有自己的汇编

Go 的汇编源自 Plan 9 操作系统的汇编器传统。Plan 9 是贝尔实验室在 Unix 之后的研究型系统， Go 的几位设计者（Ken Thompson、Rob Pike、Russ Cox）正是从那里走来，把那套工具链的思路一并带进了 Go。它的关键特征是：它不是某一种 CPU 的原生汇编，而是一种半抽象、跨架构统一的中间汇编。同一套语法、同一批伪指令与伪寄存器，由工具链 cmd/asm 翻译到 amd64、arm64、riscv64 等各目标架构的真实指令。这与 GNU as 那种「每个架构一套方言」的设计截然不同。

这个选择服务于 Go 最初的一个硬目标：一套工具链、交叉编译开箱即用。当汇编层本身就是跨架构的，为新架构移植运行时就退化成「为这套统一语法补一个后端」，而不是「重学一门汇编再重写一遍运行时」。代价同样真实：Go 要自己维护汇编器、链接器与目标文件格式（cmd/internal/obj），多养一整套基础设施。买到的是对代码生成、调用约定、与运行时协同的完全掌控，这条「自己造而非复用现成件」的取舍，会在 2.2 调用规约的自定义 ABI 与 6.1 的函数调用里再次出现，是理解 Go 运行时的一条主线。

2.2 调用规范

Mon, 01 Jan 0001 00:00:00 +0000

2.2 调用规范

本节内容对标 Go 1.26。文中的寄存器名、栈帧布局与序言代码以 amd64 为例，其余体系结构（arm64、riscv64 等）结构相同而寄存器名不同，可对照 src/cmd/compile/abi-internal 的「Architecture specifics」一节。

一次函数调用，在机器层面要回答一连串具体的问题：参数放哪里，返回值放哪里，谁负责保存哪些寄存器，栈帧怎样布局，返回地址压在何处。把这些问题的答案固定下来，就是调用规范（calling convention），它也常被称作 ABI（application binary interface）。ABI 不是某一段代码，而是一份契约：编译器生成的代码、手写的 Plan 9 汇编（2.1）、运行时里的底层例程，三方各自独立编写，却要在调用的那一刻严丝合缝地对接。契约一旦写定，三方就都按它来摆放数据，谁也不必知道对方的内部细节。

6.1 已从语言视角讲过函数调用从栈到寄存器的演进，那里关心的是「一次 f(a, b) 在 Go 语义上发生了什么」。这一节补足它在汇编与运行时层面的另一半：同一次调用，落到机器指令上是如何约定的。两者合起来，函数调用这件事才算讲完整。

2.2.1 两套 ABI：ABI0 与 ABIInternal

Go 同时维护着两套调用规范，理解它们的分工是读懂运行时里那些奇怪符号标注的钥匙。

ABI0 是早期的、基于栈的规范：所有参数与返回值一律通过栈内存传递，调用方在自己的栈帧里按顺序摆好参数，被调用方从固定偏移处取用。它的好处是布局稳定、可预测，人脑能算清每个参数的偏移。手写汇编因此一律遵循 ABI0，go.dev/doc/asm 描述的就是这套稳定 ABI。ABI0 还有一个常被忽略的性质：它是 Go 唯一承诺稳定的 ABI，是汇编与 Go 之间唯一可靠的接缝。

ABIInternal 是 Go 1.17 引入的、基于寄存器的内部规范：尽量把参数与返回值放进寄存器，省去大量进出栈内存的读写。所有由 Go 源码编译出的函数都走 ABIInternal。它的名字里「Internal」二字是郑重的警告：这套 ABI 不稳定，会随 Go 版本变化，任何外部代码都不应依赖它的细节。换来的是约 5% 的整体提速，且这份提速对用户代码完全透明，源码一字不改，重新编译即享。

第 2 章 汇编与调用约定 on Go 语言原本

2.1 Plan 9 汇编语言

2.1 Plan 9 汇编语言

2.1.1 为什么 Go 要有自己的汇编

2.2 调用规范

2.2 调用规范

2.2.1 两套 ABI：ABI0 与 ABIInternal

第 2 章汇编与调用约定 on Go 语言原本