HotSpot的算法实现

枚举根节点

可达性分析:从GCRoots节点找引用链，可作为节点的主要为全局性的引用（常量或类静态属性）和执行上下文（栈帧中的本地变量表）中，但是现在很多应用的方法区就数百兆，如果要逐个检查这里面的引用，那么必然会消耗很多时间。
对执行时间敏感还体现在GC卡顿上，因为这项分析工作必须在一个确保一致性的快照中进行（在整个分析期间整个执行系统看起来就像冻结在某个时间点上，不可以出现分析过程中对象引用关系还在不断变化的情况）这点导致GC进行时必须停顿所有java执行线程。（“Sum将这件事情称为【StopThe World】” ）

由于现在应用的体量变大，导致寻找引用链所消耗的时间过长
分析工作必须在执行系统在某个状态下进行，所以会导致java所有线程处于停顿状态。
由于目前的主流java虚拟机使用的都是准确式GC，所以当执行系统停顿下来后，不需要一个不漏的检查完所有执行上下文和全局的引用位置。
在HotSpot中，使用一组称为OopMap的数据结构来达到这个目的，在类加载完成的时候，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来，在JIT编译过程中，也会在特定的位置记录下栈和寄存器中哪些位置是引用。这样GC在扫描的时候就可以直接得知这些信息了。

安全点

HotSpot可以快速且准确的完成GC Roots的枚举，但是导致引用关系变化，OopMap内容变化的指令非常多。HotSpot并没有为每条指令都生成OopMap，只是在特定的位置记录了这些信息。这些位置叫做安全点。
GC并不是在所有地方都能停顿下来开始GC，只有在达到安全点时才能暂停。安全点不能太少（导致GC等待时间太长），也不能太多（过分增大运行时的负荷）。安全点的选定基本上是以程序“是否具有让程序长时间执行的特征”为标准进行选定的——因为每条指令执行的时间都非常短暂，所以长时间执行的最明显的特征是指令序列服用。如方法调用，循环跳转，异常跳转等。所以具有这些功能的指令才会产生Safepoint。
在GC发生时让所有线程都跑到最近的安全点上停顿的解决方案：抢先式中断，主动是中断。
抢先式中断：在GC发生的时，先把所有的线程全部中断，如果发现有现成中断的地方不在安全点上，就恢复这些线程，让它跑到安全点上。现在几乎没有虚拟机使用这种方案。
主动式中断：不直接对线程操作，仅仅简单的设置一个标志，各个线程执行时主动去轮询这个标志，发现中断标志威震时就自己中断挂起。轮询标志的地方和安全点是重合的,另外再加上创建对象需要分配内存的地方。

安段区域

对于处于Sleep或Blocked状态的线程（没有分配CPU时间的线程），无法响应JVM的中断请求，对于这种情况需要安全区解决问题。
线程执行到Safe Region中的代码时，首先标识自己已经进入了Safe Region，那样，当在这段时间里JVM发起GC时，就不用管标识自己为Safe Region状态的线程了。在线程要离开Safe Region时，它要检查系统是否已经完成根节点的枚举，如果完成就继续，不然就等待，直到收到可以安全离开safe Region的信号为止。

由于安全点不能解决处于Sleep和Blocked状态的线程到达安全的问题，所以出现了安全区，对进入安全区的线程进行标记，在离开安全区的时候检查系统是否已经完成GC过程，如果没有就等到收到可以安全离开的信号为止。