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

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

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

你可能感兴趣的:(深入理解JVM)