hotspot的算法实现

枚举根节点

    枚举根节点的时候，执行系统必须停下来。但是虚拟机不需要一个不漏的去检查。虚拟机有办法直接知道哪些地方存在对象引用。在Hotspot中使用的是oopmap的数据结构。

安全点

    Hotspot没有为每条指令生成oopmap，如果生成，将会产生大量的资源浪费，只是在特定的位置记录下来，这些位置称为安全点。安全点的选定有基本上是以能否让程序长时间执行为标准。这里有两种方案供选择：1.抢先式中断（不需要线程的执行代码主动配合，在GC的时候，停掉所有的线程，如果有线程不在安全点上，就让他先跑到安全点）；2.主动式中断（不对线程进行操作，设置一个标志，当中断标志为真的时候，就中断）。现在几乎没有虚拟机使用抢先式中断。

安全区域

    安全区域相当于安全点的扩展，当线程没有进入cpu执行的时候，需要一个状态标志，这个时候就放在安全区域，在这个区域，无论什么时候进行垃圾收集，都是安全的。当线程要离开安全区域的时候，检查是否完成了根节点枚举，如果完成了，那就继续执行线程，否则继续等待，直到收到可以离开安全区域的信号为止。