3.4 HotSpot的算法实现

对于虚拟机实现对象存活判定算法和垃圾收集算法，必须对算法的执行效率有严格的考量，才能保证虚拟机高效运行

一 枚举根节点

1 可作为GC Roots的节点主要在全局性的引用（常量或者静态属性）与执行上下文（栈帧中本地变量表）中。

2 可达性分析对执行时间很敏感，例如，在GC 停顿上，这项分析工作必须在一个能确保一致性的快照中进行，（一致性是指在整个分析期间，整个执行系统看起来就像被冻结在某个时间点上，不可以出现分析过程中对象引用关系还在不断变化的情况）如果该点不满足的话，分析结果就无法得到保证。该点是导致GC进行时必须停顿所有Java执行线程的其中一个重要原因。

二 安全点

1 HotSpot 只是在“特定的位置”记录了这些信息（生成OopMap），这些位置称为安全点，即程序执行时并非在所有的地方都能停下来开始GC，只有在到达安全点时才能暂停。

2 安全点的选取既不能太少以至于让GC等待时间太长，也不能过于频繁以至于过分增大运行时负荷。

3 安全点选取标准：是否具有让程序长时间执行（指令序列复用）的特征

4 如何在GC发生时让所有的线程都跑到最近的安全点上再停顿下来：“抢先式中断”和“主动式中断”

5 “主动式中断”思想：当GC需要中断线程的时候，不直接对线程操作，仅仅简单滴设置一个标志，各个线程执行时主动去轮询这个标志，发现这个标志为真时，就主动中断挂起。

三 安全区域

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

2 当线程执行到安全区域的代码时，首先标识自己已经进入到了安全区域，当线程要离开安全区域时，它要检查系统是否已经完成了根节点枚举，如果完成了那线程就继续执行（离开），否则它就必须等待直到收到可以安全离开安全区域的信号