三色标记算法中新增引用处理的屏障策略分析

在并发垃圾回收技术中，三色标记算法是核心机制。它允许用户线程与标记线程并发执行，但“并发”本身也带来了风险：当标记进行时，用户线程修改对象引用关系，可能导致漏标。即，本应存活的对象被误判为“白色”垃圾而被回收。

这一风险源于特定的操作组合：一个已标记为“黑色”（扫描完成）的对象，新引用了“白色”（未访问）对象；同时，原本指向该白色对象的某个“灰色”（待扫描）对象又删除了此引用。结果，白色对象从灰色可达链上消失，而黑色对象的新引用不会被重新扫描，导致该对象被错误回收。

为解决此问题，产生了各种“屏障”技术。其核心是在危险操作路径上设置关卡，防止对象“失踪”。

插入写屏障：拦截新引用，把白色变灰

此策略思路直接，旨在预防。当执行类似 a.field = b 的操作时（假设a为黑色对象，b为白色对象），插入写屏障会被触发，立即将b标记为灰色并加入待扫描队列。

这如同在关键路口设卡，一旦发现黑色对象引用白色对象，便为白色对象贴上“待检查”标签。如此，“黑色引用白色”的危险路径在产生瞬间即被阻断。

需注意两个技术细节：其一，出于性能考虑，此类屏障通常仅作用于堆内存的对象引用赋值，栈上操作（如局部变量赋值）则被忽略。因此，早期Go语言使用纯插入屏障时，不得不在GC开始时短暂“Stop-The-World”以扫描所有栈，确保一致性。其二，这种“宁可错标，不可放过”的策略会带来一定的冗余扫描开销。

删除写屏障（SATB）：冻结旧快照，保留灰色链

删除屏障的思路与插入屏障不同，它不关注新增引用，而是紧盯引用删除。

当准备执行类似 g.field = w 的删除操作前（假设g为灰色，w为白色），删除屏障会介入。它不阻止删除，但会抢先将被断开的白色对象w记录下来，放入特殊集合（常称为“SATB队列”），并将其标记为灰色。

此操作的巧妙之处在于为标记过程保留了一份“历史快照”。回收器以标记开始时刻的引用图为基础视图，所有在该视图中被引用的对象，即使后续引用被删除，也会因被屏障提前“冻结”标灰而得以保留。此方式适合写操作频繁但新创建对象较少的场景，代价是需要额外内存维护“快照”日志。

混合写屏障：Go 1.8 起的折中方案

在实践了纯插入屏障和类似SATB的机制后，Go语言从1.8版本开始采用了更为精妙的混合屏障策略，可视为前两种思路的融合与简化。

其规则统一：只要发生堆上的写操作（无论是新增 a.field = b 还是删除 a.field = nil），屏障都会触发，并将被写入的对象（即b，或被覆盖的原值）标记为灰色。

这种设计带来几个显著优势：

• 栈上操作无需STW：新分配的对象在出生时即被直接标记为黑色，且栈上写操作也会触发屏障，保证了堆栈状态的一致性，无需专门扫描栈的全局停顿。
• 平衡开销：避免了SATB维护大量删除日志可能带来的内存膨胀，也减少了纯插入屏障可能导致的过度扫描。
• 极致短暂停顿：凭借此机制，Go可将GC的“Stop-The-World”时间压缩到百微秒级别，对追求低延迟的后端服务至关重要。

增量更新：JVM 常用的后置兜底

最后是流行于JVM世界的另一种策略：增量更新。其哲学可概括为“先污染，后治理”。

在并发标记阶段，它并不实时阻止“黑色引用白色”的情况发生。写屏障会工作，但仅记录下所有创建了“黑色→白色”引用的黑色对象。在并发标记结束后、真正开始清理前，GC会有一个“再标记”阶段。此阶段以之前记录的黑色对象为新的根，重新进行一小轮扫描，追踪可能被漏掉的白色对象。

这相当于先允许交通自由通行，高峰过后再集中处理。优点是对用户线程的运行时干扰最小，屏障操作更轻量。缺点是拉长了整个GC周期的总耗时。因此，此策略更适合对吞吐量要求高、对短暂延迟不敏感的批处理或计算型服务。

没有一种屏障策略是完美的。插入屏障直接，删除屏障保守，混合屏障寻求平衡，增量更新以时间换空间。选择取决于系统在延迟、吞吐量和实现复杂度之间的权衡。理解它们如何切断“漏标”路径，是理解现代并发垃圾回收器流畅运行的关键。