可达性分析从GC Roots节点找引用连，如果逐个检查引用，必然会消耗很多时间。 可达性分析对执行时间的敏感还体现在GC停顿上，因为进行可达性分析时不许在一个能确保一致性的快照中进行，即整个执行系统都像被冻结在某个时间点上。因此GC进行时必须停顿所有java线程。
在HotSpot的实现中，时使用一组成为OopMap的数据结构达到该目的。在类加载完成后，HotSpot就把对象内什么偏移量上市什么类型的数据计算出来。在编译时期，也会在特定的位置记录下栈和寄存器中那些位置是引用。这样在CG扫描时就可以直接指导这些信息。
HotSpot只在特定位置记录信息，这些位置称为安全点。程序执行时只有到达安全点才可以停顿下来开始GC。 GC的选择是以“是否具有让程序长时间执行的特征”为标准选择。“长时间特征”指指令序列复用，即方法调用、循环跳转、异常跳转等。
GC时如何让所有线程都到安全点，有两种方案： 1、抢先式中断 不需要线程主动配合。GC发生时，将所有线程中断，若线程未到安全点，就恢复线程，让它跑到安全点上。 2、主动式中断 设置一个标志，让各个线程主动去轮询这个标志，当发现标志位真时就自己中断挂起。轮询点和安全点是重合的。
安全点是在程序执行时解决进入GC的问题。 安全区域是在程序不执行的时候（如线程处于Sleep状态，没有分配GPU时间）解决进入GC问题。 安全区域指在一段代码片段中，引用关系不会发生变化。在这个区域中任何地方开始GC都是安全的。
