引用RednaxelaFX的文章和《Thinking in java》P90页部分内容。
可作为GC Roots的节点主要在全局性的引用(例如常量或类静态属性)【引用的对象】与执行上下文(例如栈帧中的本地变量表)【引用的对象】中。
可达性分析必须在一个能确保一致性的快照中进行--这里“一致性”的意思是停顿所有Java执行线程,不可以出现分析过程中对象引用关系还在不断变化的情况。
虚拟机应当有办法直接知道哪些地方存放着对象引用。在HotSpot的实现中,使用一组成OopMap(Ordinary Object Pointer 普通对象指针)的数据结构来达到这个目的的,在类加载完成的时候,HotSpot就把对象内什么偏移量上是什么类型的数据计算出来。
在JIT编译过程中,也会在特定的位置记录下栈和寄存器中哪些位置是引用。这样,GC在扫描时就可以直接得知这些信息了。
在HotSpot中,对象的类型信息里有记录自己的OopMap,记录了在该类型的对象内 什么偏移量上是什么类型的数据。所以从对象向外的扫描可以是准确的,这些数据是在类加载过程中计算得到的。
每个被JIT编译过后的方法也会在一些特定的位置记录下OopMap,记录了执行到该方法的某条指令的时候,栈上和寄存器里哪些位置是引用。这样GC在扫描栈的时候就会查询这些OopMap就知道哪里是引用了。这些特定的位置主要在:
1、循环的末尾
2、方法临返回前/调用方法的call指令后
3、可能抛异常的位置
这种位置被称为安全点,HotSpot中GC不是在任意位置都可以进入,而只能在safepoint处进入。
而仍然在解释器中执行的方法则可以通过解释器里的功能自动生成出OopMap出来给GC用。