HotSpot的算法实现

        HotSpot使用一组称为OopMap的数据结构，在类加载完成的时候把对象内什么偏移量上是什么类型的数据计算并存储在OopMap中，同时在JIT编译过程中在特定的位置记录下栈和寄存器中哪些位置是引用记录在OopMap中，以便在GC扫描时直接从OopMap中获取出所有引用位置，快速且准确地完成GC Roots枚举。

        HopSpot并没有为每条指令都生成OopMap，只有在特定的位置，即安全点（safe Point）才会记录引用信息，即程序执行时并非在所有地方都能停顿下来执行GC，而只有在到达安全点时才能暂停。

        安全点的选定基本上是以程序“是否具有让程序长时间执行的特征”为标准来选定的，“长时间执行”最明显的特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等，所以具有这些功能的指令才会产生Safepoint。

        对于Safepoint，另一个需要考虑的问题是如何在GC发生时让所有线程都跑到最近的安全点上再停顿下来。有两种方案可供选择：抢先式中断（Preemptive Suspension）和主动式中断（Voluntary Suspension）：
(1) 抢先式中断：在GC发生时，首先把所有线程全部中断，如果发现有线程中断的地方不在安全点上，就恢复线程，让它跑到安全点上。这种方案几乎没有虚拟机采用；
(2) 主动式中断：当GC需要中断线程的时候，不直接对线程进行操作，而仅仅是简单地设置一个标志（把线程上的某个值设置为1，同时加上创建对你需要分配内存的位置），各个线程在执行到安全点时去轮询这个标志，发现中断标志为真时就自己中断挂起。

        Safepoint机制保证了程序在执行时，在不长的时间内就会遇到可进入GC的Safepoint，但是程序不执行时（即线程处于Sleep状态或者Blocked状态），Safepoint就无法保证程序能走到安全点去执行GC，而需要安全区域（Safe Region）来解决。

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

        在线程执行到Safe Region中的代码时，首先标识自己已经进入了Safe Region，当在这段时间里要JVM要发起GC时，就不用管自己标识为Safe Region状态的线程了，在线程要离开Safe Region时，它要检查系统是否完成了根节点枚举（或整个GC过程），如果完成了，那线程就继续执行，否则它就必须等待直到收到可以安全离开Safe Region的信号为止。