虚拟机系列文章

对于JVM的垃圾收集（GC），这是一个作为Java开发者必须了解的内容，那么，我们需要去了解哪些内容呢，其实，GC主要是解决下面的三个问题：

  • 哪些内存需要回收？
  • 什么时候回收？
  • 如何回收？

回答了这三个问题，也就对于GC算法的原理有了最基本的了解。

1 如何判定哪些内存需要回收

在Java虚拟机的堆中会存放着很多的对象，那么，我们需要回收垃圾的时候，是通过什么算法来判断哪些垃圾的生命周期已到，需要回收呢？接下来的几种算法将帮助你解决这几个问题。

引用计数算法

先讲讲第一个算法：引用计数算法。
其实，这个算法的思想非常的简单，一句话就是：给对象中添加一个引用计数器，每当有一个地方引用它时，计数器加1；当引用失效时，计数器减1；任何时刻计数器为0的对象就是不可能再被使用的。
这些简单的算法现在是否还被大量的使用呢，其实，现在用的已经不多，没有被使用的最主要的原因是他有一个很大的缺点：很难解决对象之间循环引用的问题。
循环引用：当A有B的引用，B又有A的引用的时候，这个时候，即使A和B对象都为null，这个时候，引用计数算法也不会将他们进行垃圾回收。

  1. 1/**
  2.  2 * @ClassName Test_02
  3.  3 * @Description
  4.  4 * @Author 欧阳思海
  5.  5 * @Date 2019/12/5 16:59
  6.  6 * @Version 1.0
  7.  7 **/
  8.  8public class Test_02 {
  9.  9
  10. 10    public static void main(String[] args) {
  11. 11        Instance instanceA = new Instance();
  12. 12        Instance instanceB = new Instance();
  13. 13
  14. 14        instanceA.instance = instanceB;
  15. 15        instanceB.instance = instanceA;
  16. 16
  17. 17        instanceA = null;
  18. 18        instanceB = null;
  19. 19
  20. 20        System.gc();
  21. 21
  22. 22        Scanner scanner = new Scanner(System.in);
  23. 23        scanner.next();
  24. 24    }
  25. 25}
  26. 26
  27. 27class Instance{
  28. 28    public Object instance = null;
  29. 29}

如果使用的是引用计数算法，这是不能被回收的，当然，现在的JVM是可以被回收的。

可达性分析算法

这个算法的思想也是很简单的，这里有一个概念叫做可达性分析，如果知道图的数据结构，这里可以把每一个对象当做图中的一个节点，我们把一个节点叫做GC Roots，如果一个节点到GC Roots没有任何的相连的路径，那么就说明这个节点不可达，也就是这个节点可以被回收。
深入理解 Java 虚拟机 - 你了解 GC 算法原理吗 - 图1
上面图中，虽然obj7、8、9相互引用，但是到GC Roots不可达，所以，这种对象也是会被当做垃圾收集的。
在Java中，可以作为GC Roots的对象包括以下几种：

  • 虚拟机栈（栈帧中的局部变量表，Local Variable Table）中引用的对象。
  • 方法区中类静态属性引用的对象。
  • 方法区中常量引用的对象。

  • 本地方法栈中JNI（即一般说的Native方法）引用的对象。

    2 什么时候回收

    在可达性分析算法中不可达的对象，也不是一定会死亡的，它们暂时都处于“缓刑”阶段，要真正宣告一个对象“死亡”，至少要经历两次标记过程。

    step1：判断有没有必要执行finalize()方法

  • 如果对象在进行可达性分析后发现没有与GC Roots相连接的引用链，那它将会被第一次标记并且进行一次筛选，筛选的条件是此对象是否有必要执行finalize()方法。

