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