HotSpot的算法细节实现（一）

根节点枚举

固定可作为GC Roots的节点主要在全局性的引用（例如常量或静态属性）与执行上下文（例如栈帧中的本地变量表）中，尽管目标明确，但是查找过程要做到高效并非一件容易的事。

迄今为止，所有的收集器在根节点枚举这一步骤时都必须暂停用户线程的，因此根节点枚举与整理内存碎片一样都会面临相似的“StopThe World”的困恼。

目前主流的Java虚拟机使用的都是准确式垃圾收集，所以当用户线程停顿下来之后，并不需要一个不漏的检查完所有执行上下文和全局的引用位置，虚拟机应当是有办法直接得到哪些地方存放着对象引用的。在HotSpot的解决方案里，是使用一组称为OopMap的数据结构来达到这个目的。一旦类加载动作完成的时候，HotSpot就会把对象内什么偏移量上是什么类型的数据计算出来，在即时编译过程中，也会在特定的位置记录下栈里和寄存器里哪些位置是引用。这样收集器在扫描时就可以直接得知这些信息了，并不需要真正一个不漏地从方法区等GC Roots开始查找。

安全点

在OopMap的协助下，HotSpot可以快速准确的完成GC Roots枚举，但是存在一个很现实的问题：可能导致引用关系变化，或者说导致OopMap内容变化的指令非常多，如果为每一条指令都生成对应的OopMap，那将会需要大量的额外存储空间，这样垃圾收集器的空间成本将会无比高昂。

实际上HotSpot也没有为每条指令都生成OopMap，只是在“特定的位置”记录了这些信息，这些位置被称为安全点（Safepoint）。有了安全点的设定，也就决定了用户程序执行时并非在代码指令流的任意位置都能够停顿下来开始垃圾收集，而是强制要求必须执行到达安全点后才能暂停。安全点位置的选取基本上是以“是否具有让程序长时间执行的特征”为标准进行选定的，因为每条指令执行的时间都非常短暂，程序不太可能因为指令长度太长这样的原因而长时间执行，“长时间执行”最明显的特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等属于指令序列复用，所以只有具有这些功能的指令才会产生安全点。

对于安全点，另外一个需要考虑的问题是：如何在垃圾收集发生时让所有线程（这里不包括执行JNI调用的线程）都跑到最近的安全点，然后停顿下来？

• 抢先式中断（Preemptive Suspension）
• 主动式中断（Voluntary Suspension）

抢先式中断：不需要线程的执行代码主动去配合，在垃圾收集发生时，系统首先把所有用户线程全部中断，如果发现用户线程中断的位置不在安全点上，就恢复这条线程执行，让他一会再重新中断，直到跑到安全点上。现在几乎没有虚拟机实现采用抢先式中断来暂停线程响应GC事件。

主动式中断：当垃圾收集需要中断线程的时候 ，不直接对线程操作，仅仅简单设置一个标志位，各个线程执行过程时会不停的主动轮询这个标志，一旦发现中断标志位真时就自己在最近的安全点上主动中断挂起。轮询标志的地方和安全点是重合的，另外还要加上所有创建对象和其他需要Java在Java堆上分配内存的地方，这是为了检查是否即将要发生垃圾收集，避免没有足够的内存分配新对象。