深入解析JVM垃圾回收算法原理与实践

2026/8/6 10:24:43 拓冰建站浏览量

1. 垃圾回收算法概述

作为一名在Java虚拟机领域工作多年的开发者，我经常需要深入理解各种垃圾回收(GC)算法的实现原理和适用场景。垃圾回收是现代编程语言内存管理的核心技术，它自动回收不再使用的内存空间，避免了手动内存管理带来的内存泄漏和悬垂指针等问题。

在JVM、.NET CLR等运行时环境中，垃圾回收器通过特定的算法策略来识别和回收无用对象。不同的算法在吞吐量、延迟、内存利用率等方面有着显著差异，这也是为什么我们需要了解各种GC算法的特点。

2. 标记-清除算法(Mark-Sweep)

2.1 基本原理

标记-清除是最基础的垃圾回收算法，它分为两个阶段：

标记阶段：从GC Roots(如全局变量、栈中的引用等)出发，遍历所有可达对象并标记
清除阶段：扫描整个堆内存，回收未被标记的对象空间

// 伪代码示例 void markSweep() { // 标记阶段 for (Object root : roots) { mark(root); } // 清除阶段 for (Object obj : heap) { if (!obj.isMarked()) { free(obj); } else { obj.unmark(); } } }

2.2 优缺点分析

优势：

实现简单直接
不需要移动对象，适合存活对象多的情况

劣势：

会产生内存碎片
清除阶段需要扫描整个堆，效率较低
执行期间需要暂停应用线程(STW问题)

实际经验：在老版本的HotSpot JVM中，Serial GC和Parallel GC的老年代回收就采用了标记-清除算法。我们在处理大内存应用时需要特别注意碎片化问题。

3. 标记-整理算法(Mark-Compact)

3.1 工作原理

标记-整理算法在标记阶段与标记-清除相同，但在清除阶段会进行内存整理：

标记所有可达对象
将所有存活对象向内存一端移动
清理边界外的空间

3.2 性能特点

优点：

解决了内存碎片问题
分配新对象时只需维护一个指针(指针碰撞分配)

缺点：

对象移动带来额外开销
整理阶段STW时间更长

// 内存整理伪代码 void compact() { Object* newLocation = heapStart; for (Object* obj = heapStart; obj < heapEnd; obj++) { if (obj->isMarked()) { memmove(newLocation, obj, obj->size); newLocation += obj->size; } } freeStart = newLocation; }

4. 复制算法(Copying)

4.1 实现机制

复制算法将堆分为两个大小相等的空间：

只使用其中一个空间(From空间)
GC时将所有存活对象复制到另一个空间(To空间)
交换两个空间的角色

4.2 适用场景

优势：

没有碎片问题
分配效率极高(指针碰撞)
只需扫描存活对象

劣势：

内存利用率只有50%
复制大对象开销大

生产建议：在HotSpot JVM中，新生代的Serial/Parallel/ParNew GC都采用复制算法。我们通常将新生代分为Eden和两个Survivor区，这样内存利用率可提升到90%。

5. 分代收集算法(Generational)

5.1 设计思想

基于"弱代假说"：

大多数对象很快变得不可达
存活时间长的对象可能会继续存活

因此将堆划分为：

新生代(Young Generation)：频繁回收，使用复制算法
老年代(Tenured Generation)：较少回收，使用标记-清除/整理

5.2 跨代引用处理

关键挑战是老年代可能引用新生代对象。解决方案：

写屏障(Write Barrier)记录跨代引用
卡表(Card Table)标记脏内存区域

// 卡表实现示例 class CardTable { byte[] table; // 每个字节对应堆的一块区域 void writeBarrier(Object obj) { int index = addressToIndex(obj); table[index] = DIRTY; } }

6. 增量收集算法

6.1 基本思路

将GC工作分成多个小步骤执行，与应用程序交替运行，减少单次STW时间。

6.2 实现方式

三色标记法(Tri-color Marking)
写屏障维护对象图一致性
典型实现：CMS收集器的并发标记阶段

7. 分区收集算法(Region-based)

7.1 G1收集器设计

将堆划分为多个大小相等的Region(默认2048个)，每个Region可以是：

Eden区
Survivor区
Old区
Humongous区(存放大对象)

7.2 回收过程

初始标记(Initial Mark)：STW标记GC Roots直接引用
并发标记(Concurrent Mark)：与应用线程并发执行
最终标记(Final Remark)：STW完成标记
筛选回收(Live Data Counting and Evacuation)：根据停顿时间目标选择收益最高的Region回收

8. ZGC与Shenandoah算法

8.1 新一代低延迟GC

目标：亚毫秒级停顿
关键技术：
- 着色指针(Colored Pointers)
- 读屏障(Read Barriers)
- 并发压缩(Concurrent Compaction)

8.2 性能对比

特性	ZGC	Shenandoah	G1
最大堆大小	16TB	4TB	4TB
最低延迟	<1ms	<10ms	50-100ms
并发压缩	是	是	否

9. 算法选择实践指南

9.1 选择考量因素

吞吐量 vs 延迟需求
堆内存大小
对象存活特征
硬件资源(CPU核心数、内存带宽)

9.2 常见组合

高吞吐场景：Parallel Scavenge + Parallel Old
低延迟WEB应用：ParNew + CMS
大堆内存：G1
极致低延迟：ZGC/Shenandoah

10. 调优经验分享

10.1 关键参数

# 新生代大小 -XX:NewRatio=2 # 老年代/新生代=2:1 -XX:SurvivorRatio=8 # Eden/Survivor=8:1 # GC日志配置 -Xloggc:/path/to/gc.log -XX:+PrintGCDetails -XX:+PrintGCDateStamps

10.2 常见问题排查

Full GC频繁：
- 检查老年代空间是否不足
- 排查内存泄漏
- 调整-XX:MaxTenuringThreshold
长时间停顿：
- 检查是否有大对象分配
- 考虑使用G1或ZGC
- 增加-XX:ConcGCThreads
吞吐量下降：
- 减少GC线程数(-XX:ParallelGCThreads)
- 增大堆内存
- 优化对象分配模式

在实际生产环境中，我通常会先用-XX:+PrintFlagsFinal验证参数是否生效，再结合GC日志和JVisualVM等工具进行详细分析。记住没有放之四海而皆准的最优配置，必须根据具体应用特点进行调优。

建站实战干货