GC Roots节点查找

经历了判断对象存活和垃圾收集算法之后，在HotSpot虚拟机实现这些算法时，需要有严格的考量，即解决以下三个问题：

1）枚举根节点

从可达性分析中以GC Roots节点寻找引用链这个操作为例，可以作为GC Roots的节点主要在全局性的引用（例如常量或类静态属性）与执行上下文（例如栈帧中的本地变量表）中，现在许多应用仅方法区就有数百M，如果要逐个检查这里面的引用，那么必然会消耗很多时间。

另外，可达性分析必须在一个确保一致性的快照中进行——这里的“一致性”的意思是指，在整个分析期间整个执行系统看起来就像被冻结在某一个时间点上，不能出现分析过程中引用关系还在不断变化的情况。这将导致GC进行时必须停顿所有的Java执行线程。

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

2）安全点

在OopMap的协助下，HotSpot可以快速完成GC Roots枚举，但现实中，可能导致引用关系发生变化，或者OopMap内容变化的指令非常多，如果为每一条指令都生成对应的OopMap，会耗费大量额外空间。

实际上，HotSpot确实没有为每条指令都生产OopMap，而是只在“特定的位置”记录了这些信息，这些位置称为安全点，即程序执行时并非在所有的地方都能停顿下来GC，只有在到达安全点时才能暂停。安全点的选择基本上是以程序“是否具有让程序长时间执行的特征”为标准进行选定的——因为每条指令执行的时间都非常短暂，程序不太可能因为指令流长度太长这个原因而过长时间运行，“长时间执行”的最明显特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等，所有具有这些功能的指令才能产生安全点。

对于安全点，另一个需要考虑的问题是如何在GC发生时，让所有线程都“跑”到最近的安全点上再停顿下来。有以下两种方式：

• 抢占式中断。不需要线程的执行代码主动去配合，在GC发生时，首先把所有线程全部中断，如果发现有线程中断的地方不在安全点，就恢复线程，让它跑到安全点上。现在机会没有JVM使用该方法来响应GC事件。
• 主动式中断。当GC需要中断线程时，不直接对线程操作，仅仅设置一个标志，各个线程执行时，主动去轮询这个标志，发现中断标志为真时，就自己中断挂起。轮询标志的地方和安全点是重合的，另外再加上创建对象需要分配内存的地方。

3）安全区

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

安全区域是指在一段代码片段之中，引用关系不会发生变化。在这个区域中的任意地方开始GC都是安全的。我们也可以把安全区看成是扩展的安全点。

在线程执行到安全区中的代码时，首先标识自己已经进入了安全区，这样，当GC发生时，就不用管标识自己为安全区状态的线程了。在线程要离开安全区时，它要检查系统是否已经完成根节点枚举，如果完成了，它就继续执行；如果没完成，它就必须等待直到收到可以离开的信号为止。