深入理解Java虚拟机之对象存活算法的实现

深入理解Java虚拟机之对象存活算法的实现

      在之前的博客中提到过，判断对象是否存活的方式有两种，一种是标记计数法，一种是可达性分析算法，
由于标记计数法不能解决循环引用的问题，所以大多数的虚拟机采用的都是可达性分析算法。但是我们知道
在可达性分析中可以作为GC Roots的节点主要位于全局性的引用（常量或类的静态成员变量）与执行的上下
文（Java虚拟机栈或本地方法栈的变量表）中，比方说有的应用占用方法区就有几百M，如果要逐个检查他
们的引用，无疑，这个工作量会很大，也会消耗很多时间。
      除此之外，可达性分析也会导致GC停顿，什么是GC停顿呢？要知道我们在检查对象的可达性的时候，必
须保证这个时候的虚拟机的引用是不变的，不能一边检查对象的引用，另一边引用却在变化，这一点如果不能
满足势必会导致分析结果的准确性无法的到保证。这也是导致GC时候必须进行停顿的重要原因，基本上在任何
收集器中，进行可达性分析都会要停顿。
      现在主流的Java虚拟机都是准确式GC（就是虚拟机知道哪块内存上存储着什么类型的数据），所以当系统
停下来进行GC的时候并不需要将全局性引用的位置和执行上下文都检查一遍，而是可以直接得知哪些地方存储
的是对象的引用，比方说HotSpot的实现就是使用了一组OopMap的数据结构来实现的，在类加载完成的时候
HotSpot就已经把对象内偏移量上的数据是什么类型计算出来，在JIT编译过程中也会在特定的位置记录栈和寄
存器的哪些位置是引用，这样GC就只要扫描这些数据结构就可以知道这些内存中对象位置的信息了。