虚拟机如何发起内存回收？— JVM系列(八)

一、OopMap—记录引用位置

在可达性算法中，可作为GC Roots的节点需要在全局性的引用（如常量或类静态属性）与执行上下文（如栈帧中的本地变量表）中，如果逐个检查会消耗很多时间。

当系统执行GC，停顿下来时，并不需要一个不漏的检查完所有执行上下文和全局的引用位置，虚拟机应当有办法直接得知哪些地方存放着引用。

在HotSpot的实现中，是使用一组称为OopMap的数据结构来达到这个目的的。

在类加载完成的时候，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来，在JIT编译过程中，也会在特定的位置记录下来栈和寄存器中哪些位置是引用。

二、安全点—GC回收的位置

在OopMap的协助下，HotSpot可以快速且准确的完成GC Roots枚举，但是如果为每一条指令都生成对应的OopMap，那将会需要大量的额外空间。

只是在特定的位置记录了这些信息，这些位置称为安全点，也就是程序执行时并非在所有地方都能停顿下来开始GC，只有在到达安全点时才能暂停。

安全点的选择基本上是以程序是否具有让程序长时间执行的特征为准进行选定的。长时间执行的最明显特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等，所以具有这些功能的指令才会产生Safepoint。

那么如何在GC发生时让所有线程都跑到最近的安全点上再停顿下来呢：

• 抢先式中断：让所有线程全部中断，如果发现有线程中断的地方不在安全点上，就恢复线程，让它跑到安全点上，这种方式一般不会被使用。
• 主动式中断：当GC需要中断线程的时候，仅仅简单的设置了一个标志，各个线程主动去轮询这个标志，发现中断标志为真时就自己中断挂起。

三、安全区域—安全点的扩充

使用Safepoint机制保证了程序执行时，在不太长的时间内就会遇到可进入GC的Safepoint。

但是当程序不执行的时候呢，线程无法响应JVM的中断请求，走到安全的地方去中断挂起，JVM也显然不太可能一直等待，这时候，就需要安全区域Safe Region来解决。

安全区域是指在一段代码片段之中，引用关系不会发生变化，在这个区域中的任意地方开始GC都是安全的。

我们可以把Safe Region看作是被扩展了的SafePoint。

当线程执行到Safe Region中的代码时，首先标识自己已经进入了Safe Region，那样，当在这段时间里JVM将要发起GC时，就可以正常进行了。

在线程要离开安全区域的时候，他要检查系统是否已经完成了根节点枚举，如果完成了，线程就继续执行，否则必须等到收到可以安全离开安全区域的信号为止。