JVM-----【并发可达性分析】

并发可达性分析是为了给后面的垃圾收集器做铺垫，在进行可行性分析时，首先JVM会将所有可以作为GC Roots的对象设置为GC Roots，这个过程需要stop the world

这里的并发可达性分析中的并发就是指用户线程和垃圾回收线程同时运行，如果同时只有一种线程运行就不存在并发问题了

引入三色标记：

白色：对象尚未被垃圾收集器访问过

黑色：对象访问过其引用的对象也被访问过

灰色：对象访问过，引用的对象没有被访问过

如下图：是最开始的图，现在从0这个GC Roots开始扫描，到2了然后3是可以被扫描到的

但是在扫描到2的时候，将2-3的引用关系删除，同时添加了1-3的引用关系，此时再扫描是无法扫描的3的，jvm会错误的认为3是不可达的，问题出现再了删除和添加是同时进行的，所以我们这里需要破坏其中任意一个条件即可

解决方法：

对于破坏添加新引用这个条件，称为增量更新，当插入了1-3这个引用的时候，就将这个新插入的引用记录下来，等扫描结束后，以刚才记录的黑色1作为GC Roots，然后再扫描一遍，这次扫描从1开始扫描不是从0开始扫描的，这时就可以扫描到3了

对于破坏删除引用这个条件，称之为原始快照，当2-3这对引用要删除的时候，就把这个引用记录下来，本次扫描结束后，3肯定是不可达的，但是在第二次扫描的时候，在记录中发现了删除2-3的引用关系，所以此时就在记录中扫描，记录中有2-3，在记录中的2肯定是能够扫描到3的，所以3就可达