HotSpot虚拟机的算法实现——摘自《深入理解java虚拟机》（每天学一点Day20191111）

HotSpot的算法实现（95页）
1.枚举根节点（GC停顿）：分析工作必须在一个能确保一致性的快照中进行——这里“一致性”的意思是指在整个分析其间整个执行系统看起来就像是被冻结在某个时间点上。这里GC进行时必须停顿所有Java执行线程（Stop The World），即使在号称不会发生停顿的CMS收集器中，枚举根节点时也是必须要停顿的。

2.安全点：程序执行时，并非在所有地方都能停顿下来开始GC，只有在到达安全点时才能暂停。
安全点的选定基本上是以程序“是否具有让程序长时间执行的特征”为标准进行选定的——因为每条指令执行的时间都非常短暂，程序不太可能因为指令流长度太长这个原因而过长时间运行，“长时间执行”的最明显特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等，所以具有这些功能的指令才回产生SafePoint。
safepoint，另一个需要考虑的问题是如何在GC发生时让所有线程（这里不包括执行JNI调用的线程）都“跑”到最近的安全点上再停顿下来。两种方案：抢先式中断和主动式中断。
抢先式中断：不需要线程的执行代码主动去配合，在GC发生时，把所有线程全部中断，如果发现有线程中断的地方不在安全点上，就回复线程，让其“跑”到安全点上。现在几乎没有虚拟机使用抢先式中断来暂停线程从而相应GC事件。
主动式中断：GC需要中断时，不直接对线程操作，仅仅简单地设置一个标志，各个线程执行时主动去轮询这个标志，发现中断标志为真时就自己中断挂起。轮询标志的地方和安全点是重合的，另外再加上创建对象需要分配内存的地方。

3.安全区域：指在一段代码片段之中，引用关系不会发生变化。可以将安全区域看作是扩展了的安全点。
由来：由于安全点机制保证程序执行时，在不太长的时间内就会遇到可进入GC的safepoint。但是，程序如果在此期间（GC）不执行，没有分配CPU时间，即Sleep或者Block状态，这时候，线程无法响应JVM的中断请求，“走”到安全的地方去中断挂起，JVM也显然不太可能等待线程重新被分配CPU，所以才有了安全区域。