垃圾收集器与内存分配策略——深入理解Java虚拟机 笔记二

在本篇中,作者大量篇幅介绍了当时较为流行的垃圾回收器,但现在Java 14都发布了,垃圾收集器也是有了很大的进步和发展,因此在此就不再对垃圾收集器进行详细的研究。但其基本的算法思想还是值得我们参考学习的。

概述

   第一篇笔记Java内存区域与内存溢出异常中讲到了,Java的内存划分可以分为由所有线程共享的Java堆和方法区,以及每个线程之间相互独立的程序计数器、本地方法栈、虚拟机栈。其中每个线程相互独立的部分,并不会给垃圾回收造成困难。因为随着方法、线程的结束,内存自然就释放了。因此我们垃圾收集关注的,都是Java堆和方法区这部分内存,因为这部分内存的回收和分配都是动态的。

对象存亡的判别

   在对垃圾回收之前,我们应该先判断哪些对象没有用应该被回收、哪些对象应该被保留。

引用计数算法

   引用计数算法:给对象中添加一个引用计数器,每当有一个地方引用此对象,计数器加1,当引用失效时,计数器减1,任何时候计数器为0的对象就是不可能再被使用的。
   这种判别方法简单易行,但是Java语言并没有使用这样的方法来判别对象,主要的原因是这种算法无法解决对象之间相互调用的情况。
   比如有这样的代码段:对象a和对象b之间相互引用,然后把他们全赋值为null,此时他们不可能再被访问,但是因为他们相互调用,引用计数器不为0,则无法释放对象。

public class TestGC {
    public Object obj = null;
    public static void main(String[] args) {
        TestGC a = new TestGC();
        TestGC b = new TestGC();
        a.obj = b;
        b.obj = a;
        a = null;
        b = null;
    }
}

根搜索算法

   为了解决上面提到的相互引用的问题,Java采用根搜索算法来判别对象是否存活。
   根搜索算法的基本思路是:通过一系列名为"GC Roots"的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用链,当一个对象到"GC Roots"没有任何引用链相连的时候,则证明该对象是不可用的。
   在Java中,可以作为"GC Roots"的对象包括:
   1、虚拟机栈(栈帧中的本地变量表)中的引用的对象。
   2、方法区中的类静态属性的引用对象。
   3、方法区中的常量引用的对象。
   4、本地方法栈中JNI(native方法)的引用对象。
   对于如下的图,即使Object4和object5有链接关系,但是因为没有跟"GC Roots"相连,所以仍然认为是不可用的对象。

方法区中的判别

   相对于堆中垃圾回收相比,方法区中的垃圾回收的性价比比较低,在堆中,尤其是在新生代中,常规垃圾回收一次可以回收70%~95%的空间。而永久代的垃圾收集效率远低于此。
   永久代的垃圾回收主要回收两个部分:废弃常量和无用的类。
   回收废弃常量很简单,只要判别没有对象引用此常量即可。而收集无用的类就要复杂许多。一般来说,类要满足如下三个条件才能看做无用的类:
   1、该类的所有实例都已经被回收,也就是Java堆中不存在任何该类的实例。
   2、加载该类的ClassLoader已经被回收。
   3、该类对应的java.lang.class对象没有在任何地方被引用。无法在任何地方通过反射访问该类的方法。

   在大量使用反射、动态代理的框架中,以及动态生成JSP的频繁自定义ClassLoader的场景,都需要虚拟机具有类卸载的功能,以保证永久代不会溢出。

垃圾收集算法

  只是对于算法思路的讲解,而忽略具体的实现细节。

标记-清除算法

   标记-清除算法是最基础的算法,它首先标记出所有需要回收的对象,在标记完成后统一回收所有被标记的对象。
   这个算法的好处是,实现简单,但是它有两个严重的问题:1、效率低下,标记和回收的效率都不高。2、空间问题,因为标记回收会造成大量的不连续的内存碎片,当一个较大的对象需要分配时,往往会因为找不到对应连续的存储空间而多次执行垃圾收集工作。
   虽然标记-清除算法有这样的缺点,但其他的算法大多是在此算法的思路上进行优化,改进其存在的问题。
   标记-清除算法的示意图如下:

复制算法

   为了解决效率问题,复制算法将可用内存按容量划分为大小相等的两块,每次只使用其中的一块,当这一块内存用完了,就将还存活的对象复制到另外一块上面,然后把已使用过的内存空间全部清理。这样做的好处是不用考虑内存碎片问题,只要按顺序分配内存即可,而且每次只要对一块内存进行清理。但缺点就是使实际可用的内存空间减小。
   复制算法的示意图如下:

   但是,实际根据研究表明,新生代中98%的对象都是创建后存在很少一段时间就不可用了,因此不需要按照1:1的情况进行划分。因此这个算法的实际思路其实就是:进行一遍标记后,让还存活的保留下来,然后顺序安置到另一个区域,再重新使用该空间进行接下来变量的存储。
   在作者写作时,表示商业虚拟机都采用此复制算法进行回收新生代。而内存划分为1个eden和2个survivor,每次使用eden和一个survivor来存储,另一个survivor来存储保存下来的对象。通常eden和survivor的大小比例是8:1.
   但如果有超过10%的对象存活,就需要依赖其他内存(如老年代)来进行分配担保。

标记-整理算法

   该算法与标记-清除算法相比,不同就是此算法会将仍然存在的对象往前移动,从而解决了大量内存碎片的问题。
   其示意图为:

分代收集算法

   该算法没有新的思想,只是按照对象存活周期将内存划分为几块,然后不同的内存划分对应于不同时期的对象,采用不同的垃圾收集算法。

内存分配与回收策略

   内存分配有几条普遍的规则:

对象优先在Eden区分配。

   大多数情况下,对象在新生代Eden区中分配,当Eden区没有足够空间进行分配的时候,虚拟机将发起一次Minor GC.

大对象直接进入老年代。

   大对象就是需要大量连续内存空间的Java对象。像很长的字符串、数组之类。

长期存活的对象将进入老年代

   虚拟机给每个对象定义了一个对象年龄计数器,对象每次在Minor GC下存活一次则加1.当达到阈值时,可以晋升为老年代。

动态对象年龄判定

   并不是所有情况下,都必须要达到阈值才能晋升为老年代,如果Survivor中对象过多,也可以提前进入老年代。

空间分配担保

   新生代使用复制算法时,并不能保证每次存活的对象都小于Survivor空间大小,如果超出了的话,就需要借用老年代的空间进行对象的存储。

猜你喜欢

转载自www.cnblogs.com/xiaoxineryi/p/12894104.html