1. JVM垃圾回收机制概述
刚入行Java开发时，我对GC的理解仅限于"自动管理内存"这个模糊概念。直到有次线上服务频繁Full GC导致卡顿，才真正意识到掌握GC机制的重要性。JVM的垃圾回收机制远不止是"自动回收内存"那么简单，它涉及到内存管理、性能调优、系统稳定性等核心问题。
在HotSpot虚拟机中，垃圾回收器需要解决三个基本问题：
- 哪些内存需要回收（对象存活判定）
- 什么时候回收（GC触发条件）
- 如何回收（回收算法与实现）
理解GC机制不仅能帮你在面试中脱颖而出，更重要的是能让你在实际开发中写出更高效的代码，遇到内存问题时也能快速定位原因。下面我会结合自己处理过的真实案例，详细解析GC的运作原理和实战要点。
2. 对象存活判定机制
2.1 引用计数法的问题
早期我误以为JVM用的是引用计数法（给对象添加引用计数器），直到遇到循环引用问题才明白其局限性。比如：
java复制class Node {
Node next;
}
Node a = new Node();
Node b = new Node();
a.next = b;
b.next = a; // 循环引用
a = b = null; // 理论上这两个对象应该被回收
引用计数法无法处理这种循环引用的情况，这也是HotSpot虚拟机不采用它的主要原因。
2.2 可达性分析算法
JVM实际使用的是可达性分析（Reachability Analysis），这也是面试常考的重点。其核心思想是：
- 从GC Roots对象（一组必须活跃的引用）作为起点
- 向下搜索引用链，能被遍历到的对象就是存活对象
- 不可达的对象判定为可回收
常见的GC Roots包括：
- 虚拟机栈中引用的对象（局部变量表）
- 方法区中类静态属性引用的对象
- 方法区中常量引用的对象
- 本地方法栈中JNI引用的对象
- Java虚拟机内部引用（如基本类型对应的Class对象）
关键点：即使在进行可达性分析时不可达的对象，也并非"非死不可"，它们会暂时处于"缓刑"阶段，要真正宣告死亡至少要经历两次标记过程。
3. 垃圾回收算法实现
3.1 标记-清除算法（Mark-Sweep）
最基础的算法，分为两个阶段：
- 标记：遍历所有对象，标记出需要回收的对象
- 清除：统一回收被标记的对象
问题：
- 效率问题：标记和清除两个过程效率都不高
- 空间问题：会产生大量不连续的内存碎片
java复制// 伪代码示意
void markSweep() {
markPhase(); // 标记存活对象
sweepPhase(); // 清理未标记对象
}
3.2 复制算法（Copying）
为了解决效率问题，复制算法出现了。它将内存分为两块，每次只使用其中一块：
- 将存活对象复制到另一块内存
- 一次性清理当前使用的整个内存空间
优点：
- 没有内存碎片
- 分配内存时只需要移动堆顶指针
缺点：
- 内存利用率只有50%
- 对象存活率高时复制操作效率低
实际应用中，新生代的Eden区和Survivor区就是采用这种算法，但通过优化（默认8:1:1的比例）减少了内存浪费。
3.3 标记-整理算法（Mark-Compact）
老年代常用的算法，过程类似标记-清除，但后续步骤不是直接清理，而是：
- 标记所有需要回收的对象
- 让所有存活对象向内存一端移动
- 直接清理掉边界以外的内存
java复制// 伪代码示意
void markCompact() {
markPhase(); // 标记
compactPhase(); // 整理移动
sweepPhase(); // 清理
}
优点：
- 没有内存碎片
- 内存利用率高
缺点：
- 移动对象成本高
- 需要暂停用户线程（Stop The World）
4. 分代收集理论
根据对象存活周期的不同，JVM将堆内存划分为新生代和老年代，这是GC设计的核心理论依据。
4.1 新生代（Young Generation）
特点：
- 对象生命周期短
- 回收频繁
- 采用复制算法
结构：
- Eden区（80%）：新对象在此分配
- Survivor0（10%）：存放第一次GC后存活的对象
- Survivor1（10%）：存放第二次GC后存活的对象
晋升条件：
- 经历一定次数（默认15）Minor GC仍存活的对象
- Survivor区放不下的对象会直接进入老年代
4.2 老年代（Old Generation）
特点：
- 对象生命周期长
- 回收不频繁
- 采用标记-清除或标记-整理算法
触发条件：
- 老年代空间不足时触发Major GC
- 通常伴随至少一次Minor GC（Full GC）
4.3 元空间（Metaspace）
JDK 8将永久代移除，改为元空间：
- 使用本地内存而非JVM内存
- 动态调整大小
- 主要存放类元数据信息
5. 常见垃圾收集器
5.1 串行收集器（Serial）
特点：
- 单线程工作
- 新生代使用复制算法
- 老年代使用标记-整理算法
适用场景：
- 客户端模式下的默认收集器
- 内存资源受限的环境
启动参数：
code复制-XX:+UseSerialGC
5.2 并行收集器（Parallel）
特点：
- 多线程并行GC
- 新生代使用复制算法
- 老年代使用标记-整理算法
- 吞吐量优先
适用场景：
- 多核服务器环境
- JDK8默认收集器
启动参数：
code复制-XX:+UseParallelGC
-XX:+UseParallelOldGC
5.3 CMS收集器
特点：
- 以获取最短回收停顿时间为目标
- 并发标记和并发清除
- 使用标记-清除算法
四个阶段：
- 初始标记（Stop The World）
- 并发标记
- 重新标记（Stop The World）
- 并发清除
问题：
- 内存碎片问题
- 并发模式失败风险
启动参数：
code复制-XX:+UseConcMarkSweepGC
5.4 G1收集器
特点：
- 面向服务端应用的收集器
- 将堆划分为多个Region
- 可预测的停顿时间模型
- 整体基于标记-整理算法
- 局部（两个Region间）基于复制算法
运行阶段：
- 初始标记
- 并发标记
- 最终标记
- 筛选回收
优势：
- 内存分Region设计
- 可预测的停顿模型
- 更高的吞吐量
启动参数：
code复制-XX:+UseG1GC
6. GC日志分析与调优
6.1 关键JVM参数
code复制-XX:+PrintGCDetails // 打印GC详细信息
-XX:+PrintGCDateStamps // 打印GC时间戳
-Xloggc:/path/to/gc.log // GC日志输出路径
-XX:+HeapDumpOnOutOfMemoryError // OOM时生成堆转储
-XX:HeapDumpPath=/path/to/dump.hprof // 堆转储文件路径
6.2 日志解读示例
code复制2023-07-20T14:23:45.731+0800: [GC (Allocation Failure)
[PSYoungGen: 65536K->10752K(76288K)]
65536K->15423K(251392K), 0.0123456 secs]
[Times: user=0.03 sys=0.01, real=0.01 secs]
解读：
- 这是一次Young GC
- 触发原因是分配失败（Allocation Failure）
- 年轻代回收前65MB，回收后剩10MB
- 整个堆回收前65MB，回收后剩15MB
- 耗时约12毫秒
6.3 常见问题排查
问题1：频繁Full GC
可能原因：
- 老年代空间不足
- 大对象直接进入老年代
- 元空间不足
解决方案：
- 增加堆大小（-Xmx）
- 调整新生代与老年代比例（-XX:NewRatio）
- 检查是否有内存泄漏
问题2：GC停顿时间过长
可能原因：
- 堆内存过大
- 收集器选择不当
- 对象晋升阈值设置不合理
解决方案：
- 考虑使用G1或ZGC
- 调整-XX:MaxGCPauseMillis
- 优化对象结构减少存活对象
7. 实战经验与避坑指南
7.1 对象分配优化
- 避免创建过多短命对象
java复制// 不好的写法
for (int i = 0; i < 10000; i++) {
String s = new String("item" + i); // 每次循环创建新对象
}
// 优化写法
StringBuilder sb = new StringBuilder();
for (int i = 0; i < 10000; i++) {
sb.append("item").append(i);
}
- 谨慎使用finalize()方法
- 可能导致对象复活
- 执行时间不可控
- 影响GC效率
7.2 内存泄漏排查技巧
典型内存泄漏场景：
- 静态集合类持有对象引用
- 各种连接未关闭（数据库、网络、IO）
- 监听器未注销
- 内部类持有外部类引用
排查工具：
- jmap生成堆转储
- MAT（Memory Analyzer Tool）分析
- VisualVM实时监控
7.3 收集器选择建议
选择标准：
- 应用特性：吞吐量优先 or 低延迟优先
- 堆内存大小
- CPU资源情况
推荐组合：
- 小内存（<4G）：Serial
- 中等内存（4-8G）：Parallel
- 大内存（>8G）：G1或ZGC
8. 新一代垃圾收集器展望
虽然面试中不常考，但了解前沿技术能体现你的技术敏感度：
- ZGC（Z Garbage Collector）
- 目标：TB级堆内存，停顿时间<10ms
- 关键技术：染色指针、读屏障
- 适用场景：超大内存低延迟需求
- Shenandoah
- 与ZGC类似的低延迟收集器
- 不同实现方式：Brooks指针
- 与ZGC的性能对比是热门话题
- Epsilon
- 实验性无操作收集器
- 适用于性能测试和短期任务
- 完全不进行垃圾回收