枚举根节点（安全点、安全区域、OopMap）

     枚举根节点即为GC Roots的一个枚举。GC Roots中一般为全局性引用（常量、类静态属性）和执行上下文（栈帧中的本地变量表）。而枚举出这个GC Roots我们需要考虑到这个分析过程所产生结果的准确性及枚举效率，也就是我们此时要讲的保证“一致性”快照和提高枚举效率。如下：

一、如何确保“一致性”快照，保证分析结果的准确性

     这个“一致性”的意思是指在整个分析期间整个执行系统看起来就好像冻结在某个时间点上，不可以出现分析过程中对象引用关系还在不断地发生变化地情况，该点不满足地话分析结果的准确性就无法得到保证。这一点也是GC进行时必须停顿所有执行线程的一个重要原因。而JVM为了解决这一个问题，选取一个特定位置作为“安全点（SafePoint）”。

   ① 什么是安全点？如何选取安全点？

     “安全点”简单点说就是程序执行停顿下的这一个点。程序在执行时，并非在所有的地方都能停下来开始GC，只有到达这个“安全点“时才能停顿下来。安全点的选区既不能太少以至于让GC等待时间过长，也不能过于频繁以至于过分增大运行时的负荷。所以，”安全点“的选择基本上是以程序”是否具有让程序长时间执行的特征“为标准来选定的。因为每条执行指令执行的时间都非常地短暂，程序不太可能因为指令流长度太长这个原因而过长时间运行，而程序”长时间的运行“实际上就是指令序列的一个复用。例如方法调用、循环跳转、异常跳转等，所以具有这些功能的指令才会产生”安全点“。而当我们选取好”安全点“之后，我们又是怎样使所有执行线程跑到”安全点“时停顿下来呢？

   ② ”安全点“的两种中断方式（抢先式中断和主动式中断）

     “抢先式中断”不需要线程的执行代码去主动配合，在GC发生时，首次会把所有的线程全部中断，如果发现有些线程中断点不是安全点，就恢复该线程直到安全点上停止。”主动式中断“实际上就是线程主动轮询的一个过程，当GC需要中断线程时，不直接对线程进行操作，仅仅简单的设置一个标志，这个轮询标志当然要与安全点相重合。各个线程在执行的时候都会主动去询问这个轮询标志：”我是否到了该中断的点了？“。现在大部分虚拟机都采用是”主动式中断”方式，因为它相对“抢先式中断”方式避免了一个中断——>启动——>又中断的一个过程。

     设置“安全点”虽然保证了大部分线程停顿，但总有一些线程比较“懒”。例如，当GC请求中断时，该线程正在偷懒sleep（），JVM不可能等该线程睡醒之后到达安全点之后才能进行可达性分析过程，而此时如果该线程睡醒了恰巧GC又在进行可达性分析或者是回收，那该线程又该何去何从呢？所以JVM又在安全点的基础上加了一个双重保险——安全区域。

   ③ “安全点”的双重保证——安全区域

     安全区域是指在一段代码片中，引用关系不会发生改变，实际上就是一个安全点的拓展。当线程执行到安全区域时，首先标识自己已进入安全区域，那样，当在这段时间里JVM要发起GC时，就不用管标识自己为“安全区域”状态的线程了，该线程只能乖乖的等待根节点枚举或者整个GC过程完成之后才能继续执行。

二、在海量的对象中如何快速枚举根节点？

     我们都知道在枚举根节点或者GC的全过程是需要执行线程暂时停顿下来的，而考虑到效率问题，我们又希望这个停顿越短暂越好。所以，目前主流的Java虚拟机都采用的是准确式GC（相对应的为保守式GC），当执行系统停顿下来后，我们不需要一个不漏地检查完所有执行上下文和全局的引用位置。在HotSpot的实现中，是使用一组称为OOPMap的数据结构来达到这个目的的，首先在类加载完成的时候，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来，在JIT编译过程中，也会在特定的位置记录下栈和寄存器中哪些位置是引用。这样，GC在扫描的时候，就可以根据OOPMap上记录的信息准确定位到哪个区域中有对象的引用，这样大大减少了通过逐个遍历来找出对象引用的时间消耗。