当前位置：首页 > article >正文

JVM垃圾回收器深度底层原理分析与知识体系构建

article 2025/2/28 1:01:15

一、垃圾回收的基本步骤

标记（Marking）
- 从GC Roots（如虚拟机栈、方法区静态变量、本地方法栈等）出发，遍历对象引用链，标记所有可达对象为存活对象，未被标记的则视为垃圾。
- 此阶段需暂停用户线程（Stop-The-World, STW），不同回收器优化策略不同，例如CMS和G1通过并发标记减少停顿。
清除（Sweeping）
- 根据标记结果清理垃圾对象，具体实现方式因算法而异：

标记-清除（Mark-Sweep） ：直接回收未标记对象，但会产生内存碎片。
标记-整理（Mark-Compact） ：移动存活对象以消除碎片，适合老年代。
复制（Copying） ：将存活对象复制到另一块内存区域，适合新生代（如Survivor区）。

压缩（Compacting，可选）
- 部分回收器（如Serial Old）在清除后整理内存，提升连续空间利用率。

二、垃圾回收器的分类

根据工作模式、线程数、内存区间等维度，垃圾回收器可分为以下类型：

1. 按线程数划分

串行回收器（Serial GC）
- 特点：单线程执行垃圾回收，全程STW。
- 适用场景：客户端程序或小内存应用（如嵌入式系统）。
- 代表：Serial（新生代）、Serial Old（老年代）。
并行回收器（Parallel GC）
- 特点：多线程并行回收，提高吞吐量，但STW时间仍较长。
- 适用场景：注重吞吐量、多核CPU的服务器应用。
- 代表：ParNew（新生代）、Parallel Scavenge（新生代）、Parallel Old（老年代）。
并发回收器（Concurrent GC）
- 特点：用户线程与GC线程交替工作，减少STW时间。
- 适用场景：低延迟要求的应用（如实时系统）。
- 代表：CMS（Concurrent Mark Sweep）、G1（Garbage-First）、ZGC。

2. 按分代划分

新生代回收器
- 使用复制算法，如Serial、ParNew、Parallel Scavenge。
- 新生代分为Eden、Survivor区，对象存活时间短，回收频率高。
老年代回收器
- 使用标记-整理或标记-清除算法，如CMS、Serial Old、Parallel Old。
- 老年代对象存活时间长，回收频率低但耗时长。

三、主流垃圾回收器详解

1. Serial/Serial Old

特点：单线程、STW、简单高效，适合小堆内存。
缺点：暂停时间长，不适用于服务端。

2. ParNew

特点：Serial的多线程版本，与CMS配合使用。
缺点：在单核或低并发环境中可能不如Serial高效。

3. Parallel Scavenge/Parallel Old

特点：以吞吐量为优先目标，适合后台计算型应用。
参数：可通过-XX:MaxGCPauseMillis和-XX:GCTimeRatio调整停顿时间和吞吐量。

4. CMS（Concurrent Mark Sweep）

特点：并发标记、低延迟，但会产生内存碎片。
阶段：初始标记（STW）→ 并发标记 → 重新标记（STW）→ 并发清除。
问题：JDK 14后已废弃，因碎片化和无法处理大堆。

5. G1（Garbage-First）

特点：
- 将堆划分为多个Region，优先回收垃圾最多的区域。
- 支持并发标记、混合回收（同时处理新生代和老年代），且通过压缩减少碎片。
适用场景：大堆内存（如几十GB）和低延迟要求（默认从JDK 9开始）。

6. ZGC

特点：
- 支持TB级堆内存，STW时间不超过10ms，基于指针染色和读屏障实现并发。
- 适用于高吞吐量、低延迟的云原生应用。

四、选择与调优建议

版本差异
- JDK 8默认：Parallel Scavenge + Parallel Old。
- JDK 9+默认：G1。
- JDK 11+可选：ZGC（实验性功能）。
调优参数示例
- 启用G1：-XX:+UseG1GC。
- 设置堆大小：-Xms4g -Xmx4g（固定堆避免动态调整）。
- 日志分析：-Xlog:gc*（JDK 9+）或-XX:+PrintGCDetails（JDK 8）。
场景推荐
- 高吞吐量：Parallel Scavenge/Old。
- 低延迟：G1或ZGC。
- 小内存：Serial。

五、垃圾回收的本质与哲学矛盾

垃圾回收的核心矛盾在于时空效率的平衡：时间维度上要减少STW（Stop-The-World）停顿时间，空间维度上要高效利用内存且避免碎片。这一矛盾驱动了GC算法的迭代。

底层逻辑框架：

对象存活判定：通过可达性分析构建对象图（Object Graph），以GC Roots为起点进行DFS/BFS遍历（三色标记法的数学抽象）
内存拓扑管理：分代假设（弱代假说）将内存划分为不同区域，通过空间换时间策略优化回收效率
并发控制：写屏障（Write Barrier）技术解决并发标记阶段的"对象消失"问题，具体实现有增量更新（CMS）和原始快照（G1）两种流派

一、算法演化与硬件协同

1. 分代算法的物理本质

新生代：采用复制算法（Copying）本质是顺序写+批量删除，利用空间局部性原理提升缓存命中率
老年代：标记-整理（Mark-Compact）通过内存重映射解决碎片，但需要处理指针更新问题（G1的Remembered Set）

2. 并发回收的硬件级优化

现代GC（如ZGC）利用地址视图转换实现并发压缩，关键技术包括：

指针染色（Colored Pointer）：在64位指针中嵌入元数据
内存多重映射（mmap）：同一物理内存映射到多个虚拟地址空间

四、主流回收器架构对比

回收器	内存模型	并发策略	碎片处理	适用场景
CMS	传统分代	并发标记+并行清除	不处理（标记清除）	老年代低延迟
G1	Region分区	增量标记+并行复制	局部整理	大堆平衡型
ZGC	无分代	全并发染色指针	无碎片	超大堆（TB级）低延迟
Shenandoah	Region分区	并发复制+读屏障	无碎片	中等堆高吞吐量

设计哲学差异：

CMS：时间优先，通过并发降低停顿，容忍内存碎片
G1：空间可预测，建立Region回收价值模型
ZGC：硬件驱动，利用64位地址空间特性突破传统限制

五、关键扩展

1. 三色标记的工程实现

漏标问题的两种解决方案：
- 增量更新（CMS） ：记录新增引用（类似数据库redo log）
- 原始快照（G1） ：记录删除引用（类似MVCC快照）

// 写屏障伪代码示例（G1风格）
void oop_field_store(oop* field, oop new_value) {
    pre_write_barrier(field); // 记录旧值
    *field = new_value; 
    post_write_barbarrier(field, new_value); // 记录新值
}