深入探索JVM垃圾收集器 — HotSpot的算法细节实现 (一)

根节点枚举

我们以可达性分析算法中从GC Roots集合找引⽤链这个操作作为介绍虚拟机⾼效实现的第⼀个例⼦。 在HotSpot的解决⽅案⾥，是使⽤⼀组称为OopMap的数据结构来达到这个⽬的。⼀旦类加载动作完成的时候， HotSpot就会把对象内什么偏移量上是什么类型的数据计算出来，在即时编译过程中，也会在特定的位置记录下栈⾥和寄存器⾥哪些位置是引⽤。这样收集器在扫描时就可以直接得知这些信息了，并不需要真正⼀个不漏地从⽅法区等GC Roots开始查找。

在OopMap的协助下，HotSpot可以快速准确地完成GC Roots枚举。

安全点

在OopMap的协助下，HotSpot可以快速准确地完成GC Roots枚举。实际上HotSpot也的确没有为每条指令都⽣成OopMap，前⾯已经提到，只是在“特定的位置”记录了这些信息，这些位置被称为安全点。有了安全点的设定，也就决定了⽤户程序执⾏时并⾮在代码指令流的任意位置都能够停顿下来开始垃圾收集，⽽是强制要求必须执⾏到达安全点后才能够暂停。

安全点的选定既不能太少以至于让收集器等待时间过长，也不能太过频繁以至于过分增大运行时的内存负荷。安全点位置的选取基本上是以“是否具有让程序长时间执行的特征”为标准 进行选定的，“长时间执行”的最明显特征就是指令序列的复用，例如方法调用、循环跳转、异常跳转 等都属于指令序列复用，所以只有具有这些功能的指令才会产生安全点。

如何在垃圾收集发生时让所有线程都跑到最近的安全点，然后停顿下来。

两种方案可供选择：抢先式中断 （几乎处于弃用状态Preemptive Suspension）和主动式中断（Voluntary Suspension），抢先式中断不需要线程的执行代码 主动去配合，在垃圾收集发生时，系统首先把所有用户线程全部中断，如果发现有用户线程中断的地 方不在安全点上，就恢复这条线程执行，让它一会再重新中断，直到跑到安全点上。主动式中断的思想是当垃圾收集需要中断线程的时候，不直接对线程操作，仅仅简单地设置一 个标志位，各个线程执行过程时会不停地主动去轮询这个标志，一旦发现中断标志为真时就自己在最 近的安全点上主动中断挂起。轮询标志的地方和安全点是重合的，另外还要加上所有创建对象和其他 需要在Java堆上分配内存的地方，这是为了检查是否即将要发生垃圾收集，避免没有足够内存分配新 对象。

安全区域

用户线程处于Sleep状态或者Blocked状态，这时候线程无法响应虚拟机的中断请求，不能再走到安全的地方去中断挂起自己，虚拟机也显然不可能持续等待线程重新被激活分配处理器时间。

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