JVM的三色标记

三色标记

• 简述

在之前说过的G1和CMS中，在标记的时候都可能出现两种问题，一种是浮动垃圾，一种是漏标的问题，在这里主要就是说一下如何解决这两个问题

这里首先介绍三色标记的的标记方法
白色：对象未被收集器访问
灰色：对象被访问过，但对应至少还有一个引用没有扫描过，还要继续扫描
黑色：本对象已访问过，而且本对象引用到的其他对象也全部访问过了

执行过程
首先将所有对象标记为白色，在扫描到AD之后，将他们置为灰色，然后继续扫描，AD置为黑色，E置为灰色，之后继续扫描，E置为黑色，GF置为灰色，最后GF置为黑色，剩余的白色会被收集

出现的问题

浮动垃圾
因为标记过程是和用户线程并发进行的，所以就会出现这个问题，也就是在标记过程中，用户线程更改了引用关系，断开了DE的引用，但是因为E被标为了灰色对象，所以会继续向下扫描。EFG在本次GC并不会被回收，而是到下一次垃圾收集才会被回收

漏标

这里如图所示可能出现这种问题，GC线程将E标记为灰色，但是这时候用户线程断开了E和G的引用，重新建立了D和G的引用，那么E向下扫描的时候就不会扫描G，又因为D已经被标记为黑色，不会从他扫描，所以，最终就出现了一个问题，最终GC的时候会将G回收掉，但是G还是被引用的，导致出现错误
原因分析
这个原因不难分析，其实就是两步
1.E作为灰色对象断开了G的引用
2.D作为黑色对象重新引用了G

下面用一段代码说明一下这个引用变更的流程

var G = objE.fieldG; // 1.读
objE.fieldG = null;  // 2.写
objD.fieldG = G;     // 3.写 

这里我们就可以看见整体引用变更的过程，为了要破坏之前说的那两个产生条件，那么我们就可以在读写的前后做一下操作，也就是在读写的时候记录G的原来引用，之后将他作为灰色对象，等并发标记操作完之后，在最终标记的时候重新扫描就可以了

这里就衍生出了两个解决方法

写屏障+增量更新
具体操作是什么呢，也就是在写之前，记录下新增的引用，在最终标记的时候重新从新增的引用开始扫描，这样就破坏了黑色对象重新建立了引用的条件，从而保证了漏标的问题

写屏障+SATB
这个的具体操作也就是保存了当前快照，当我们断开灰色对象的引用的时候，会保留开始的对象图，继续按照之前的进行扫描，主要就是用了两个BitMap和四个指针来对并发标记时候的对象关系变更进行记录
SATB具体描述



引用自《JVM G1源码分析和调优》