G1垃圾回收器并发标记漏标问题SATB算法原理与解决方案详解

G1并发标记中的漏标问题：详述SATB算法如何通过快照记录旧的引用关系来解决并发标记冲突

在G1垃圾收集器的并发标记阶段，“漏标”是核心挑战。其本质在于用户线程与GC线程并行修改对象图，可能破坏三色标记法的安全约束——即黑色对象不应直接引用白色对象。G1的解决方案是SATB（Snapshot-At-The-Beginning）算法，其设计思路非常精妙：它不阻止引用关系的变化，而是通过“逻辑快照”与“写前屏障”的组合机制，精准捕获关键变更。核心目标是确保在标记开始时所有存活的对象，在本轮GC中都不会被错误回收。

G1通过SATB（初始快照）机制解决漏标问题：在引用被删除前，利用写前屏障捕获旧引用并存入SATB队列，最终标记阶段重新扫描这些对象，保证初始快照中所有可达对象的安全。

为什么删除引用比新增引用更危险

理解SATB的设计，首先要明确漏标的主要诱因。新增引用通常不会导致问题，例如一个灰色对象新建了一个指向白色对象的引用，该白色对象会在后续扫描中被加入标记队列。真正的风险在于删除引用。设想一个场景：一个已被标记为黑色的对象A，原本引用着白色对象B，当这个引用被置为null后，B的可达路径被切断。由于A是黑色，GC不会再次扫描它，导致仍在被业务使用的对象B在GC视野中“消失”，从而引发漏标。

• 漏标的后果极其严重，并非仅仅是少回收垃圾，而是可能导致正在使用的对象被误清除，进而引发空指针异常、类加载失败等程序错误。
• 因此，SATB的策略聚焦于监控“删除”操作，而非“新增”操作——因为前者是导致漏标的根本原因。
• 该机制不追求标记结果的完全精确，而是保证一个更基础的安全性：所有在标记开始时刻存活的对象，在本轮GC中必定存活。

SATB的快照不是全量复制，而是逻辑锚点

这里的“快照”并非物理复制整个堆内存，那样成本过高。它是一个逻辑概念，以初始标记阶段结束的瞬间作为时间锚点。在那一刻，所有从GC Roots可达的对象，即被定义为“已承诺存活”的快照内容。后续并发标记的任务就是遍历这部分对象。写屏障则作为监控哨兵，专门记录那些可能破坏此逻辑快照完整性的操作。

• 初始标记阶段必须采用STW（Stop-The-World），这是整个SATB机制正确性的基础，确保了快照起点的一致性。
• 为实现逻辑快照，G1在每个内存区域（Region）中维护了两个关键指针：pre-TAMS和next-TAMS，它们共同划分了内存状态。
• 具体而言，[Bottom, pre-TAMS) 是上一轮GC已标记的区域；[pre-TAMS, next-TAMS) 是本轮需要并发标记的区域；而[next-TAMS, Top) 是并发阶段新分配的对象，默认被视为存活。

写前屏障如何精准捕获“即将丢失”的引用

SATB算法的核心在于其写前屏障的实现。该屏障并非拦截所有赋值操作，只在特定条件下触发：当一个老年代对象的引用字段被覆盖（例如执行 oldObj.field = newObj），且旧值非空时，屏障会将被覆盖的旧引用值压入线程本地的SATB缓冲区。这一过程由JIT编译器在生成本地代码时自动插入，对Java应用层完全透明。

• 屏障主要监控老年代对象间的引用更新。年轻代内部或跨代引用通常由RSet（记忆集）处理，一般不触发SATB屏障。
• 需注意其监控盲区：例如数组元素赋值、通过Unsafe类进行的直接内存操作、以及在构造器外对final字段的赋值。这些场景需要额外关注。
• 当线程本地SATB缓冲区满时，会触发一次退化暂停进行处理。因此，在引用更新极其频繁的应用中，需留意GC日志中是否有“SATB buffer overflow”等相关提示。

最终标记阶段如何兜底修正

并发标记完成后，SATB缓冲区中积累了一批“曾被断开但依据快照应存活”的旧引用记录。随后进入最终标记阶段，这是一个短暂的STW过程。其任务是：将这些缓冲区中的旧引用对象重新置为灰色，并对它们及其引用子图进行一次快速的补充扫描。

• 此阶段并非全堆重新扫描，开销相对可控，仅处理SATB缓冲区记录的那些潜在漏标对象。
• 重新标记的对象中，可能包含一些已无任何业务引用的“浮动垃圾”。但这是一种合理的权衡——用少量额外的内存占用换取绝对的程序安全性。
• 与CMS收集器采用的增量更新算法相比，后者需要在每次写操作时立即进行补救标记。G1的SATB机制将写屏障的负担后置并批量处理，通常能减少并发阶段的开销，并降低最终标记阶段的压力，这是其设计上的一个重要优势。