HotSpot的准确式GC

枚举GC Roots

• 在使用可达性分析判断对象存活时，作为GC roots的节点主要在全局性的引用（如常量、静态属性）与执行上下文（如栈帧中的本地变量表）中，逐个检查这里面存在的引用要花费很多时间。
• 可达性分析要求在GC停顿下进行，及在进行可达性分析和GC时必须停顿所有执行线程
• 主流JVM都是使用准确式GC，虚拟机可以直接知道哪些地方存放着对象引用，不需逐个检查。
• 在hotSpot的实现中，使用一组称为OopMap的数据结构来记录哪些位置是引用，这样GC在扫描时可以直接得知。

安全点

生成OopMap的位置称为安全点，程序执行到安全点则停下来开始GC。安全点的位置一般是程序长时间执行的指令位置，如方法调用、循环跳转、异常跳转等。

抢先式中断和主动式中断

有两种方案来实现让所有线程在GC发生时都运行到最近的安全点上停顿下来：

• 抢先式中断：在GC发生时，首先把所有线程全部中断，如果发现有线程中断的地方不在安全点上，就恢复线程，让它执行到安全点。
• 主动式中断：设置一个标志，各个线程执行时主动去轮询这个标志，发现标志为真时就自己中断挂起。这个标志设置在安全点处以及创建对象需要分配内存的地方。

安全区域

• 安全点机制保证正在执行的程序（即分配了CPU时间的程序）可进入GC的安全点，但对于未分配CPU时间的线程如出于Sleep状态或Blocked状态的，由于其无法响应JVM的中断请求，因而无法执行到安全点再挂起，故安全点机制对其不起作用
• 安全区域是指在一段代码之中，引用关系不会发生变化，走这个区域中的任意地方开始GC都是安全的。
• 线程执行到安全区域中的代码时，首先标识自己已经进入了安全区，在这段时间里JVM要发起GC时，则忽略标识自己为安全区域状态的线程。
• 在线程要离开安全区域时，要检查系统是否已经完成了GC ROOTS，若完成了，线程就继续执行，否则就必须等待直到收到可以安全离开安全区域的信号为止。