在Java、Go、C++等语言开发中，内存管理始终是性能优化的核心命题。JVM的垃圾回收（GC）机制虽然解放了开发者，但若理解不深，反而可能成为线上故障的源头。本文将从底层原理到实战选型，带你彻底搞懂可达性分析、三大基础算法及主流回收器的执行逻辑，助你从容应对性能调优与面试挑战。

一、GC的根基：可达性分析如何判定对象生死？

GC的第一步是精准识别垃圾。早期引用计数法因循环引用缺陷被弃用，HotSpot采用可达性分析作为通用判定方案。其核心思想：以GC Roots为起点，构建对象引用关系图，遍历所有可达对象并标记为存活，未被标记的即为垃圾。类比理解：GC Roots是树根，可达对象是树枝，垃圾则是脱离主干的枯叶。

二、GC Roots的四大来源（面试高频）

并非所有对象都能作为GC Roots，只有“绝对不可回收”的核心引用才行：

  • 虚拟机栈引用对象：栈帧局部变量表、操作数栈引用的对象（如方法内局部变量）
  • 方法区静态属性引用对象：类的static变量引用（如 private static User user = new User() ）
  • 方法区常量引用对象：字符串常量池、Class常量引用
  • 本地方法栈引用对象：JNI调用等Native方法引用

三、可达性分析的高效实现：从OopMap到卡表

完整流程分三步：根枚举 → 对象图遍历 → 并发修正，每步均有针对性优化。

1. 根枚举：基于OopMap的毫秒级定位

HotSpot通过OopMap（普通对象指针映射表）记录栈帧中引用类型的内存偏移量，避免全栈遍历。初始标记阶段（STW）只需扫描OopMap记录位置，即可快速定位根引用，耗时压至毫秒级。方法区静态属性、常量引用则通过遍历元数据补充。

2. 对象图遍历：分层优化减少扫描范围

从根引用出发，递归遍历对象头中的引用指针并标记存活位。为避免全堆扫描，分代场景用卡表处理跨代引用，分区场景用记忆集处理跨Region引用。

3. 卡表（Card Table）底层机制

卡表按512字节粒度将老年代划分为卡页，每页对应1字节标记位。当老年代对象引用年轻代对象时，通过写屏障自动将对应卡页标记为“肮脏”。年轻代GC时仅扫描肮脏卡页，验证后标记回“干净”，大幅降低遍历开销。

4. 不同回收器的实现差异

各回收器因性能目标不同，在可达性分析实现上差异显著：

回收器类型可达性分析核心实现跨引用处理组件并发漏标解决方案
Serial GC（串行）单线程执行，OopMap根枚举+全堆遍历，全程STW无并发阶段卡表（分代场景），逻辑简单适配年轻代标记-复制无并发阶段，无需漏标修正
Parallel GC（并行吞吐量优先）多线程并行根枚举+遍历，STW时间短于Serial，依赖OopMap优化卡表（分代场景），多线程并行扫描肮脏卡页提效无并发阶段，无需漏标修正
CMS GC（并发低延迟）初始/重新标记（STW+OopMap）+ 并发标记，减少STW占比卡表（分代场景），写屏障标记肮脏页，重新标记阶段扫描增量标记+重新标记，修正并发漏标对象
G1 GC（分区均衡型）初始/最终标记（STW+OopMap）+ 并发标记，按Region分区遍历Remembered Set（记忆集）+ 卡表，每Region维护跨Region引用SATB（快照原子化），记录并发引用变更，最终标记批量修正
ZGC（超低延迟大内存）初始/最终标记（STW+颜色指针）+ 全阶段并发遍历，无全堆扫描无卡表/记忆集，依赖颜色指针+读屏障追踪跨Region引用读屏障拦截引用访问，自动标记漏标对象，无需快照

补充：Shenandoah GC与ZGC目标一致（超低延迟），但用软件转发指针替代颜色指针，依赖连接矩阵，无需硬件支持，小堆（4-16GB）场景性能更优。

四、三大基础垃圾回收算法解析

所有回收器底层均基于以下三种算法或其组合：

  • 标记-清除：实现简单，但产生碎片、效率随堆增长下降。适用：CMS老年代
  • 标记-复制：空间换时间，无碎片、效率高，但内存利用率低。适用：年轻代
  • 标记-整理：兼顾连续性与利用率，但移动对象需更新引用。适用：老年代

五、经典分代回收器实战对比

基于分代假说，JDK 8及之前主流回收器各有侧重：

  • Serial GC：单线程、全程STW，适合单核或小型应用。年轻代复制、老年代整理
  • Parallel GC：多线程并行，吞吐量优先，JDK 8默认。适合后台运算、科学计算
  • ParNew GC：Serial多线程版，仅负责年轻代，需搭配CMS。JDK 9废弃
  • CMS GC：低延迟优先，老年代并发标记-清除。初始标记STW极短，但会产生碎片和浮动垃圾。JDK 14移除

选型提示：吞吐量场景选Parallel，低延迟场景在JDK 8时代选CMS，但注意其CPU占用和碎片问题。

六、新一代回收器：G1、ZGC与Shenandoah

JDK 9+进入Region分区时代，兼顾吞吐量与低延迟，支持TB级堆。

1. G1 GC：区域优先，可控停顿

JDK 9+默认回收器。将堆划分为1MB~32MB的Region，动态扮演Eden/Survivor/Old。混合回收流程：初始标记（STW）→ 并发标记 → 最终标记（SATB修正）→ 筛选回收（按收益优先）。通过 -XX:MaxGCPauseMillis 控制停顿时间，适合4-64GB堆的服务端应用。

2. ZGC：超低延迟，TB级堆

目标停顿<10ms。核心创新是颜色指针（硬件级）和读屏障，并发开销仅为写屏障的1/5。流程：初始标记（1-2ms）→ 并发标记 → 并发整理（复制存活对象）→ 最终标记 → 并发清理。适合16GB+堆、实时处理场景。

3. Shenandoah GC：软件派低延迟

用转发指针替代颜色指针，无硬件依赖。连接矩阵优化跨Region引用。小堆（4-16GB）性能优于ZGC，分代管理完善，适合混合工作负载。

七、回收器选型与调优核心建议

选择回收器本质是匹配业务场景，而非追求最先进：

回收器核心优势适用场景
Serial GC简单高效，无线程交互开销单核CPU、客户端应用
Parallel GC吞吐量优先，多核加速明显后台运算、大数据处理
G1 GC可控停顿，性能均衡服务端通用场景（4GB+堆内存）
ZGC/Shenandoah超低延迟，支持TB级大内存实时服务、云原生大内存场景

调优核心原则：

  • 优先使用默认回收器（JDK 9+用G1），通过GC日志分析瓶颈，避免盲目切换
  • 低延迟选ZGC/Shenandoah，吞吐量选Parallel，通用服务端用G1
  • 控制堆大小，调整Region大小、并发线程数等参数贴合负载

[AFFILIATE_SLOT_2]

总结

GC的本质是内存管理的权衡艺术。掌握可达性分析原理（OopMap、卡表）、三大基础算法特性、各回收器执行差异（经典分代 vs G1/ZGC/Shenandoah），是性能调优和面试通关的关键。建议从默认回收器开始，结合GC日志逐步优化，避免过度设计。记住：没有完美的回收器，只有最适合业务的选择。