HotSpot收集算法如何实现精确收集
枚举根节点
当我们要回收内存的时候，我们需要对对象进行可达性分析，也就是从根节点搜索引用。假如引用关系在变化那么我们的分析结果就会不准确，因此我们需要在此时暂停掉所有正在执行的java线程，以确保引用关系不变化，Sun公司(当然已经被Oracle收购了)将其称为Stop The World。
当Stop The World 时，我们并不需要一个不漏的检查所有的执行上下文和全局的引用位置，因为这样子很耗时。虚拟机会有一个地方存储了这些对象的引用，以便虚拟机快速的查找。HotSpot的实现是提供了一个OopMap的数据结构来达到此目的。
安全点
OopMap只有在特定位置才记录引用信息的，这些位置称为安全点。只有在程序达到这个安全点的时候才能开始GC。安全点太多，则增大了运行的负荷，太少则GC等待的时间太长，因此安全点太多太少都不好。如何选择，则是以让程序能够较长时间云运行为原则的。
虽然我们知道了只有在安全点才能开始GC，但是我们需要让所有的线程都在安全点停顿下来，让系统开始GC。实现这个目的，有两种方案：抢先式中断和主动式中断，前者几乎没有在使用了，后者是让所有执行的线程执行时轮训这个一个标志，标志为真则线程挂起。
安全区域
安全区域是指在一段代码片段内，引用关系不会发生变化。在这个区域中任意地方开始GC都是安全的，可以看做是safepoint的扩展。因为safepoint只能让正在执行的线程挂起，但是对处于Sleep或者Blocked状态的，就不能响应中断请求。当线程进入到安全区域时，做一个标识，程序开始GC时，就不管这些进入安全区域的线程；当这些线程要离开安全区域时，要检查GC过程是否结束，结束则离开否则要等待GC结束。
以上只是这些概念的基本简单学习，是为了我们理解GC收集器做储备。