垃圾回收流程与触发机制
GC的分类
在HotSpot虚拟机中,垃圾回收主要分为两大类:
部分收集(Partial GC)
新生代收集(Minor GC / Young GC):
- 仅对新生代进行垃圾回收
- 发生频率高,回收速度快
- 采用复制算法
老年代收集(Major GC / Old GC):
- 仅对老年代进行垃圾回收
- 在某些语境中也指代Full GC
- CMS收集器会单独回收老年代
混合收集(Mixed GC):
- 回收整个新生代和部分老年代
- G1收集器特有的收集方式
整堆收集(Full GC)
- 收集整个Java堆和方法区(元空间)
- 耗时长,影响应用性能
- 应尽量避免频繁Full GC
graph TB
subgraph GC分类
PartialGC[部分收集<br/>Partial GC]
FullGC[整堆收集<br/>Full GC]
PartialGC --> YoungGC[新生代收集<br/>Minor GC / Young GC]
PartialGC --> MajorGC[老年代收集<br/>Major GC]
PartialGC --> MixedGC[混合收集<br/>Mixed GC]
end
style PartialGC fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style FullGC fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style YoungGC fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style MajorGC fill:#ffa94d,stroke:#e67700,stroke-width:2px,rx:15,ry:15
style MixedGC fill:#b197fc,stroke:#7950f2,stroke-width:2px,rx:15,ry:15Young GC触发条件
Young GC的触发条件非常明确:
触发时机: Eden区空间不足时触发
graph LR
subgraph 新生代
Eden[Eden区<br/>已使用95%] --> Survivor0[Survivor 0]
Survivor1[Survivor 1]
end
NewObj[新对象分配] -.Eden满.-> Trigger[触发Young GC]
style Eden fill:#ff6b6b,stroke:#c92a2a,stroke-width:3px,rx:15,ry:15
style Survivor0 fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style Survivor1 fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style Trigger fill:#ffa94d,stroke:#e67700,stroke-width:3px,rx:15,ry:15示例场景:
public class YoungGCDemo {
public static void main(String[] args) {
// JVM参数: -Xms20M -Xmx20M -Xmn10M -XX:+PrintGCDetails
byte[] array1 = new byte[2 * 1024 * 1024]; // 2MB
byte[] array2 = new byte[2 * 1024 * 1024]; // 2MB
byte[] array3 = new byte[2 * 1024 * 1024]; // 2MB
byte[] array4 = new byte[4 * 1024 * 1024]; // 4MB
// 此时Eden区(约8MB)已满,分配array4时触发Young GC
}
}Full GC触发条件
Full GC的触发条件相对复杂,主要包括以下几种情况:
1. 老年代空间不足
这是最常见的Full GC触发原因,有多种具体场景:
场景1: 大对象直接进入老年代
public class LargeObjectDemo {
public static void main(String[] args) {
// JVM参数: -XX:PretenureSizeThreshold=1048576 (1MB)
// 创建2MB的大对象,超过阈值,直接进入老年代
byte[] largeArray = new byte[2 * 1024 * 1024];
// 如果老年代空间不足,触发Full GC
}
}graph TB
CreateObj[创建大对象] --> CheckSize{大小超过阈值?}
CheckSize -->|否| Eden[分配到Eden区]
CheckSize -->|是| CheckOld{老年代空间足够?}
CheckOld -->|是| OldGen[直接进入老年代]
CheckOld -->|否| FullGC[触发Full GC]
FullGC --> Retry{GC后空间足够?}
Retry -->|是| OldGen
Retry -->|否| OOM[抛出OutOfMemoryError]
style CreateObj fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style Eden fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style OldGen fill:#ffa94d,stroke:#e67700,stroke-width:2px,rx:15,ry:15
style FullGC fill:#ff6b6b,stroke:#c92a2a,stroke-width:3px,rx:15,ry:15
style OOM fill:#ff6b6b,stroke:#c92a2a,stroke-width:3px,rx:15,ry:15场景2: Young GC后晋升对象过多
public class PromotionDemo {
public static void main(String[] args) {
// 大量对象在Young GC后存活
List<byte[]> list = new ArrayList<>();
for (int i = 0; i < 1000; i++) {
byte[] array = new byte[1024 * 1024]; // 1MB
list.add(array); // 保持强引用,对象无法被回收
}
// Young GC后,大量对象需要晋升到老年代
// 如果老年代空间不足,触发Full GC
}
}2. 空间分配担保失败
在进行Young GC之前,JVM会进行空间分配担保检查。
空间分配担保机制
目的: 确保Young GC后存活对象能够顺利晋升到老年代
检查流程:
graph TB
Start[准备Young GC] --> Check1{老年代最大连续空间<br/>> 新生代所有对象总大小?}
Check1 -->|是| Safe[担保成功<br/>执行Young GC]
Check1 -->|否| Check2{老年代最大连续空间<br/>> 历次晋升平均大小?}
Check2 -->|是| Risk[冒险执行Young GC]
Check2 -->|否| FullGC[触发Full GC]
Risk --> Result{实际晋升大小}
Result -->|<= 老年代空间| Success[Young GC成功]
Result -->|> 老年代空间| FullGC2[触发Full GC]
style Start fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style Safe fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style Risk fill:#ffd43b,stroke:#f59f00,stroke-width:2px,rx:15,ry:15
style FullGC fill:#ff6b6b,stroke:#c92a2a,stroke-width:3px,rx:15,ry:15
style FullGC2 fill:#ff6b6b,stroke:#c92a2a,stroke-width:3px,rx:15,ry:15
style Success fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15INFO
在JDK 7及以后版本,-XX:HandlePromotionFailure参数已被移除。JVM会自动采用更智能的担保策略,即只检查老年代最大连续空间是否大于新生代所有对象总大小或历次晋升平均大小。
3. 方法区(元空间)不足
当方法区空间不足时,会触发Full GC。
JDK 7及之前(永久代):
// 动态生成大量类,导致永久代溢出
public class MetaspaceGCDemo {
public static void main(String[] args) {
while (true) {
Enhancer enhancer = new Enhancer();
enhancer.setSuperclass(Object.class);
enhancer.setUseCache(false);
enhancer.setCallback(new MethodInterceptor() {
public Object intercept(Object obj, Method method,
Object[] args, MethodProxy proxy) {
return proxy.invokeSuper(obj, args);
}
});
enhancer.create(); // 动态创建类
// 永久代满时触发Full GC
}
}
}JDK 8及之后(元空间):
# 限制元空间大小
-XX:MetaspaceSize=128M
-XX:MaxMetaspaceSize=256M元空间使用本地内存,但仍然会在空间不足时触发Full GC回收无用的类。
4. 显式调用System.gc()
程序中调用System.gc()会建议JVM执行Full GC。
public class SystemGCDemo {
public static void main(String[] args) {
byte[] array = new byte[10 * 1024 * 1024]; // 10MB
array = null;
// 显式建议执行GC
System.gc();
// 注意: 这只是建议,JVM不保证立即执行
}
}INFO
System.gc()会触发Full GC,严重影响性能- 可通过
-XX:+DisableExplicitGC禁用显式GC - 现代应用应避免手动调用GC,交由JVM自动管理
5. CMS GC的特殊情况
Concurrent Mode Failure:
- CMS在并发清理时,新生代晋升速度过快
- 老年代空间在CMS完成前就被填满
- 触发Full GC,降级使用Serial Old收集器
Promotion Failed:
- Young GC时,Survivor空间不足
- 对象需要晋升到老年代,但老年代碎片化严重
- 无连续空间容纳晋升对象,触发Full GC
graph TB
CMS[CMS并发收集] --> Check{新对象晋升速度}
Check -->|慢于回收速度| Normal[正常完成]
Check -->|快于回收速度| CMF[Concurrent Mode Failure]
CMF --> SerialOld[降级为Serial Old<br/>执行Full GC]
YoungGC[Young GC] --> Promote{晋升对象}
Promote --> CheckSpace{老年代有连续空间?}
CheckSpace -->|是| Success[晋升成功]
CheckSpace -->|否| PF[Promotion Failed<br/>触发Full GC]
style Normal fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style CMF fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style PF fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style SerialOld fill:#ffa94d,stroke:#e67700,stroke-width:2px,rx:15,ry:15一次完整的GC流程(JDK 8)
以下是基于JDK 8,使用默认垃圾收集器组合(年轻代ParNew + 老年代CMS)的完整GC流程:
graph TB
Start[对象创建] --> CheckSize{对象大小检查}
CheckSize -->|大对象<br/>超过阈值| DirectOld{老年代空间足够?}
CheckSize -->|普通对象| AllocEden[在Eden区分配]
DirectOld -->|是| OldGen[直接进入老年代]
DirectOld -->|否| FullGC1[触发Full GC]
AllocEden --> CheckEden{Eden区是否满?}
CheckEden -->|否| End1[分配成功]
CheckEden -->|是| Guarantee[空间分配担保检查]
Guarantee --> GCheck{担保是否通过?}
GCheck -->|失败| FullGC2[触发Full GC]
GCheck -->|成功| YoungGC[执行Young GC]
YoungGC --> Mark[标记存活对象<br/>从GC Roots开始]
Mark --> Copy[复制存活对象<br/>Eden+S0 -> S1]
Copy --> Clear[清空Eden和S0]
Clear --> AgeCheck[对象年龄判断]
AgeCheck --> CheckAge{达到晋升年龄?}
CheckAge -->|是| Promote[晋升到老年代]
CheckAge -->|否| StayYoung[留在新生代]
Promote --> SurvivorFull{Survivor空间足够?}
SurvivorFull -->|是| End2[Young GC完成]
SurvivorFull -->|否| GuaranteeCheck{担保检查}
GuaranteeCheck -->|成功| Promote2[提前晋升到老年代]
GuaranteeCheck -->|失败| FullGC3[触发Full GC]
Promote2 --> OldFull{老年代空间足够?}
OldFull -->|是| End3[晋升成功]
OldFull -->|否| FullGC4[触发Full GC]
FullGC1 --> FullGCProcess[Full GC流程]
FullGC2 --> FullGCProcess
FullGC3 --> FullGCProcess
FullGC4 --> FullGCProcess
FullGCProcess --> InitMark[初始标记<br/>STW]
InitMark --> ConcMark[并发标记<br/>不STW]
ConcMark --> Remark[重新标记<br/>STW]
Remark --> ConcSweep[并发清除<br/>不STW]
ConcSweep --> CheckSpace{GC后空间足够?}
CheckSpace -->|是| End4[Full GC完成]
CheckSpace -->|否| OOM[OutOfMemoryError]
style Start fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style YoungGC fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style FullGCProcess fill:#ff6b6b,stroke:#c92a2a,stroke-width:3px,rx:15,ry:15
style OOM fill:#ff6b6b,stroke:#c92a2a,stroke-width:3px,rx:15,ry:15
style End1 fill:#a9e34b,stroke:#74b816,stroke-width:2px,rx:15,ry:15
style End2 fill:#a9e34b,stroke:#74b816,stroke-width:2px,rx:15,ry:15
style End3 fill:#a9e34b,stroke:#74b816,stroke-width:2px,rx:15,ry:15
style End4 fill:#a9e34b,stroke:#74b816,stroke-width:2px,rx:15,ry:15
style InitMark fill:#ffa94d,stroke:#e67700,stroke-width:2px,rx:15,ry:15
style Remark fill:#ffa94d,stroke:#e67700,stroke-width:2px,rx:15,ry:15Young GC详细流程
Young GC采用标记-复制算法,主要分为三个阶段:
1. 标记阶段
从GC Roots开始,标记所有可达的存活对象。
// GC Roots包括:
// - 虚拟机栈中的引用
// - 方法区静态属性引用
// - 方法区常量引用
// - 本地方法栈引用
// - Remembered Set(跨代引用)
public class GCRootsInYoungGC {
private static List<String> staticList = new ArrayList<>(); // GC Root
public void method() {
String localVar = "local"; // GC Root
// Young GC时,从这些根开始标记
}
}2. 复制阶段
将Eden区和一个Survivor区(From区)的存活对象复制到另一个Survivor区(To区)。
graph LR
subgraph GC前
Eden1[Eden<br/>已用8MB] --> S01[Survivor 0<br/>已用1MB]
S11[Survivor 1<br/>空闲]
end
subgraph GC后
Eden2[Eden<br/>空闲] --> S02[Survivor 0<br/>空闲]
S12[Survivor 1<br/>已用2MB<br/>存活对象]
end
Eden1 -.复制存活对象.-> S12
S01 -.复制存活对象.-> S12
style Eden1 fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style S01 fill:#ffa94d,stroke:#e67700,stroke-width:2px,rx:15,ry:15
style Eden2 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style S02 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style S12 fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:153. 清除阶段
清空Eden区和From Survivor区,释放内存。
对象年龄增长规则:
- Eden区存活对象 → 复制到Survivor,年龄设为1
- Survivor区对象 → 每经历一次Young GC,年龄+1
- 年龄达到阈值(默认15) → 晋升到老年代
// JVM参数控制晋升年龄
-XX:MaxTenuringThreshold=15 // 最大晋升年龄
-XX:TargetSurvivorRatio=50 // Survivor区目标使用率动态年龄判断:
如果Survivor区中相同年龄所有对象的总大小 > Survivor空间的50%(可通过TargetSurvivorRatio调整),则取该年龄和MaxTenuringThreshold中较小值作为晋升年龄。
// 动态年龄判断伪代码
int calculateTenuringThreshold(Survivor survivor) {
int threshold = MaxTenuringThreshold;
long targetSize = survivor.capacity() * TargetSurvivorRatio / 100;
long totalSize = 0;
for (int age = 1; age <= MaxTenuringThreshold; age++) {
totalSize += survivor.sizeOfAge(age);
if (totalSize > targetSize) {
threshold = Math.min(age, MaxTenuringThreshold);
break;
}
}
return threshold;
}Full GC详细流程(CMS)
CMS(Concurrent Mark Sweep)收集器采用三色标记法,分为四个阶段:
1. 初始标记(Initial Mark) - STW
目的: 标记GC Roots直接关联的对象
特点: 需要Stop The World,但速度很快
graph TB
GCRoot1[GC Root] --> Obj1[对象A<br/>直接可达]
GCRoot2[GC Root] --> Obj2[对象B<br/>直接可达]
Obj1 --> Obj3[对象C<br/>间接可达<br/>暂不标记]
style GCRoot1 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style GCRoot2 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style Obj1 fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style Obj2 fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style Obj3 fill:#dee2e6,stroke:#868e96,stroke-width:1px,rx:15,ry:152. 并发标记(Concurrent Mark) - 不STW
目的: 从初始标记的对象开始,遍历整个对象图
特点: 与应用线程并发执行,不停顿
// 三色标记法:
// - 白色: 未访问的对象
// - 灰色: 已访问但其引用未完全扫描的对象
// - 黑色: 已访问且引用已完全扫描的对象3. 重新标记(Remark) - STW
目的: 修正并发标记期间因用户线程运行导致的标记变动
特点: 需要STW,但时间比初始标记稍长
处理的问题:
- 并发标记期间新分配的对象
- 引用关系发生变化的对象
4. 并发清除(Concurrent Sweep) - 不STW
目的: 清除标记为死亡的对象
特点: 与应用线程并发执行
graph LR
subgraph Full_GC前
Live1[存活对象] --> Dead1[死亡对象]
Dead1 --> Live2[存活对象]
Live2 --> Dead2[死亡对象]
end
subgraph Full_GC后
Live3[存活对象] --> Free1[空闲空间]
Free1 --> Live4[存活对象]
Live4 --> Free2[空闲空间]
end
style Live1 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style Live2 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style Live3 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style Live4 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style Dead1 fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style Dead2 fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style Free1 fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15
style Free2 fill:#74c0fc,stroke:#1971c2,stroke-width:2px,rx:15,ry:15INFO
- CPU资源敏感: 并发阶段会占用CPU,影响应用吞吐量
- 无法处理浮动垃圾: 并发清除时产生的新垃圾需下次GC清理
- 空间碎片: 采用标记-清除算法,会产生内存碎片
Full GC频率参考指标
在面试中,经常被问到"Full GC多久一次算正常"。以下是一个生产环境的参考数据:
应用背景:
- 核心业务应用
- QPS: 5000+
- 机器配置: 4C8G
- 集群规模: 100台
GC指标(整体集群):
| 指标 | 日常情况 | 业务高峰期 |
|---|---|---|
| Full GC频率 | ≤ 1次/周 | 1次/2小时 |
| Full GC耗时 | 400-700ms | < 1秒 |
| Young GC频率 | 100+次/分钟 | 150+次/分钟 |
| Young GC耗时 | ~20ms | ~30ms |
| 堆内存使用率 | < 50% | < 70% |
graph TB
subgraph 健康指标
F1[Full GC频率<br/>日常 ≤ 1次/周]
F2[Full GC耗时<br/>< 1秒]
F3[Young GC耗时<br/>< 50ms]
F4[堆内存使用率<br/>< 70%]
end
subgraph 异常告警
W1[Full GC频率<br/>> 1次/小时]
W2[Full GC耗时<br/>> 5秒]
W3[Young GC耗时<br/>> 100ms]
W4[堆内存使用率<br/>> 85%]
end
style F1 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style F2 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style F3 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style F4 fill:#51cf66,stroke:#2f9e44,stroke-width:2px,rx:15,ry:15
style W1 fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style W2 fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style W3 fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15
style W4 fill:#ff6b6b,stroke:#c92a2a,stroke-width:2px,rx:15,ry:15INFO
- 监控Full GC频率: 日常情况下应 ≤ 1次/周
- 控制GC耗时: Full GC应 < 1秒,Young GC应 < 50ms
- 保持堆使用率: 维持在50%-70%之间
- 分析GC日志: 定期分析GC日志,识别异常模式
GC调优实践
1. 监控GC日志
# 开启GC日志
-XX:+PrintGCDetails
-XX:+PrintGCTimeStamps
-XX:+PrintGCDateStamps
-Xloggc:/path/to/gc.log
# JDK 9+使用统一日志
-Xlog:gc*:file=/path/to/gc.log:time,level,tags2. 调整堆内存比例
# 新生代与老年代比例 (默认1:2)
-XX:NewRatio=2
# Eden与Survivor比例 (默认8:1:1)
-XX:SurvivorRatio=83. 选择合适的垃圾收集器
# G1收集器 (JDK 9+默认)
-XX:+UseG1GC
-XX:MaxGCPauseMillis=200
# ZGC (JDK 11+,低延迟)
-XX:+UseZGC
-XX:ZCollectionInterval=120
# Shenandoah (低延迟)
-XX:+UseShenandoahGC4. 避免频繁Full GC的实践
// ❌ 不推荐: 创建大量大对象
public void processData() {
for (int i = 0; i < 10000; i++) {
byte[] data = new byte[10 * 1024 * 1024]; // 10MB
process(data);
}
}
// ✅ 推荐: 复用对象
public class DataProcessor {
private static final byte[] BUFFER = new byte[10 * 1024 * 1024];
public void processData() {
for (int i = 0; i < 10000; i++) {
Arrays.fill(BUFFER, (byte) 0); // 重置缓冲区
process(BUFFER);
}
}
}INFO
- Young GC触发条件简单: Eden区满
- Full GC触发条件复杂: 老年代空间不足、担保失败、方法区满等
- 理解完整的GC流程对性能调优至关重要
- 生产环境应持续监控GC指标,及时发现并解决问题
更新: 2025-12-04 17:35:25
原文: https://www.yuque.com/u22210564/zoxfmt/doc-05-jvm-02-06