JVM—HotSpot GC算法实现

1.枚举根节点

之前说的寻找堆中"垃圾"内存的方法是使用可达性分析算法,用一系列的GC Roots去找到引用链,进而找到已经没有用的对象,但其实现起来有两个要注意的地方

• 1.GC Roots往往选取全局性的引用(方法区中的常量或静态属性)和执行上下文(虚拟机栈或本地方法栈中的本地变量表),而很多应用仅仅方法区就有数百兆,如果逐个检查其中的引用,会很耗费时间
• 2.GC停顿: 在执行可达性分析时,不可以出现分析过程中对象引用还在不断变化的情况,否则分析结果的准确性就无法保证,故GC进行时必须停顿所有线程(“Stop The World”)

解决办法:准确式GC,也就是说,当执行系统停顿下来后,并不需要一个不漏的检查完所有执行上下文和全局的引用位置,虚拟机有办法直接知道哪些地方存放着对象引用. 在HotSpot中,使用一组称为OopMap的数据结构来达到这个目的. 在类加载完得到时候, HotSpot就把对象内什么偏移量上是什么类型的数据计算出来,在JIT编译过程中,也会在特定的位置记录下栈和寄存器中的哪些位置是引用,这样,在GC扫描的时候就可以直接得知这些信息了

2.安全点和安全区域

在OopMap的帮助下,HotSpot可以快速且准确完成GC Roots枚举,但是如果为每一条指令都生成对应的OopMap,会消耗大量的额外空间,这样的话GC的成本就会太高

实际上,并不是每条指令都有对应的OopMap, 只是在"特定的位置"记录了这些信息,这些位置称为"安全点(SafePoint)",也就是说程序不是在任何地方都可以停下来开始GC,只有到安全点的时候才能暂停. 所以我们一般选取"能让程序长时间执行"的指令作为GC时的安全点,最明显的就是指令序列复用类的指令,比如方法调用,循环跳转,异常跳转等.

对于SafePoint,还有一个需要解决的问题: 如何在GC发生时让所有线程都跑到最近的安全点再停顿下来?解决办法有两个

• 抢先式中断:GC发生时,首先中断所有线程,如果