JVM之GC调优原理（九）

1     G1（Garbage-First）收集器

1.1   总体概述

1.2   启动参数

1.3   基本概念

1.3.1 堆区布局

1.3.2 GC周期

1.3.3 GC暂停

1.3.4 收集集合（Collection Set）

1.3.5 记忆集合（Remembered Set）

1.3.6 收集过程

1.4   关键特性

本章节主要论述G1收集器内部的实现原理与实现机制的重要特性。

1.4.1 堆空间分配

由前面的章节论述可知，JVM使用启发式（人工智能模式）的行为分析方法自动优化与调整堆区的大小。同时，G1也支持使用标准化的命令行参数显式地主动地配置堆空间的大小。

例如，-XX:InitialHeapSize命令行参数表示初始化堆区大小，-XX:MaxHeapSize命令行参数表示最大堆区大小，-XX:MinHeapFreeRatio命令行参数表示最小空闲堆区占用的比率，-XX:MaxHeapFreeRatio命令行参数表示最大空闲堆区占用的比率。

一般情况下，G1根据以上的配置参数在重新标记阶段（Remark）与完全收集阶段（Full GC）重新调整与分配堆空间，在这两个阶段的过程中，G1向操作系统申请内存空间或者向操作系统释放内存空间。

堆区扩展操作是在GC暂停时执行，而内存释放操作是在GC暂停之后与应用并发地执行（并发操作可以减少GC暂停时间，但稍微影响了吞吐率）。

• Young-Only阶段年龄代堆区大小的调整：

一般情况下，G1是在每次普通型年轻代收集操作结束时，为下一次可变阶段重新调整年轻代堆空间的大小，可变阶段的原因是其行为具有可变性，也就是G1在分析应用的实际运行数据之后而预测与调整下一阶段的行为。

-XX:MaxGCPauseTimeMillis命令行参数表示的意义是GC最大暂停时间。

-XX:GCPauseIntervalMillis命令行参数表示的意义是两次GC操作之间的时间间隔。

G1是在应用长时间运行过程中，汇总分析每次GC暂停时间，不断调整堆区大小，从而满足以上两个参数设定的目标，此外，这些汇总分析的计算也需要考虑的因素包括，腾挪年轻代堆空间所消耗的时间、被移动复制对象的数量、对象之间引用的连接程度。

G1利用以上两个命令行参数的配置决定JVM最小可使用的可变资源，最大限度地先满足两次GC操作的时间间隔，再满足最大的GC暂停时间。

如果没有配置以上两个命令行参数，G1则使用-XX:G1NewSizePercent命令行参数与-XX:G1MaxNewSizePercent命令行参数去自适应性地调整年轻代的堆区大小直到满足GC暂停时间目标。

此外，如前面章节所述的其他收集器类型，也可以使用-XX:NewSize命令行参数与-XX:MaxNewSize命令行参数去设定年轻代堆区的最小值与最大值。

-XX:G1NewSizePercent命令行参数表示的意义是最小年轻代堆区的空间占比

-XX:G1MaxNewSizePercent命令行参数表示的意义是最大年轻代堆区的空间占比

-XX:NewSize命令行参数表示的意义是最小年轻代堆区的空间大小

-XX:MaxNewSize命令行参数表示的意义是最大年轻代堆区的空间大小

• Space-Reclamation阶段年龄代堆区大小的调整：

由以上章节的论述可知，在Young-Only阶段，G1将最小化年轻代堆空间，但是在Space-Reclamation阶段，G1将最大化可回收的老年代堆空间。

在每次混合式年轻代收集操作开始时，G1将从候选收集集合中选择一组堆区域增加到收集集合中，这些额外增加的老年代堆区域包括三个部分：

• 第一部分，为了保证腾挪老年轻堆区域的进度（GC暂停时间的约束），必须保证第一部分增加的区域数量足够小，这个最小值等于当前候选收集集合中的区域数量除以-XX:G1MixedGCCountTarget命令行参数的值

• 第二部分，G1回收了上一部分的最小数量的区域之后，如果预测还有剩余时间，则继续从候选收集区域中选取区域增加到收集集合中，同时也回收这些区域，直到G1预测到已经使用了剩余时间的80%

• 第三部分，以上两个部分的区域全部被回收之后，如果G1预测还有剩余时间，则递增式地继续增加一些可选的区域到收集集合中，同时也回收这部分的区域，直到GC暂停结束

由以上的分析可知，G1使用预测分析方法与渐进式增加区域方法保证GC的暂停时间，剩余未被回收的区域将在下一次GC操作回收，因此，GC暂停时间是G1考虑的重要因素。

1.4.2 定期收集

如果应用系统在很长一段时间之内都处于空闲的无业务逻辑处理的状态，则没有GC操作发生，因此，JVM为了不浪费内存资源，会定期执行GC操作，该定期GC的时间间隔可以使用XX:G1PeriodicGCInterval命令行参数配置，该参数表示的意义是在该时间段内没有GC操作发生，JVM会主动触发一次GC操作，该定期GC操作也包括前面所述的两个阶段。

(未完待续)