《Go 语言运行时原理》全书目录与学习路线（30 篇）

这是《Go 语言运行时原理》的全书目录与学习路线。本卷共 10 章 29 节，采用实验驱动写法：每节固定三段式——① 可复现实验（命令加本机实测数字）② 源码定位（文件:函数）③ 调优决策（决策表或清单）。它不满足于告诉你「三色标记是怎么回事」，而是带你跑一遍 GC trace、指出写屏障在哪个文件的哪一行、给出「什么时候该调 GOGC」的判断依据。

这本书解决什么问题

「懂 Go 运行时」这句话有两种含义。一种是在面试里能背出 GMP 的三个字母分别代表什么；另一种是线上服务延迟毛刺起来时，你能打开 runtime/trace，从 goroutine 时间线里读出「是 GC 辅助标记抢了 CPU，还是锁竞争把 P 阻塞了」。

本卷只服务第二种含义。

它会刻意避开一个陷阱：把运行时讲成一部「名词词典」。名词是廉价的——调度器、mcache、写屏障、SSA pass，这些词在搜索结果里到处都是，但知道名词不等于能做判断。真正有用的知识长这样：

• 一个具体的实验，比如「把 GOGC 从 100 改到 400，在同一负载下观察 gcPause 的分布」；
• 一组真实数字，比如「这个程序在 M1 Pro 上，每轮 GC 的 STW 是 42 微秒」；
• 一个源码位置，比如「辅助标记的入口在 runtime/mgc.go 的 gcAssistAlloc」；
• 一条决策，比如「如果 P99 延迟是瓶颈而内存有余量，先把 GOGC 调高；如果内存是瓶颈而延迟有余量，先设 GOMEMLIMIT」。

本卷的每一节都在生产这四样东西。

如何使用本目录

• 本卷可以当实验手册用：每一节的实验都能在你自己的机器上复现，命令与输出都写在正文里。第 1.3 节给出复现基线，建议先读。
• 本卷也可以当排障索引用：如果你手上有一个具体的性能问题，从「常见问题速查」入手，它会把你指到具体的节。
• 不建议跳读第 1 章：第 1 章不是背景介绍，而是方法论——它教你怎么用 GODEBUG、pprof、runtime/trace、-gcflags 这些工具去「看见」运行时。后面的每一节都依赖这套方法。
• 第 10 章建议最后读：它是综合实战，把前面所有工具串成一个端到端的调优流程。

读者画像与前置知识

适合谁读：

• 已经写过一段时间的 Go，想搞清楚「语言背后发生了什么」的开发者；
• 正在排查性能问题（延迟、内存、CPU），需要一套系统方法而不是碰运气的工程师；
• 要读 Go 源码（无论是为了改 runtime、还是为了理解某个库的取舍）但不知道从哪进入的读者；
• 需要为团队制定 Go 服务性能基线、容量规划与调优规范的技术负责人。

前置知识（不满足的话先补）：

• Go 语法、常用标准库、模块与测试（卷一《Go 语言编程入门》覆盖）；
• goroutine / channel / sync 的基本用法（卷一第 10–12 章）；
• 内存模型与 happens-before（本丛书卷三《Go 语言高级编程》第 5 章）；
• 基本的性能测量概念：基准测试、pprof、百分位数。

本卷不重复这些。它们是前提，不是内容。

实验驱动怎么写

本卷每节的结构是固定的，读的时候可以按这个节奏来：

第一段：可复现实验

每节至少有一个可以在本机跑出来的实验。形式通常是一段 Go 程序（几十行，能直接 go run）加上运行命令，然后是真实的终端输出——不做美化、不做截断，包括那些看起来不漂亮的地方。

GOTOOLCHAIN=go1.27.0 GODEBUG=gctrace=1 go run ./cmd/exp

gc 1 @0.013s 0%: 0.006+0.19+0.004 ms clock, 0.10+0.13/0.15/0.0+0.064 ms cpu, 4->4->1 MB, 5 MB goal, 0 MB stacks, 0 MB globals, 16 P
gc 2 @0.028s 0%: 0.005+0.24+0.003 ms clock, 0.08+0.11/0.24/0.0+0.048 ms cpu, 4->4->2 MB, 5 MB goal, 0 MB stacks, 0 MB globals, 16 P

