G1 (Garbage-First) 垃圾收集器详解

G1 是 Java 虚拟机 (JVM) 中一款革命性的垃圾收集器，它的设计目标是为了替代 CMS 收集器，并解决其在延迟和内存碎片方面的问题。G1 在 JDK 7u4 版本中首次作为实验功能引入，并在 JDK 9 中成为默认的垃圾收集器，这足见其重要性。

1. G1 的设计目标与核心思想

在 G1 之前，所有的收集器（如 Serial, Parallel, CMS）的垃圾收集范围都是整个新生代或者整个老年代，这会导致 ​Stop-The-World (STW)​​ 停顿时间与堆内存大小直接相关。堆越大，Full GC 的停顿时间就越长。

G1 的核心思想是：​将连续的堆内存空间划分为多个大小相等的独立区域 (Region)​，并跟踪这些区域里面的垃圾堆积程度。在后台维护一个优先级列表，每次根据允许的收集停顿时间，​优先回收垃圾最多 (Garbage-First) 的区域。

它的设计目标是在延迟可控的情况下​（尽可能缩短 STW 停顿时间），实现较高的吞吐量。

• ​面向服务端应用​：针对多核处理器、大内存的机器。

• ​高概率满足停顿时间目标​：用户可以设置一个期望的停顿时间（如 -XX:MaxGCPauseMillis=200），G1 会尽力在这个时间内完成垃圾回收。

• ​整体采用标记-整理 (Mark-Compact) 算法，局部采用复制算法​：这意味着它从整体上能有效避免内存碎片问题。

2. 核心概念与内存结构

Region：化整为零

G1 不再坚持传统的新生代、老年代物理隔离，而是将整个 Java 堆划分为 ​2048 个（默认）大小相等的独立 Region。每个 Region 的大小可以通过 -XX:G1HeapRegionSize设置，范围从 1M 到 32M，且必须是 2 的幂。

Region 的类型并非固定的，但一个 Region 在某一时刻只会属于一种角色：

• ​Eden Regions (伊甸园区)​​：存放新创建的对象。

• ​Survivor Regions (幸存区)​​：存放上次 GC 后存活下来的对象。

• ​Old Regions (老年代区)​​：存放存活时间足够长的对象。