JVM 垃圾对象的判定

引用RednaxelaFX的文章和《Thinking in java》P90页部分内容。

       在判断垃圾对象的过程中，HotSpot采用的是根搜索算法（也叫可达性分析法）。对任何“活”的对象，一定能最终追溯到其存活在栈或者静态存储区之中的引用（GC Roots）。这个引用可能会穿过数个对象层次（即栈中有A的引用，A中有B的引用）。由此，如果从栈和静态存储区开始，便利所有的引用，就能找到所有“活”的对象。对于发现的每个引用，必须追踪它所引用的对象，然后是此对象包含的所有引用，如此反复进行，直到“根源于栈和静态存储区的引用”所形成的网络全部被访问位置。

       可作为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用。