第二段：源码定位

每节会指出相关的源码位置，格式是 文件:函数（例如 runtime/malloc.go:mallocgc）。目的不是让你去读完整份 runtime——那是几千行——而是让你在需要的时候知道去哪里看，以及第一次打开那个文件时该找哪个函数。

源码路径通过工具链自身定位：

GOTOOLCHAIN=go1.27.0 go env GOROOT

第三段：调优决策

每节以一张决策表或一份清单收尾，回答「知道这些之后，我该怎么做」。这是本卷与一般原理介绍文章最大的区别——原理的价值在于它能支撑决策。

六个部分之间的依赖关系

一句话结论：如果只读两章，读第 1 章（方法）和第 10 章（综合）。中间的章节按你当前的问题选读。

与既有 Go 专题的分工

本站 Go 专题（/posts/golang/）已有若干篇涉及运行时概念的文章（调度、GC、编译器相关的介绍型文章）。本卷与它们的分工是：

凡与专题文章同题的节，正文首段会明确写出分工，并且只写增量——实测数据、源码位置、决策表。如果你想要的是概念介绍，专题文章已经够了；本卷补的是「怎么用这些概念做判断」。

版本与示例约定

• 主线版本 Go 1.27，对照线 Go 1.26。涉及版本差异的结论都给出核实命令。
• 所有命令带 GOTOOLCHAIN=go1.27.0。
• 源码路径统一用 GOTOOLCHAIN=go1.27.0 go env GOROOT 定位，正文中给出的 文件:函数 以该版本为准。
• 基准数字都标注环境：CPU 型号、核数、内存、GOMAXPROCS。脱离环境的性能数字没有意义。
• 未实测的内容一律加粗标注：本卷宁可留下空白，也不写没跑过的输出。

第一部分：方法论（第 1 章）

这一部分只有一章，但它是全卷的地基——它教的是「怎么看见运行时」。

第 1 章 如何研究 Go 运行时

第二部分：调度（第 2–3 章）

调度器决定了「哪些 goroutine 在什么时候跑」。这一部分先看内部结构，再看怎么观测和调优。

第 2 章 调度器内部

第 3 章 调度观测与调优

第三部分：内存（第 4–5 章）

分配器决定了「对象放在哪、要花多少代价」，布局决定了「访问有多快」。

第 4 章 内存分配器内部

第 5 章 栈与内存布局

第四部分：GC（第 6–7 章）

GC 是 Go 最常被讨论、也最常被误解的子系统。这一部分先讲内部，再讲调优。

第 6 章 GC 内部

第 7 章 GC 调优

第五部分：编译器（第 8–9 章）

编译器决定了很多「运行时行为」——逃逸、内联、边界检查、接口调用，都在这层定下来。

第 8 章 编译流程内部

第 9 章 运行时支撑机制

第六部分：综合（第 10 章）

常见问题速查

读完本书之后

本卷的目标是让你具备一种能力：面对性能问题，能提出可验证的假设，并用工具去证实或推翻它。

具体来说，读完之后你应该能：

1. 看见：用 GODEBUG、pprof、runtime/trace、-gcflags 把运行时行为变成可观测的数据；
2. 定位：从现象（延迟、内存、CPU）追到原因（分配、GC、锁、调度）；
3. 决策：知道每个旋钮调下去会发生什么，因此敢调、也知道什么时候不该调；
4. 读源：需要时能自己打开 runtime 源码，找到相关函数。

如果你还想往上走一层——语言特性本身的设计取舍、工具链的边界、走出纯 Go 的路径——那是本丛书卷三《Go 语言高级编程》的主题。

小结

本卷 10 章 29 节，覆盖 Go 运行时的四个子系统与一套方法：

贯穿全卷的一条纪律是：每个结论都要有一个能复现的实验。这不是为了严谨而严谨——运行时的行为高度依赖版本、负载、机器，任何脱离实验的「经验之谈」都可能在你这里失效。本卷给你的不是结论清单，而是产生结论的方法。