【Java】刚刚！突然！紧急通知！垃圾回收！

文章目录

【Java】刚刚！突然！紧急通知！垃圾回收！
- 从C语言的内存管理引入：手动回收
- Java的垃圾回收机制
- - 引用计数器
  - - 循环引用问题
  - 可达性分析法与GC Root
  - - GC Root的典型例子
  - 标记-清除算法
  - - 优点
    - 缺点
  - 复制算法
  - - 工作原理
    - 优点
    - 缺点
  - 标记-整理算法
  - - 工作原理
    - 优点
    - 缺点
  - 应用场景
  - 分代回收机制
  - - 堆内存的分代
    - 各代的垃圾回收策略
    - - 新生代垃圾回收（Minor GC）
      - 老年代垃圾回收（Major GC 或 Full GC）
  - 结语

本文将先简要介绍C语言的手动内存回收机制，然后深入探讨Java的垃圾回收（GC）机制，包括引用计数器、可达性分析法、GC root、标记-清除算法、复制算法、标记-整理算法以及分代回收机制。

从C语言的内存管理引入：手动回收

在C语言中，程序员需要手动管理内存的分配和释放。这主要通过malloc、calloc、realloc和free函数来实现：

malloc：用于动态分配内存。
calloc：类似于malloc，但它会初始化分配的内存块为零。
realloc：用于调整先前分配的内存块的大小。
free：用于释放动态分配的内存。

虽然这种手动管理提供了很大的灵活性，但也容易导致内存泄漏（未释放不再使用的内存）和悬挂指针（指向已释放内存的指针）。这就需要程序员特别小心，确保每一块动态分配的内存都能被适时释放。

例如：

我们使用malloc，为结点结构体的指针分配内存。

而在删除节点时，我们采用free函数来进行内存的释放。

Java的垃圾回收机制

与C语言不同，Java提供了自动内存管理功能。Java的垃圾回收机制旨在自动回收不再使用的对象所占用的内存，从而减轻程序员的负担并提高内存管理的安全性。

引用计数器

最简单的垃圾回收机制之一是引用计数器。它通过维护每个对象的引用计数来跟踪对象是否可以被回收：

引用计数增加：每当一个新的引用指向对象时，引用计数加1。
引用计数减少：每当一个引用被销毁或被设置为指向另一个对象时，引用计数减1。
回收对象：当对象的引用计数变为0时，说明该对象不再被使用，可以被回收。

然而，引用计数器存在一个明显的缺点，即无法处理循环引用（两个对象相互引用）。

循环引用问题

引用计数器的一大缺点是无法处理循环引用。如下示例：

class Node {
    Node next;
}

Node a = new Node();
Node b = new Node();
a.next = b;
b.next = a;

在这个例子中，即使a和b对象的引用离开了作用域，它们的引用计数器仍然不为0（因为它们互相引用），导致内存泄漏。

因此，Java并不使用这种方法作为其主要的垃圾回收策略。

可达性分析法与GC Root

Java采用的是更为先进的可达性分析法。它通过一组被称为GC Root的根对象作为起点，沿着这些根对象的引用链进行搜索。如果一个对象能从GC Root到达，那么它就是可达的（alive），否则就是不可达的，可以被回收。

GC Root：通常包括当前在栈中引用的对象、静态变量引用的对象以及JNI（Java Native Interface）引用的对象等。
可达对象：从GC Root开始，所有可以通过引用链访问到的对象都是可达的。
不可达对象：如果一个对象没有从GC Root出发的任何引用链到达，则认为该对象是不可达的，可以被回收。

GC Root的典型例子

虚拟机栈中的引用对象：如栈帧中的局部变量和输入参数。
方法区中的静态引用：如类的静态属性。
方法区中的常量引用：如常量池中的引用。

标记-清除算法

标记-清除算法是最早且最基本的垃圾回收算法之一。标记-清除算法分为两个阶段：标记阶段和清除阶段。