另外，有两种情况都视为“没有必要执行”：

  • 对象没有覆盖finaliza()方法。

  • finalize()方法已经被虚拟机调用过。

    step2：如何执行

    如果这个对象被判定为有必要执行finalize()方法，那么此对象将会放置在一个叫做 F-Queue 的队列中，并在稍后由一个虚拟机自动建立的、低优先级的Finalizer线程去执行它。

    step3：执行死亡还是逃脱死亡

    首先，我们需要知道，finalize()方法是对象逃脱死亡命运的最后一次机会，稍后GC将对F-Queue 队列中的对象进行第二次小规模的标记。

  • 逃脱死亡：对象想在finalize()方法中成功拯救自己，只要重新与引用链上的任何一个对象建立关联即可，例如把自己（this关键字）赋值给某个类变量或者对象的成员变量，这样在第二次标记时它将被移出“即将回收”的集合。

  • 执行死亡：对象没有执行逃脱死亡，那就是死亡了。

    3 如何回收

    如何回收其实就是利用哪些算法进行回收，垃圾收集算法这里讲几种大家平时也是看到的比较的算法，分别为：标记-清除算法、复制算法、标记-整理算法、分代回收算法。
    这部分的内容其实在网上的文章比较多了，而且，基本上的差别不大，所以，从网上的文章选取下来，当做一个小的总结，大家可以参考这篇文章算是一个比较全的总结：GC算法与内存分配策略。

    标记－清除（Mark-Sweep）算法

    标记－清除（Mark-Sweep） 算法是最基础的垃圾收集算法，后续的收集算法都是基于它的思路并对其不足进行改进而得到的。顾名思义，算法分成“标记”、“清除”两个阶段：首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象，标记过程在前一节讲述对象标记判定时已经讲过了。
    标记－清除算法的不足主要有以下两点：

  • 空间问题，标记清除之后会产生大量不连续的内存碎片，空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时，无法找到足够的连续内存而不得不触发另一次垃圾收集动作。

  • 效率问题，因为内存碎片的存在，操作会变得更加费时，因为查找下一个可用空闲块已不再是一个简单操作。

标记－清除算法的执行过程如下图所示：
深入理解 Java 虚拟机 - 你了解 GC 算法原理吗 - 图2

复制（Copying）算法

为了解决标记-清除算法的效率问题，一种称为“复制”（Copying）的收集算法出现了，思想为：它将可用内存按容量分成大小相等的两块，每次只使用其中的一块。当这一块内存用完，就将还存活着的对象复制到另一块上面，然后再把已使用过的内存空间一次清理掉。
这样做使得每次都是对整个半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，运行高效。只是这种算法的代价是将内存缩小为原来的一半，代价可能过高了。复制算法的执行过程如下图所示：
深入理解 Java 虚拟机 - 你了解 GC 算法原理吗 - 图3

标记－整理（Mark-Compact）算法

复制算法在对象存活率较高时要进行较多的复制操作，效率将会变低。更关键的是：如果不想浪费50%的空间，就需要有额外的空间进行分配担保，以应对被使用的内存中所有对象都100%存活的极端情况，所以在老年代一般不能直接选用复制算法。
根据老年代的特点，标记－整理（Mark-Compact）算法被提出来，主要思想为：此算法的标记过程与标记－清除算法一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活的对象都向一端移动，然后直接清理掉边界以外的内存。 具体示意图如下所示：
深入理解 Java 虚拟机 - 你了解 GC 算法原理吗 - 图4

分代收集（Generational Collection）算法

当前商业虚拟机的垃圾收集都采用分代收集（Generational Collection）算法，此算法相较于前几种没有什么新的特征，主要思想为：根据对象存活周期的不同将内存划分为几块，一般是把Java堆分为新生代和老年代，这样就可以根据各个年代的特点采用最适合的收集算法：

  • 新生代 在新生代中，每次垃圾收集时都发现有大批对象死去，只有少量存活，那就选用复制算法，只需要付出少量存活对象的复制成本就可以完成收集。
  • 老年代 在老年代中，因为对象存活率高、没有额外空间对它进行分配担保，就必须使用标记-清除或标记-整理算法来进行回收。

    4 总结

    这里用思维导图做一个小的总结。
    深入理解 Java 虚拟机 - 你了解 GC 算法原理吗 - 图5