JDK13中G1垃圾回收器如何管理堆内存分区？

Question

在JDK13中，G1垃圾回收器如何通过分区（Region）机制实现堆内存的高效管理？G1将堆划分为多个大小相等的区域（Region），每个区域可动态扮演Eden、Survivor或Old区角色。这种设计打破了传统分代收集的连续空间限制。请问：G1如何根据对象分配与回收情况动态调整各类型Region的数量与角色？又是如何利用Remembered Sets（RSet）和Card Table结构来减少跨Region引用扫描开销，从而提升并发标记与垃圾回收效率的？

Answer 1

G1垃圾回收器在JDK13中的分区机制与高效内存管理深度解析

1. G1垃圾回收器概述与设计哲学

G1（Garbage-First）是JDK 9及以后版本的默认垃圾回收器，在JDK13中已趋于成熟。其核心目标是实现高吞吐量的同时，提供可预测的停顿时间（soft real-time），适用于大堆（large heap）场景。

传统GC如Parallel GC或CMS采用连续的年轻代和老年代空间，而G1则将整个堆划分为多个大小相等的Region（通常为1MB到32MB，由JVM自动决定），实现了非连续的分代管理。

每个Region可以动态扮演以下角色之一：

• Eden Region：用于新对象分配
• Survivor Region：存放幸存下来的年轻代对象
• Old Region：存放长期存活对象
• Huge Region：专门用于存储超过Region容量50%的大对象
• Free Region：空闲区域，可被重新分配用途

这种设计打破了传统GC对连续内存空间的依赖，使得内存分配更加灵活。

2. Region的动态角色分配机制

G1根据运行时的对象分配速率、晋升速度以及回收效率，动态调整各类Region的数量和角色。这一过程由收集集合（Collection Set, CSet）的选择策略驱动。

JVM通过暂停预测模型（Pause Prediction Model）评估每次GC的预期停顿时长，并据此选择最优的CSet——即本次GC将回收的一组Region。

具体流程如下：

1. 应用程序线程分配对象时，优先使用空闲的Eden Region
2. 当Eden Region满时，触发Young GC，存活对象被复制到Survivor或Old Region
3. 经过多次Young GC后仍存活的对象晋升至Old Region
4. 当老年代占用率达到一定阈值（由-XX:InitiatingHeapOccupancyPercent控制，默认45%），启动并发标记周期
5. 并发标记完成后，G1进入混合回收阶段（Mixed GC），同时回收年轻代和部分老年代Region
6. 回收后释放的Region变为Free Region，供后续重新分配

该机制实现了“按需分配、按效回收”的弹性内存管理。

3. Remembered Sets (RSet) 与跨Region引用管理

由于G1的Region是非连续的，对象间可能跨Region引用，若在GC时扫描整个堆查找引用，代价极高。为此，G1引入了Remembered Set（RSet）结构。

RSet记录了从外部Region指向当前Region的所有引用，相当于一个“反向指针索引”。

每个Region维护一个RSet，其底层基于Card Table实现。Card Table将堆划分为固定大小的卡片（Card，通常512字节），标记哪些卡片包含跨Region引用。

当发生跨Region写操作时，JVM通过写屏障（Write Barrier）捕获并更新对应Card的状态，进而更新目标Region的RSet。

结构	作用	数据粒度	更新机制
Card Table	标记脏卡（dirty card）	512字节	写屏障触发
RSet	记录跨Region引用源	Region级	并发线程处理Card更新
Humongous RSet	处理大对象跨区引用	Huge Region	特殊写屏障
Per-Region Bitmap	标记存活对象	对象级	并发标记阶段

4. 并发标记与RSet协同优化GC效率

G1的并发标记周期（Concurrent Marking Cycle）分为多个阶段，其中RSet在最终Remark阶段发挥关键作用。

在Remark之前，G1已通过并发线程完成大部分对象可达性分析。但由于应用线程仍在运行，部分对象引用发生变化。

此时，G1仅需扫描RSet所记录的跨Region引用入口点，而非全堆扫描，极大减少了STW（Stop-The-World）时间。

graph TD A[初始标记 Initial Mark] --> B[根区域扫描 Root Region Scanning] B --> C[并发标记 Concurrent Marking] C --> D[重新标记 Remark] D --> E[清理 Clean Up] E --> F[混合回收 Mixed GC] D -->|利用RSet| G[快速识别跨区引用变化] C -->|写屏障更新| H[Card Table] H --> I[异步构建RSet]

上述流程体现了G1如何通过RSet与Card Table的协同，在保证准确性的同时最小化扫描范围。

5. 实际调优参数与性能观察建议

在实际生产环境中，可通过以下JVM参数优化G1行为：

• -XX:+UseG1GC：显式启用G1（JDK13中默认）
• -XX:MaxGCPauseMillis=200：设置目标最大停顿时间
• -XX:G1HeapRegionSize=16m：手动指定Region大小
• -XX:InitiatingHeapOccupancyPercent=45：触发并发标记的老年代占用率
• -XX:G1ReservePercent=10：保留空闲Region以应对晋升失败
• -XX:+PrintGCDetails：输出详细GC日志，便于分析CSet与RSet活动
• -XX:+UnlockDiagnosticVMOptions -XX:+G1SummarizeRSetStats：定期输出RSet统计信息
• -XX:G1MixedGCCountTarget=8：控制Mixed GC次数，避免过度回收
• -XX:G1OldCSetRegionThreshold=10%：限制每次回收的老年Region比例
• -XX:+G1PrintRegionLivenessInfo：调试用，打印各Region存活数据

结合GC日志中的CSet、Ergonomics、RSet等关键词，可深入分析G1的动态决策过程。