深入理解JVM——HotSpot 垃圾回收算法细节实现

根节点枚举

（1）所有收集器在根节点枚举这一步都是要暂停用户线程的因此毫无疑问根节点枚举与之前提及的整理内存碎片一样会面临相似的“Stop The World”的困扰。
（2）由于目前主流 Java 虚拟机使用的都是准确式垃圾收集，所以当用户线程停顿下来之后，其实并不需要一个不漏地检查完所有执行上下文和全局的引用位置，虚拟机应当是有办法直接得到哪些地方存放着对象引用的。 在 HotSpot 的解决方案里，是使用一组称为OopMap 的数据结构来达到这个目的。其会把对象内什么偏移量上是什么类型的数据计算出来，这样收集器就不用一个不漏地从 GC Roots 中查找了。

安全点（Safepoint）

（1）HotSpot 并未对每一条指令都生成 OopMap，只是在特定位置记录了这些信息，这些位置被称为安全点。用户程序执行时并非在代码指令流的任意位置都能停顿下来开始垃圾收集，而是强制要求必须到达安全点后才能暂停。
（2）安全点选取的原则基本上是以能否具有让程序长时间执行的特征为标准选定的，如方法调用、循环跳转、异常跳转等属于指令程序复用的指令才会产生安全点。
（3）如何在垃圾收集时让所有的线程跑到安全点呢：抢占式终端和主动式中断。
抢占式中断：不需要线程的执行代码主动去配和，在垃圾收集发生时，系统首先把所有用户线程全部中断，如果发现有用户线程中断的地方不在安全点就恢复这条线程的执行，让它一会再中断，直到跑到安全点上。现在几乎没有虚拟机实现此方式来响应 GC 事件。
主动式中断：不直接对线程进行操作，而是简单地设置一个标志位，各个线程执行过程中会不停地主动轮询这个标志，一旦发现中断标志为真时就在自己最近的安全点上主动中断挂起。轮询标志的地方和安全点是重合的，另外还要加上所有创建对象和其他需要在 Java 堆上分配内存的地方，这是为了检查是否即将要发生垃圾收集，避免没有足够内存分配新对象。

安全区域

（1）安全区域的引入用于解决用户线程处于 Sleep 或 Blocked 等没有获得处理器分配时间的线程无法响应虚拟机的中断请求，不能走到安全的地方去中断自己。
（2）安全区域是指能够确保在某一段代码片段之中，引用关系不会发生变化，因此，在这个区域中任意地方开始垃圾收集都是安全的（可以看作拉伸了的安全点）。
（3）当用户线程执行到安全区域里面的代码时，首先会标识自己已经进入了安全区域，那样当这段时间里虚拟机要发起垃圾收集时就不必去管这些已声明自己在安全区域内的线程了。当线程要离开安全区域时，它要检查虚拟机是否已经完成了根节点枚举（或者垃圾收集过程中其他需要暂停用户线程的阶段），如果完成了，那线程就当作没事发生过，继续执行；否则它就必须一直等待，直到收到可以离开安全区域的信号为止。

记忆集与卡集

（1）记忆集是一种用于记录从非收集区域指向收集区域的指针集合的抽象数据结构。如果我们不考虑效率和成本的话，最简单的实现可以用非收集区域中所有含跨代引用的对象数组来实现这个数据结构。
（2）记忆集的记录精度：
字长精度：每个记录精确到一个机器字长，该字包含跨代指针。
对象精度：每个记录精确到一个对象，该对象里有字段含有跨代指针。
卡精度：每个记录精确到一块内存区域，该区域内有对象含有跨代指针。使用一种叫做卡表的方式去实现记忆集，这也是目前最常用的一种记忆集实现形式（卡表即记忆集的一种实现的具体形式）。
（3）卡表最简单的实现形式可以只是一个字节数组，而 HotSpot 虚拟机确实也是这样做的。字节数组（卡表）的每一个元素都对应着其标识区域中一块特定大小的内存块，这个内存块被称为卡页。一般来说，卡页大小都是以 2 的 N 次幂的字节数。
（4）一个卡页的内存中通常包含不止一个对象，只要卡页内有一个或多个对象的字段存在跨代指针，那就将对应卡表的数组元素的值标识为 1，称为这个元素变脏，没用则标识为 0。在垃圾收集发生时，只要筛选出卡表中变脏的元素，就能轻易得出哪些卡页内存块中包含跨代指针吗，把它们加入 GC Roots 中一并扫描。

卡表与卡页对应关系

写屏障

（1）卡表元素变脏的条件：有其他分代区域中对象引用了本区域的对象时，其对应的卡表元素就应该变脏。
（2）在 HotSpot 虚拟机里是通过写屏障技术来维护卡表状态的。写屏障可以看作在虚拟机层面对“引用类型字段赋值”这个动作的 AOP 切面，在引用对象赋值时会产生一个环形通知，供程序执行额外的动作。也就是说赋值的前后都在写屏障的覆盖范畴内。在赋值前的部分的写屏障叫作写前屏障，在赋值后的则叫作写后屏障。HotSpot 虚拟机的许多收集器中都有使用到写屏障，但直至 G1 收集器出现之前，其他收集器都只用到了写后屏障。
（3）应用写屏障后，虚拟机就会为所有赋值操作生成相应的指令，一旦收集器在写屏障中增加了更新卡表操作，无论更新的是不是老年代对新生代对象的引用，每次只要对引用进行更新，就会产生额外的开销，不过这个开销与 Minor GC 时扫描整个老年代的代价相比还是低得多的。
（4）伪共享问题：伪共享是处理并发底层细节时一种经常需要考虑的问题，现代中央处理器的缓存系统是以缓存行为单位存储的，当多线程修改互相独立的变量时，如果这些变量恰好共享同一个缓存行，就会彼此影响而导致性能降低。一种解决方法是不采用无条件的写屏障，而是先检查卡表标记，只要当该卡表元素未被标记过时才将其标记为变脏。

并发的可达性分析

黑色：表示对象已经被垃圾收集器访问过，且这个对象的所有引用都已经扫描过。
白色：表示对象尚未被垃圾收集器访问过。
灰色：表示对象已经被垃圾收集器访问过，但这个对象上至少存在一个引用还没有被扫描过。

（1）当且仅当满足以下两个条件时会出现对象消失的问题：
赋值器插入了一条或多条从黑色对象到白色对象的新引用。
赋值器删除了全部从灰色对象到该白色对象的直接或间接引用。
（2）要解决并发扫描时对象消失的问题只需要破坏其中一个条件，由此产生了两种解决方案：增量更新和原始快照。
（3）增量更新破坏的是第一个条件，当黑色对象插入新的指向白色对象的引用关系时，就将这个新插入的引用记录下来，等并发扫描结束之后，再将这些记录过的引用关系中的黑色对象为根，重新扫描一次。这可以简化理解为，黑色对象一旦新插入了指向白色对象的引用之后，它就变回灰色对象了。
（4）原始快照破坏的是第二个条件，当灰色对象要删除指向白色对象的引用关系时，就将这个要删除的引用记录下来，在并发扫描结束之后，再将这些记录过的引用关系中的灰色对象为根，重新扫描一次。这也可以简化理解为，无论引用关系删除与否，都会按照刚刚开始扫描那一刻的对象图快照来进行搜索。