HotSpot的算法实现

我们知道虚拟机中的对象存活判定算法和垃圾收集算法，但在HotSpot中实现这些算法时，必须对算法的执行效率有严格的考量，才能保证虚拟机高效运行。

1. 枚举根节点

从可达性分析中从GC Roots节点找引用链这个操作为例，可作为GC Roots的节点主要正在**①全局性的引用（常量或类静态属性）与执行上下文（栈帧中的本地变量表）**中，但有些应用的仅仅方法区就有数百兆，若逐个检查里面的引用，肯定会消耗很多时间。

而且可达性分析对执行时间的敏感还体现在GC停顿上，因为这项工作必须在一个能确保一致性的快照中进行—这里“一致性”是指在整个分析期间整个执行系统看起来就像被冻结在某个时间点上，不可以出现分析过程中对象引用关系还在不断变化的情况，该点不满足的话分析结果准确性就无法得到保证。这也是导致GC进行时必须停顿所有Java执行线程的其中一个重要原因。

目前的主流Java虚拟机使用的都是准确式GC，所以当执行系统停顿下来后，并不需要一个不漏地检查完所有执行上下文和全局的引用位置，虚拟机应当是有办法直接得知哪些地方存放着对象引用。在HotSpot实现中，是使用一组称为OopMap的数据结构来完成的，在类加载完成的时候，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来，在JIT编译过程中，也会在特定的位置记录下栈和寄存器中哪些位置是引用。这样在GC扫描时就可以直接得知这些信息了。

自己的理解就是，因为每个线程是一个栈，而每个方法是一个栈帧，那么可以在这个栈帧的某个地方或者叫运行它时某个时间点创建一个OopMap结构，用来列举出本栈帧内的所有引用。这样只需要遍历每个栈帧内的OopMap就可以得知所有引用，而无需遍历整个栈帧（栈），参考JVM 之 OopMap 和 RememberedSet。

2. 安全点

在OopMap协助下，HotSpot可以快速且准确地完成GC Roots枚举，但一个很现实的问题是：可能导致引用关系变化，或者说OopMap内容变化的指令非常多，如果为每一条指令都生成对应的OopMap，那将需要大量的额外空间，GC的空间成本会很高。

实际上，HotSpot并没有为每条指令生成OopMap，只是在“特定的”位置记录了这些信息，这些位置称之为安全点，即程序执行时并非在所有地方都能停顿下来开始GC，只有达到安全点时才能暂停。当然安全点不能选太多导致频繁GC，也不能太少导致GC等待时间太长。安全点的选定基本上是以程序“是否具有让程序长时间执行的特征”为标准进行选定的，而“长时间执行”的最显著特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等，所以具有这些功能的指令才会产生Safepoint。

对于Safepoint，另一个要考虑的问题就是如何在GC发生时让所有线程（不包括执行JNI调用的线程）都“跑”到最近的安全点上再停顿下来，有两种方案可选：抢先式中断和主动式中断。

• 抢先式中断不需要线程的执行代码主动去配合，在GC发生时，首先把所有线程全部中断，若发现先有线程中断的地方不在安全点上，就恢复线程，让它“跑”到安全点上。现在几乎没有在使用
• 主动式中断思想是：当GC需要中断线程的时候，不直接对线程操作，仅仅简单地设置一个标志，各个线程执行时主动去轮训这个标志，发现中断标志为真时就自己中断挂起。轮询标志的地方和安全点是重合的，另外再加上创建对象需要分配内存的地方。

3. 安全区域

Safepoint机制保证了程序执行时，在不太长的时间内就会遇到可进入GC的Safepoint，但是程序“不执行”的时候呢？也就是程序没有分配CPU时间，典型的例子就是线程处于Sleep状态或者Blocked状态，这时候线程无法响应JVM的中断请求，“走”到安全的地方去中断挂起。对于这种情况，则需要安全区域来解决。

安全区域是指在一段代码片段中，引用关系不会发生变化，在这个区域的任何地方开始GC都是安全的。在线程执行到Safe Region中的代码时，首先标识自己已经进入到了Safe Region，那样当在这段时间里JVM要发起GC时，就不用管标识自己为Safe Region状态的线程了。在线程要离开Safe Region时，它要检查系统是否已经完成了根节点枚举（或者是整个GC过程），如果完成了，那线程就继续执行，否则它就必须等待直到收到可以安全离开Safe Region的信号为止。