三色标记法本身不解决漏标，而是依赖写屏障守住“黑→白引用不可存在”不变式；漏标仅当黑色对象新增白引用且所有灰色对象断开对该白对象的引用时发生，两种写屏障策略分别切断其一条件。

三色标记法本身不“解决”漏标，而是通过写屏障机制配合颜色约束来防止漏标发生。漏标一旦出现，会导致存活对象被错误回收，引发 NullPointerException 等严重问题。关键在于：它靠守住“黑色对象不能直接引用白色对象”这条不变式，再用不同写屏障策略拦截破坏该约束的操作。

漏标发生的两个必要条件

理论和实践都已证明，漏标只在以下两个条件**同时成立**时才会发生：

• 一个黑色对象（已扫描完毕）新增了对某个白色对象的引用（例如 a.field = whiteObj）
• 所有能到达该白色对象的灰色对象，都断开了对该白色对象的引用（例如 grayObj.field = null）

此时，白色对象既无上游可触发扫描，又被黑色对象“遮蔽”，GC 不会再访问它，最终被误判为垃圾。

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

两种主流写屏障策略分别切断一个条件

不同垃圾收集器采用不同策略，本质是选择“保哪一头”：

• 增量更新（Incremental Update）：用于 CMS。当黑色对象新增白色引用时，立即将该白色对象重新标记为灰色（加入待处理队列）。这相当于“把黑→白新增”这个动作拦下来，让它继续参与扫描——破坏第一个条件。
• 原始快照（SATB, Snapshot-At-The-Beginning）：用于 G1。当灰色对象要删除对白色对象的引用时，先记录下这个将被删除的引用（即“快照”），等并发标记结束后，以这些被删的引用为起点，重新扫描一遍。这相当于“冻结删除前的图”，确保所有原可达路径不被跳过——破坏第二个条件。

为什么必须搭配重新标记阶段

写屏障只能捕获运行时的变更，但无法覆盖所有边界情况（如栈上引用变化、新生代晋升等）。因此，所有使用三色标记的收集器（CMS、G1、ZGC）都会在并发标记结束后安排一次短暂的 STW 阶段，称为“重新标记（Remark）”。它的作用是：

• 扫描 GC Roots（包括栈帧、寄存器、JNI 引用等）中新增或变化的引用
• 处理写屏障记录下来的“增量更新”或“SATB 快照”数据
• 修正因并发导致的标记偏差，确保三色不变式最终成立

黑色对象不是“绝对安全”，而是“不再重访”

很多人误以为黑色对象是“已确认存活”，其实它只是“已确认扫描完毕”。它的字段可能已被用户线程修改，而 GC 不会回头再看。所以三色标记的安全性不来自黑色对象本身，而来自写屏障对**修改行为的实时干预**。没有写屏障，三色标记在并发环境下就不可靠；只有写屏障，才能让“黑→白引用不可存在”这条红线真正落地。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南