标记阶段：
- 从GC Root集合开始，遍历对象引用图，标记所有可达的对象。
- 标记过程通常是递归的，沿着对象引用链进行，直到所有可达的对象都被标记。
清除阶段：
- 遍历堆中的所有对象，回收未被标记的对象。
- 未标记的对象被认为是不可达的，可以被垃圾回收器回收。

优点

简单直接：算法简单，易于实现。
无需移动对象：对象在内存中的位置不会改变，减少了对象移动的开销。

缺点

内存碎片：清除阶段后，未被回收的对象会在堆中留下许多空闲区域，导致内存碎片。频繁的内存碎片会降低内存分配效率。
标记和清除过程需要遍历所有对象：在大堆内存中，遍历所有对象可能导致较长的暂停时间。

复制算法

工作原理

复制算法将堆内存分为两部分，通常是等大小的两个半区：From空间和To空间。垃圾回收时，仅使用其中一个半区，另一个半区作为备用空间。

分配阶段：
- 对象只在From空间中分配内存。
- To空间为空闲的，等待垃圾回收。
复制和清理阶段：
- 从GC Root开始，遍历所有可达的对象，并将它们复制到To空间。
- 复制过程中，保持对象的引用关系。
- 完成复制后，From空间中的所有对象被认为是不可达的，可以被回收。
- 交换From和To空间的角色，下一次分配和垃圾回收使用新的From空间。
示例：

假设有A块等待垃圾回收：

回收之后会变成~：

优点

无内存碎片：对象被紧凑地复制到新的空间，不会留下内存碎片。
分配速度快：由于始终从一个连续的空闲区域分配内存，分配速度很快。

缺点

内存利用率低：由于堆内存被划分为两个半区，同时只使用一半内存，导致内存利用率低。
对象复制开销：复制对象到新的空间需要额外的开销，特别是当对象较多时。

标记-整理算法

标记-整理算法（Mark-Compact Algorithm）是一种改进的垃圾回收算法，用于解决标记-清除算法产生的内存碎片问题。它结合了标记-清除和复制算法的优点，通过整理内存来提高内存分配效率。下面将详细分析标记-整理算法的工作原理、优缺点及其适用场景。

工作原理

标记-整理算法也分为两个主要阶段：标记阶段和整理阶段。

标记阶段：
- 从GC Root集合开始，遍历对象引用图，标记所有可达的对象。
- 这一步与标记-清除算法中的标记阶段相同，标记过程是递归的，沿着对象引用链进行，直到所有可达的对象都被标记。
整理阶段：
- 遍历整个堆，将所有存活的对象向一端移动（通常是堆的起始位置），保持对象之间的紧密排列。
- 更新所有对象的引用，以反映它们的新位置。
- 移动完成后，释放未被标记对象的内存，未被标记的对象被回收，形成一块连续的空闲区域。

优点

无内存碎片：对象被紧密排列在一起，没有内存碎片，提高了内存利用率。
高效的内存分配：由于所有存活对象被移动到堆的一端，剩下的内存是连续的，内存分配速度更快。
适用于长生命周期对象：尤其适合老年代（Old Generation）的垃圾回收，因为老年代对象生命周期较长，不需要频繁移动。

缺点

对象移动开销：整理阶段需要移动对象，并更新引用，增加了额外的开销，尤其是在老年代中存活对象较多时。
暂停时间长：标记和整理过程会导致应用暂停，可能影响实时性要求较高的应用。

标记-整理算法减少了内存碎片化，同时避免了复制算法中需要双倍内存的缺点。

应用场景

标记-清除算法：适用于内存紧张、不希望频繁移动对象的场景，如老年代（Old Generation）的垃圾回收。
复制算法：适用于对象生命周期短、需要快速回收的场景，如新生代（Young Generation）的垃圾回收。JVM中的新生代垃圾回收器通常使用复制算法。
标记-整理算法：对象较大且数量较多的场景，当对象较大且数量较多时，标记-整理算法可以通过紧凑排列对象，减少内存浪费，提高内存利用率。