Go三色标记法是并发安全的可达性分析协议，用白/灰/黑表示可达性确定程度，状态由gcWork与mbitmap协同推演；混合写屏障（插入+栈重扫）保障强三色不变式，STW仅限根标记和标记终止两处。
Go 的三色标记法不是“给对象贴颜色标签”，而是用白/灰/黑三种逻辑状态，配合写屏障和分阶段 STW，把 GC 停顿压到百微秒级——它本质是并发安全的可达性分析协议，不是教学图示里的静态着色游戏。
三色状态的真实含义不是颜色，而是可达性确定程度
白色不等于“垃圾”，只是“尚未确认是否可达”；灰色不是“正在处理”，而是“已确认可达，但子引用未扫完”；黑色也不是“绝对安全”，而是“本次 GC 中已完全纳入闭包”。关键点在于：这些状态不存于对象内存中，是 GC 工作队列（
）与标记位（
）协同推演出来的运行时视图。
所有新分配对象默认为白色，哪怕刚被栈变量引用
根对象（goroutine 栈、全局变量、寄存器）初始全进灰色队列，这是唯一强制同步入口
黑色对象一旦形成，其字段指针在本轮 GC 中不再被重新扫描——所以必须靠写屏障堵住“黑→白”新路径
为什么必须有混合写屏障？因为堆和栈处理策略完全不同
Go 1.8+ 的混合写屏障（hybrid write barrier）不是锦上添花，而是强三色不变式落地的必要条件。它实际拆成两套逻辑：
对堆上写操作（
）：若
是黑色、
是白色，则立即将
标灰并入队——这叫插入屏障，防止漏标
对栈上写操作：不插屏障，但会在标记结束前触发一次短暂 STW（
阶段），重扫所有 goroutine 栈——因为栈空间小、变更快，插屏障开销反而更高
删除屏障在 Go 中未被采用；Go 选择“插入 + 栈重扫”组合，精度高且延迟可控
STW 只发生在两个精确时刻，不是全程停顿
很多人误以为三色标记仍需长 STW，其实 Go 的 STW 仅锁定两个原子切片：
立即学习
“
go语言免费学习笔记（深入）
”；
：暂停所有 goroutine，遍历当前所有栈帧和全局变量，将根对象标灰——通常
：标记主循环结束后，再停一次，重扫栈并清理灰色队列残余——同样
中间整个标记过程（灰色队列推进）、清除阶段（按页异步回收）全部与用户代码并发执行
注意：
会强制触发完整流程，但日常 GC 由后台
协程按内存增长自动触发，无需人工干预
清除阶段不“清内存”，只“清元数据”，真正释放是懒惰的
标记完成后，GC 并不立刻归还物理内存给 OS。它只做三件事：
将所有白色对象所在 span 的
重置，标记为可复用
把对应页（page）加入
链表，供后续
优先分配
后台
线程按
或系统压力，异步调用
交还 OS
这意味着：即使 GC 完成，
看到的 RSS 不会立刻下降——这是设计使然，不是泄漏
最易被忽略的是：三色标记的正确性不依赖“所有对象都有颜色字段”，而依赖写屏障与 STW 切点的严格配合。一旦绕过写屏障（比如
手动改指针）、或在 STW 外修改栈指针，就可能触发强三色不变式破坏——这时 GC 不会 panic，但会悄悄回收存活对象，表现为偶发 crash 或数据错乱，极难复现。
gcWorkmbitmapA.field = BABBmark terminationroot markingmark terminationruntime.GC()sysmonspan.freeIndexmheap.freemallocgcscavengerGOMEMLIMITunmaptop -punsafe.Pointer