关于CMS垃圾收集器并发清除阶段的两类技术疑问

1. 被remark标记为垃圾的对象，并发清除时被引用会被回收吗？ #

会的。CMS的标记流程到**remark（重新标记）**阶段就彻底敲定了垃圾对象的名单，并发清除阶段只是个“执行者”——它只会照着之前标记好的垃圾列表去释放内存，不会再重新做可达性分析。

哪怕在并发清除过程中，应用线程把某个已经被标记为垃圾的对象重新引用了（比如把它赋值给一个存活对象的字段），CMS也不会管这个变化，依然会回收该对象。这是因为CMS的核心目标是低停顿，如果在并发清除阶段还要同步检查对象的可达性，会大幅增加复杂度和停顿时间，完全违背它的设计初衷。这种情况属于CMS的一个已知特性，而非bug，毕竟低停顿和绝对的内存正确性之间，CMS选择了前者。

2. 并发清除过程中，不可达对象能重新变为可达吗？ #

有可能，但这种场景非常少见。

举个具体的例子：应用线程先把某个对象的引用置空，remark阶段标记它为不可达垃圾；但在CMS还没清除这个对象的时候，应用线程又通过某种方式（比如反射、对象池复用、或者代码逻辑里的反向引用）把这个对象重新赋值给了一个可达的变量。这时候这个对象就从不可达变回了可达，但CMS依然会按照之前的标记结果把它回收，可能导致应用出现空指针或者对象状态异常的问题。

不过在常规业务代码里，这种情况几乎不会发生——正常逻辑不会去引用已经被废弃的对象。CMS本身也没有专门的参数来避免这种问题，因为它的设计优先级是低停顿，只能容忍这种极端场景下的小概率错误。

内容的提问来源于stack exchange，提问作者zheng