CMS和G1的三色标记清理遗漏对象解决方案
作者：互联网
why：
CMS和G1都存在并发标记期间对象引用发生改变，从而导致部分白色对象标记不到（被视为了非活跃对象），被清理掉。
CMS和G1各自采用了不同的方案来解决。
例如：
引用关系改为：B->D的引用，改为了A->D和B->C。
how：
CMS：incremental update算法
incremental update是如果有一个黑色对象引用到了一个白色对象，即引用终点，即对D来说，引用它的源由原来的B变为了A，是从目标来解决的（A是新引用的最终对象）。通过将黑色对象重新标记为灰色对象，让collecter重新扫描，活着通过mod-union table来标记（即标记过了就不再标记）。
G1: SATB算法：
SATB认为开始并行标记时活的对象，在本次GC中都是活的对象。B->D的引用改为B->C，通过write barrier写屏障，会将B->D的引用也推入GC遍历的堆栈中标记，从而可以保证D还是能够被标记为活的。相对于D来说，引用它的源由原来的B变为了A，SATB是从源头来解决的（B的引用处开始解决的）。
如果把B=null，虽然D成了永久垃圾，但是SATB本次GC还是会认为D是活的，不回收成为浮动垃圾，直到下次GC。
扩展：
G1为何使用SATB算法？
1、G1的每个region中都有一个RSet，这个RSet存储的都是引用本region对象的引用，所有获得SATB只需要读region的RSet就可以获得。
2、remark阶段SATB算法更快，原因是：remark阶段SATB算法只处理那些被删除的引用，即并行标记开始引用，后面不引用了。（CMS的remark阶段除了删除的，还处理了新增引用，emark阶段扫描dirty card 和gc root(已经扫过的不扫)，所以浮动垃圾stab是更多的）
标签：G1,标记,对象,三色,SATB,引用,CMS 来源： https://www.cnblogs.com/sfzlstudy/p/15518874.html