Java各大垃圾回收器详细介绍

概述

• 垃圾收集器没有在规范中进行过多的规定，可以由不同的厂商、不同版本的 JVM 来实现
• 由于 JDK 的版本处于高速迭代的过程，因此 Java 发展至今已经衍生了众多的 GC 版本
• 从不同角度分析垃圾收集器，可以将 GC 分为不同的类型

评估 GC 的性能指标

• 吞吐量：运行用户代码的时间占总运行时间的比例
• 暂停时间：执行垃圾收集时，程序的工作线程被暂停的时间
• 内存占用：Java堆区所占的内存大小
• 这三者共同构成一个“不可能三角”。三者总体的表现会随着技术进步越来越好，一款优秀的收集器通常最多同时满足其中的两项
• 这三项里，暂停时间的重要性日益凸显。因为随着硬件发展，内存占用多些越来越能容忍，硬件性能的提升也有助于降低收集器运行时对应用程序的影响，即提高了吞吐量。而内存的扩大，对延迟反而带来负面效果
• 简单来说，主要抓住两点：吞吐量、暂停时间
• 并发的收集器实现低延迟
• 并行的收集器实现高吞吐量

吞吐量与暂停时间

吞吐量

• 吞吐量就是 CPU 用于运行用户代码的时间与 CPU 总消耗时间的比值，即吞吐量 = 运行用户代码的时间 / (运行用户代码的时间 + 垃圾收集时间)
• 比如：虚拟机总共运行了 100 分钟，垃圾收集花费了 1 分钟，那吞吐量就是 99%
• 这种情况下，应用程序能容忍较高的暂停时间，因此，高吞吐量的应用程序有更长的时间基准，快速响应是不必考虑的
• 吞吐量优先，意味着在单位时间内，STW 的时间最短

暂停时间

• “暂停时间”是指一个时间段内应用程序线程暂停，让 GC 线程执行的状态
• 暂停时间优先，意味着尽可能让单次 STW 的时间最短

两者对比

• 高吞吐量较好因为这会让应用程序的最终用户感觉只有应用程序线程在做“生产性”工作。直觉上，吞吐量越高程序运行越快
• 低暂停时间（低延迟）较好因为从最终用户的角度来看，不管是 GC 还是其他原因导致一个应用被挂起始终是不好的。这取决于应用程序的类型，有时候甚至短暂的 200 毫秒暂停都有可能打断终端用户体验。因此，具有低的较大暂停时间是非常重要的，特别是对于一个交互式应用程序
• 不幸的是，高吞吐量与低暂停时间是一对相互竞争的目标（矛盾）
• 因为如果选择以吞吐量优先，那么必然需要降低内存回收的执行频率，但是这样会导致 GC 需要更长的暂停时间来执行内存回收
• 相反的，如果选择以低延迟优先为原则，那么为了降低每次执行内存回收时的暂停时间，也只能频繁的执行内存回收，但这又引起了年轻代内存的缩减和导致程序吞吐量下降
• 在设计 GC 算法时，我们必须确定我们的目标：一个 GC 算法只能针对两个目标之一（即只专注于较大吞吐量或较小暂停时间），或尝试找到一个二者的折中
• 现在的标准是：在最大吞吐量优先的情况下，降低停顿时间

垃圾回收器的种类

垃圾回收器发展史

• 1999 年 jdk1.3 发布串行方式的 Serial GC，它是第一款 GC。同时也发布了 ParNew 垃圾回收器，它是 Serial 收集器的多线程（并行）版本
• 2002 年 jdk1.4 发布 Parallel GC 和 Concurrent Mark Sweep GC
  Parallel GC 在 jdk1.6 之后成为 Hotspot 默认 GC
• 2012 年 jdk1.7 发布 G1 回收器
• 2017 年 jdk1.9 发布，G1 变成默认的垃圾收集器，以替代 CMS
• 2018 年 3 月 jdk10 发布，G1收集器的并行完整垃圾回收，实现并行性来改善最坏情况下的延迟
• 2018 年 9 月 jdk11 发布，引入 Epsilon 收集器，又被称为“No-Op(无操作)”回收器。同时引入了ZGC：可伸缩的低延迟垃圾回收器 (Experimental 实验性版本)
• 2019 年 3 月 jdk12 发布，增强 G1，自动返回未用堆内存给操作系统。同时引入 Shenandoah GC：低停顿时间的 GC(Experimental实验性版本)
• 2019 年 9 月 jdk13 发布，增强 ZGC，自动返回未用堆内存给操作系统
• 2020 年 3 月，jdk14 发布，删除 CMS 垃圾回收器，扩展 ZGC 在 macOS 和 Windows 上的应用

7 种经典的垃圾回收器：

• 串行回收器：Serial、Serial Old
• 并行回收器：ParNew、Parallel Scavenge、Parallel Old
• 并发回收器：CMS、G1

垃圾回收器的组合关系

• 新生代收集器：Serial、ParNew、Parallel Scavenge
• 老年代收集器：Serial Old、Parallel Old、CMS
• 整堆收集器：G1
  
• ①两个垃圾收集器间有连线，表名他们可以搭配使用
  Serial/Serial Old、Serial/CMS、ParNew/Serial Old、ParNew/CMS、Parallel Scavenge/Serial Old、Parallel Scavenge/Parallel Old、G1
• ②其中 Serial Old 作为 CMS 出现“Concurrent Mode Failure”失败的后备方案
• ③（红色虚线）由于维护和兼容性测试的成本，在 JDK8 时将 Serial/CMS、ParNew/Serial Old 这两个组合声明为废弃，并在 JDK9 中完全移除了这些组合的支持
• ④（绿色虚线）JDK14 中，弃用 Parallel Scavenge/Serial Old 组合
• ⑤（青色虚线）JDK14 中，删除 CMS 垃圾回收器

查看默认的垃圾收集器

• 方式一：XX:+PrintCommandLineFlags：查看命令行相关参数（包含使用的垃圾收集器）
• 方式二：使用命令行指令：jinfo -flag 相关垃圾回收器参数 进程ID

可以看到：

• 1.8 环境下：使用的是 Parallel Scavenge
  
• 1.9 环境下：使用的是 G1
  

垃圾收集器详细介绍

1 Serial 回收器：串行回收

• Serial 收集器是最基本、历史最悠久的垃圾回收器了，jdk1.3 之前回收新生代唯一的选择
• Serial 收集器作为 Hotspot 中 Client 模式下的默认新生代垃圾收集器
• Serial 收集器采用复制算法（如S0与S1区）、串行回收和 STW 机制的方式执行内存回收
• 除了新生代之外，Serial 收集器还提供用于执行老年代垃圾收集的 Serial Old 收集器，Serial Old 收集器同样也采用了串行回收和 STW 机制，只不过内存回收算法使用的是标记-压缩算法
• Serial Old 收集器是 Client 模式下默认的老年代垃圾收集器
• Serial Old 收集器在 Server 模式下主要有两个用途：①与新生代的 Parallel Scavenge配合使用；②作为老年代 CMS 收集器的后备垃圾收集方案
• Serial收集器是一个单线程的收集器，但它的“单线程”的意义并不仅仅说明它只会使用一个 CPU 或一条收集线程去完成垃圾收集工作，更重要的是在它进行垃圾收集时，必须暂停其他所有的工作线程（STW），直到它收集结束
• 优势：简单而高效（与其他收集器的单线程相比），对于限定单个 CPU 的环境来说，Serial 收集器由于没有线程交互的开销，专心做垃圾收集，自然可以获得最高的单线程收集效率。因此，运行在 Client 模式下的虚拟机是个不错的选择
• 在用户的桌面应用场景中，可用内存一般不大，可以在较短时间内完成垃圾收集，只要不频繁发生，那么使用 Serial 收集器时可以接受的
  
  相关参数：
• -XX:+UseSerialGC：指定年轻代和老年代都使用串行收集器，即：新生代使用 Serial GC，老年代使用 Serial Old GC
• 注意：没有 -XX:+UseSerialOldGC 参数

总结：

• 这种垃圾收集器了解即可，现在已经不再使用串行的了，而且在限定单核CPU才可以用。现在都不是单核的了
• 对于交互较强的引用而言，这种垃圾收集器是不能接受的。一般在 JavaWeb 应用程序中是不会采用串行垃圾收集器的

2 ParNew 回收器：并行回收

• 如果说 Serial GC 是新生代中的单线程垃圾收集器，那么 ParNew 收集器则是 Serial 收集器的多线程版本。Par 是 Parallel 的缩写，New 代表只能处理新生代
• ParNew 收集器除了采用并行回收的方式执行内存回收外，两款垃圾收集器之间几乎没有任何区别。ParNew收集器在新生代中同样也是采用复制算法、STW 机制
• ParNew 是很多 JVM 运行在 Server 模式下新生代的默认垃圾收集器
• 对于新生代，回收次数频繁，使用并行方式高效
• 对于老年代，回收次数较少，使用串行方式节省资源（CPU 并行需要切换现场，串行可以省去切换线程的资源），但是消耗的时间将会变长
• 除 Serial 收集器外，目前只有 CMS 能与 ParNew 收集器配合工作

由于 ParNew 收集器是基于并行回收，那么是否可以断定 ParNew 收集器的回收效率在任何场景下都会比 Serial 收集器更高效？

• ParNew 收集器运行在多 CPU 的环境下，由于可以充分利用多 CPU、多核心等物理硬件资源优势，可以更快速地完成垃圾收集、提升程序的吞吐量
• 但是在单个 CPU 的环境下，ParNew 收集器不比 Serial 收集器更高效。虽然 Serial 收集器是基于串行回收，但是由于 CPU 不需要频繁地做任务切换，因此可以有效避免多线程交互过程中产生的一些额外开销

相关参数：

• -XX:+UseParNewGC：指定使用 ParNew 收集器作为垃圾回收器。它表示新生代使用并行收集器，不影响老年代
• -XX:ParallelGCThreads：可限制线程数量，默认开启和 CPU 核数相同的线程数

3 Parallel Scavenge回收器：高吞吐量

• Hotspot 的新生代中除了拥有 ParNew 收集器是基于并行回收的以外，Parallel Scavenge 收集器同样也采用了复制算法、并行回收和 STW 机制
• jdk1.8 的默认垃圾收集器
• 已经有了 ParNew，那么 Parallel 收集器的出现是否多此一举？
  • 和ParNew Scavenge收集器不同，Parallel Scavenge 收集器的目标则是达到一个可控制的吞吐量，它也被称为吞吐量优先的垃圾回收器
  • 自适应调节策略也是 Parallel Scavenge 与 ParNew 的一个重要区别
• 高吞吐量则可以高效率地利用 CPU 时间，尽快完成程序的运算任务，主要适合在后台运算而不需要太多交互的任务。因此，常见在服务器环境中使用。- 例如，那些执行批量处理、订单处理、工资支付、科学计算的应用程序
• Parallel 收集器在 jdk1.6 时提供了用于执行老年代垃圾收集的 Parallel Old 收集器，用来代替之前老年代使用的 Serial Old 收集器
• Parallel Old 收集器采用了标记-压缩算法，但同样也是基于并行回收和STW机制

相关参数：

• -XX:+UseParallelGC：指定新生代使用 Parallel 并行收集器（jdk1.8 默认开启）
• -XX:+UseParallelOldGC：指定老年代使用 Parallel Old 并行收集器（jdk1.8 默认开启）
  • 上面两个参数，任意设置一个，那么另一个同时会被开启（互相激活）
• -XX:ParallelGCThreads：设置新生代并行收集器的线程数。一般地，最好与 CPU 数量相等，以避免过多的线程数影响垃圾收集性能
  • 在默认情况下，当 CPU 数量小于 8 个，ParallelGCThreads 的值等于CPU数量
  • 当 CPU 数量大于 8 个，ParallelGCThreads 的值等于 3 + [(5 * CPU_Count) / 8]
• -XX:MaxGCPauseMillis：设置垃圾收集器最大停顿时间（即 STW 的时间），单位是毫秒，该参数使用需谨慎
  • 为了尽可能地把停顿时间控制在 MaxGCPauseMillis 以内，收集器在工作时会调整 Java 堆大小或者其他一些参数
  • 对于用户来讲，停顿时间越短体验越好，但是在服务器端，我们注重高并发，整体的吞吐量。所以服务器端适合 Parallel 进行控制
• -XX:GCTimeRatio：设置垃圾收集时间占总时间的比例(1 / (N + 1))，用于衡量吞吐量的大小
  • 取值范围(0, 100)。默认值 99，也就是垃圾回收时间不超过 1%
  • 与前一个 -XX:MaxGCPauseMillis 参数有一定的矛盾性，暂停时间越长，Ratio 参数就容易超过设定的比例
• -XX:+UseAdaptiveSizePolicy：设置 Parallel Scavenge 收集器具有自适应调节策略
  • 在这种模式下，新生代的大小、Eden 和 Survivor 的比例、晋升老年代的对象年龄等参数会被自动调整，以达到在堆大小、吞吐量和停顿时间之间的平衡点
  • 在手动调优比较困难的场合，可以直接使用这种自适应的方式，仅指定虚拟机的最大堆、目标的吞吐量（GCTimeRatio）和停顿时间（MaxGCPauseMills），让虚拟机自己完成调优工作

4 CMS 回收器：低延迟

• jdk1.5 时，Hotspot 推出了一款在强交互应用中几乎可认为有划时代意义的垃圾收集器 CMS(Concurrent Mark Sweep)，CMS 是 Hotspot 虚拟机中第一款真正意义上的并发收集器，它第一次实现了让垃圾收集线程与用户线程同时工作（但不是完全并发，仍有少量的 STW）
• CMS 收集器的关注点是尽可能缩短垃圾收集时用户线程的停顿时间。停顿时间越短（低延迟）就越适合与用户交互的程序，良好的响应速度能提升用户体验
• 目前很大一部分的 Java 应用集在互联网站或者 B/S 系统的服务端上，这类应用尤其重视服务的响应速度，希望系统停顿时间最短，以给用户带来较好的体验。CMS 就非常符合这类应用的需求
• CMS的垃圾收集算法采用标记-清除算法，短暂 STW 机制，这意味着每次执行完回收后，由于被执行内存回收的无用对象所占用的内存空间极有可能是不连续的一些内存块，不可避免地将会产生一些内存碎片。那么 CMS 在为新对象分配内存空间时，将无法使用指针碰撞技术，而只能选择空闲列表执行内存分配
• 不幸的是，CMS 作为老年代的收集器，却无法与新生代收集器 Parallel Scavenge 配合工作，所以在 jdk1.5 中使用 CMS 来收集老年代的时候，新生代只能选择 ParNew 或者 Serial 收集器中的一个
• 在G1出现之前，CMS使用还是非常广泛的。一直到今天，仍然有很多系统使用 CMS

工作原理

• ①初始标记：在这个阶段中，程序中所有的工作线程都将会因为 STW 机制而出现短暂的暂停，这个阶段的主要任务仅仅只是标记出 GC Roots 能直接关联到的对象。一旦标记完成之后就会恢复之前被暂停的所有应用线程。由于直接关联对象比较小，所以这里的速度非常快
• ②并发标记：从 GC Roots 的直接关联对象开始遍历整个对象引用链的过程，这个过程耗时较长但是不需要停顿用户线程，可以与垃圾收集线程一起并发执行，此阶段不会 STW
• ③重新标记：由于在并发标记阶段中，程序的工作线程会和垃圾收集线程同时运行或者交叉运行，因此为了修正并发标记期间，因用户程序继续运作而导致标记产生变动的那一部分对象的标记记录，这个阶段的 STW 停顿时间通常会比初始标记阶段稍长一些，但也远比并发标记阶段的时间短
• ④并发清除：此阶段清理删除标记阶段判断的已经死亡的对象，释放内存空间。由于不需要移动存活对象，所以这个阶段也是可以与用户线程同时并发的

查看 GC 日志：

• 尽管 CMS 收集器采用的是并发回收（非独占式），但是在其初始化标记和再次标记（重新标记）这两个阶段中仍然需要执行 STW 机制暂停程序中的工作线程，不过暂停时间并不会太长，因此可以说明目前所有的垃圾收集器都做不到完全不需要 STW，只是尽可能地缩短暂停时间
• 由于最耗费时间的并发标记与并发清除阶段都不需要暂停工作，所以整体的回收是低停顿的
• 另外，由于在垃圾收集阶段用户线程没有中断，所以在 CMS 回收过程中，还应该确保应用程序用户线程有足够的内存可用。因此，CMS 收集器不能像其他收集器那样等到老年代几乎完全被填满了再进行收集，而是当堆内存使用率达到某一阈值时，便开始进行回收，以确保应用程序在 CMS 工作过程中依然有足够的空间支持应用程序运行。如果 CMS 运行期间预留的内存无法满足程序需要（即并发时用户线程产生的垃圾过多），就会出现一次“Concurrent Mode Failure”失败，这时虚拟机将启动后备预案：临时启用 Serial Old 收集器来重新进行老年代的垃圾收集，这样停顿时间就很长了
• 既然标记-清除算法会产生内存碎片，那为什么不换成标记-压缩算法来实现 CMS 呢？
  • 进行并发清除时，用户线程仍然在执行，如果使用了标记压缩算法，对象会处于移动状态，引用不断被改变，这时候用户线程就没办法继续执行了。如果执意要使用标记-压缩算法，那么只能 STW

CMS 的弊端

• ①会产生内存碎片，导致并发清除后，用户线程可用的空间不足。在无法分配大对象的情况下，不得不提前触发 Full GC。比如此时需要存放一个大对象，原本内部空间是足够的，但恰恰因为内存不规整，导致没有足够大的连续空间来存放大对象，所以会提前触发 Full GC
• ②对CPU资源非常敏感。在并发阶段，它虽然不会导致用户停顿，但是会因为占用了一部分线程而导致应用程序变慢，总吞吐量会降低。原先使用 4 个线程都来执行应用程序，但此时需要分配1个线程来执行回收，所以会导致应用程序运行变慢
• ③无法处理浮动垃圾。可能出现“Concurrent Mode Failure”失败而导致另一次 Full GC 的产生。在并发标记阶段由于用户线程和垃圾收集线程同时运行或者交叉运行的，那么在并发标记阶段如果产生新的垃圾对象，CMS 将无法对这些垃圾对象（浮动垃圾）进行标记，最终会导致这些新产生的垃圾对象没有被及时回收，从而只能在下一次执行 GC 时释放这些之前未被回收的内存空间

相关参数

• -XX:+UseConcMarkSweepGC：指定使用 CMS 收集器执行内存回收任务
  开启该参数后会自动将 -XX:+UseParNewGC 打开，即采用 ParNew （新生代使用）+ CMS（老年代使用）+ Serial Old 的组合
• -XX:CMSInitiatingOccupanyFraction：设置堆内存使用率的阈值，一旦达到阈值，则开始回收
  • jdk5 及之前默认值为 68，jdk1.6 及以上默认值为 92
  • 如果内存增长缓慢，则可以设置一个稍大的值，大的阈值可以有效降低 CMS 的触发频率，减少老年代回收的次数可以较为明显地改善应用程序性能。反之，如果应用程序内存使用率增长很快，则应降低这个阈值，以避免频繁触发老年代串行Serial Old收集器。因此通过该选项便可以有效降低 Full GC 的执行次数
• -XX:+UseCMSCompactAtFullCollection：用于指定在执行完 GC 后对内存空间进行压缩整理，以此避免内存碎片的产生。不过由于内存压缩整理过程无法并发执行，所带来的问题就是停顿时间变长了
• -XX:CMSFullGCsBeforeCompaction：设置在执行多少次 Full GC 后对内存空间进行压缩整理
• -XX:ParallelCMSThreads：设置 CMS 的线程数量
  • 默认线程数是 (ParallelGCThreads + 3) / 4
  • ParallelGCThreads 是新生代并行收集器的线程数。当CPU资源比较紧张时，受到 CMS 收集器线程的影响，应用程序的性能在垃圾回收阶段可能会非常糟糕

后续jdk版本的变化

• jdk9 中，CMS 被标记为 Deprecate 了，表示即将弃用
• jdk14 中，已完全删除了 CMS

5 G1 回收器：区域分代化

• 既然我们已经有了前面几个强大的 GC，为什么还要发布 G1？
  • 原因就在于应用程序所应对的业务越来越庞大、复杂，用户越来越多，没有 GC 就不能保证应用程序正常进行，而经常造成 STW 的 GC 又跟不上实际的需求，所以才会不断地尝试对 GC 进行优化。G1 垃圾回收器是在 jdk7 之后引入的，是当今收集器技术发展的最前沿成果之一
  • 与此同时，为了适应现在不断扩大的内存和不断增加的处理器数量，进一步降低暂停时间，同时兼顾良好的吞吐量，G1 便产生了
• 官方给 G1 设定的目标是在延迟可控的情况下尽可能获得高的吞吐量，所以才担当起“全功能收集器”的重任与期望
• 为什么名字叫做 Garbage First(G1)呢？
  • 因为 G1 是一个并行回收器，它把堆内存分割为很多不相关的区域(Region)(物理上不连续)。使用不同的 Region 来表示 Eden、Survivor0、Survivor1、老年代等
  • G1 有计划地避免在整个 Java 堆中进行全区域的垃圾收集。G1 跟踪各个 Region 里面的垃圾堆积的价值大小（回收所获得的空间大小以及回收所需时间的经验值），在后台维护一个优先列表，每次根据允许的收集时间，优先回收价值最大的 Region
  • 由于这种方式的侧重点在于回收垃圾最大量的区间 Region，所以我们给 G1 一个名字：垃圾优先（Garbage First）
• G1 是一款面向服务端应用的垃圾收集器，主要针对配备多核 CPU 及大容量内存的机器（内存越大越占优势），以极高概率满足 GC 停顿时间的同时，还兼具高吞吐量的性能特征
• jdk1.7 正式启用 G1，溢出了 Experimental 实验性的标识，是 jdk9 以后的默认垃圾回收器，取代了 CMS 回收器以及 Parallel + Parallel Old 组合。被 Oracle 官方称为“全功能的垃圾收集器”
• 与此同时，CMS 已经在 jdk9 中被标记为废弃 deprecated。在 jdk8 中如果想使用 G1，使用 -XX:+UseG1GC 参数来启用
  

G1 回收器的特点（优势）

①并行与并发

• 并行性：G1 在回收期间，可以有多个 GC 线程同时工作，有效利用多核计算能力。此时用户线程 STW（并行必须 STW）
• 并发性：G1 拥有与应用程序交替执行的能力，部分工作可以和应用程序同时执行，因此，一般来说，不会在整个回收阶段发生完全阻塞应用程序的情况

②分代收集

• 从分代上看，G1 依然属于分代型垃圾回收器，它会区分新生代与老年代，新生代依然有 Eden 区和 Survivor 区。但从堆的结构上看，它不要求整个 Eden 区、新生代或老年代都是连续的，也不再坚持固定大小和固定数量
• 将堆空间分为若干区域（Region），这些区域中包含了逻辑上的新生代和老年代
• 和之前的各类回收器不同，它同时兼顾新生代和老年代。对比其他回收器，要么工作在新生代，要么工作在老年代，没有同时兼顾的回收器

③空间整合

• CMS：标记-清除算法、内存碎片、若干次 GC 后进行一次碎片整理
• G1 将内存划分为一个个的 region，内存的回收是以 region 为基本单位的。Region 之间是复制算法，但整体上实际可看作是标记-压缩算法，两种算法都可以避免内存碎片（一个 region 中的内存是规整的）。这种特性有利于程序长时间运行，分配大对象时不会因为无法找到连续内存空间而提前触发下一次 GC 。尤其是当 Java 堆非常大的时候，G1 的优势更加明显

④可预测的停顿时间模型

• 这是 G1 相对于 CMS 的另一大优势，G1 除了追求低停顿外，还能建立可预测的停顿时间模型，能让使用者明确指定在一个长度为 M 毫秒的时间片段内，消耗在垃圾收集上的时间不得超过 N 毫秒
• 由于分区的原因，G1 可以只选取部分区域进行垃圾回收，这样缩小了回收的范围，因此对于全局停顿情况的发生也能得到较好的控制
• G1 跟踪各个 Region 里面的垃圾堆积的价值大小（回收所获得的空间大小以及回收所需时间的经验值），在后台维护一个优先列表，每次根据允许的收集时间，优先回收价值最大的 Region。保证了 G1 收集器在有限的时间内可以获取尽可能高的收集效率
• 相比于 CMS，G1 未必能做到 CMS 在最好情况下的延时停顿，但是比 CMS 的最差情况要好得多

G1 回收器的缺点

• 相较于 CMS，G1 还不具备全方位、压倒性优势。比如在用户程序运行过程中，G1 无论是为了垃圾收集产生的内存占用还是程序运行时的额外执行负载都要比 CMS 要高
• 从经验上来说，在小内存应用上 CMS 的表现大概率会优于 G1，而 G1 在大内存应用上则发挥其优势。平衡点在 6 ~ 8GB 之间

相关参数

• -XX:+UseG1GC：指定使用 G1 收集器
• -XX:G1HeapRegionSize：设置每个 Region 的大小。值是 2 的次幂，范围是 1MB ~ 32MB 之间，目标是根据最小的 Java 堆大小划分出 2048 个区域。默认是堆内存的 1/2000
• -XX:MaxGCPauseMillis：设置期望达到的最大 GC 停顿时间指标（JVM 会尽力实现，但不保证达到）。默认值是 200 ms
• -XX:ParallelGCThread：设置并行时出现 STW 的 GC 线程数的值，最多设置为 8
• -XX:ConcGCThreads：设置并发标记的线程数，将 n 设置为并行垃圾回收线程数（ParallelGCThreads）的 1 / 4 左右
• -XX:InitiatingHeapOccupancyPercent：设置触发并发 GC 周期的 Java 堆占用率阈值。超过比值，就触发 GC。默认值是 45
• G1 的设计原则就是简化 JVM 性能调优，开发人员只需要简单的三步即可完成调优：
  • 第一步：开启 G1 垃圾收集器
  • 第二步：设置堆的最大内存
  • 第三步：设置最大的停顿时间
• G1 中提供了三种垃圾回收模式：YoungGC (Minor GC)、Mixed GC 和 Full GC，在不同的条件下触发

G1 回收器的适用场景

• 面向服务端应用，针对具有大内存、多处理器的机器（在普通大小的堆里表现并不出色）

• 最主要的应用是需要低 GC 延迟，并具有大堆的应用程序提供解决方案

• 如：在堆大小 6GB 或更大时，可预测的暂停时间可以低于 0.5 秒；G1 通过每次只清理一部分而不是全部的 Region 的增量式清理来保证每次 GC 停顿时间不会过长

• 用来替换掉 jdk1.5 中的 CMS 回收器，在下面的情况时，使用 G1 可能要比 CMS 好：

  • 超过 50% 的 Java 堆被活动数据占用
  • 对象分配频率或年代提升频率变化很大
  • GC 停顿时间过长（长于 0.5 ~ 1 秒）

• Hotspot 垃圾收集器里，除了 G1 外，其他的垃圾收集器使用内置的 JVM 线程执行 GC 的多线程操作。而 G1 可以采用应用线程承担后台运行的 GC 工作，即当 JVM 的 GC 线程处理速度慢时，系统会调用应用程序线程帮助加速垃圾回收线程

• 使用 G1 收集器时，它将整个 Java 堆划分成 2048 个大小相同的独立 region 块，每个 region 块大小根据堆空间的实际大小而定，整体被控制在 1MB ~ 32MB 之间，且为 2 的 N 次幂，即 1MB, 2MB, 4MB, 8MB, 16MB, 32MB。所有的 region 大小相同，且在 JVM 生命周期内不会被改变

• 虽然还保留有新生代和老年代的概念，但新生代和老年代不再是物理隔离的了，他们都是一部分不连续的 region 的集合。通过 region 的动态分配方式实现逻辑上的连续

下图是大致的 G1 回收器结构

• 一个 region 有可能属于 Eden，Survivor 或者 Old 区域，但是一个 region 只能属于一个角色
• G1 垃圾收集器还增加了一种新的内存区域，叫做 Humongous 内存区域。如图中的 H 块，主要用于存储大对象，如果超过 1.5 个 region，则放到 H 中
• 设置 H 块的原因：对于堆中的大对象，默认直接会被分配到老年代，但是如果它是一个短期存在的大对象，就会对垃圾收集器造成负面影响。为了解决这个问题，G1 划分了 Humongous 区，它用来专门存放大对象。如果一个 H 区装不下一个大对象，那么 G1 会使用连续的 H 区来存储。为了能找到连续的 H 区，有时候不得不启动 Full GC。G1 的大多数行为都把 H 区作为老年代的一部分来看待

G1 回收器回收过程

G1的垃圾回收过程主要包括如下三个环节：

• ①新生代 GC（Young GC）
• ②老年代并发标记过程（Concurrent Marking）
• ③混合回收（Mixed GC）
• ④Full GC 如果需要，单线程、独占式和高强度的 Full GC 还是存在的，它针对 GC 的评估失败提供了一种失败保护机制，即强力回收
  
• ①应用程序分配内存，当新生代的 Eden 区用尽时开始新生代回收过程：G1 的新生代收集阶段是一个并行的独占式收集器。当新生代回收期，G1 暂停所有应用程序线程 STW，启动多线程执行新生代回收。然后从新生代区移动存活对象到 Survivor 区或者老年代，也有可能是两个区都会涉及
• ②当堆内存使用达到一定值（默认 45%），开始老年代并发标记过程
• ③标记完成马上开始混合回收过程。对于一个混合回收期，G1 从老年区移动存活对象到空闲区间，这些空闲区间也就成为了老年代的一部分。和新生代不同，老年代的 G1 回收器和其他 GC 不同，G1 的老年代回收器不需要整个老年代被回收，一次只需要扫描/回收一小部分老年代的 region 就可以了。同时，这个老年代的 region 是和新生代一起被回收的

①新生代 GC（Young GC）

• JVM 启动时，G1 先准备好 Eden 区，程序在运行过程中不断创建对象到 Eden 区，当 Eden 空间耗尽时，G1 会启动一次新生代垃圾回收过程
• 新生代回收只会回收 Eden 区和 Survivor 区
• YGC 时，首先 G1 停止应用程序的执行 STW，G1 创建回收集，回收集是指需要被回收的内存分段的集合，新生代回收过程包含新生代 Eden 区和 Survivor 区所有的内存分段
  

具体过程如下：

• 1)扫描根 GC Roots：根是指 static 变量指向的对象、正在执行的方法调用链条上的局部变量等，以及根引用连同 RSet 记录的外部引用作为扫描存活对象的入口（新生代回收必须考虑 RSet）

• 2)更新 RSet：处理 dirty card queue 中的 card，更新 RSet。此阶段完成后，RSet 可以准确的反映老年代对新生代的内存分段中对象的引用（dirty card queue：对于应用程序的引用赋值语句 object1.field = object2，JVM 会在之前和之后执行特殊的操作以在 dirty card queue 中入队一个保存了对象引用信息的 card，在新生代回收的时候，G1 会对 dirty card queue 中所有的 card 进行处理，以更新 RSet，保证 RSet 实时准确地反映引用关系。那为什么不在引用赋值语句的时候直接更新 RSet 呢？这是为了性能的需要，RSet 的处理需要线程同步，开销会很大，使用队列性能会好很多）

  • RSet 是什么下面会讲

• 3)处理 RSet：识别被老年代对象指向的 Eden 中的对象，这些被指向的 Eden 中的对象被认为是存活对象

• 4)复制对象（复制算法）：此阶段，对象树被遍历，Eden 区内存段中存活的对象会被复制到 Survivor 区中空的内存分段，Survivor 区内存段中存活的对象如果年龄未达阈值，年龄会 +1，达到阈值会被复制到 Old 区中空的内存分段。如果 Survivor 空间不够，Eden空间的部分数据会直接晋升到老年代区域

• 5)处理引用：处理 Soft、Weak、Phantom、Final、JNI Weak 等引用。最终 Eden 空间的数据为空，GC 停止工作，而目标内存中的对象都是连续存储的，没有碎片，所以复制过程可以达到内存整理的效果，减少碎片（这里说的没有碎片，指的是一个 region 中没有碎片，而不是整个堆）

②老年代并发标记过程（与 CMS 工作流程类似）

• 1)初始标记阶段：标记从根节点直接可达的对象，是 STW 的，并且会触发一次新生代 GC
• 2)根区域扫描：G1 扫描 Survivor 区直接可达的老年代区域对象，并标记被引用的对象，这一过程必须在 Young GC 之前完成（因为 YGC 会对 Survivor 区进行变动，会导致引用变化）
• 3)并发标记：在整个堆中进行并发标记（和应用程序并发执行），此过程可能被 Young GC 中断。在并发标记阶段，若发现区域对象中的所有对象都是垃圾，那这个区域会被立即回收。同时，并发标记过程中，会计算每个区域对象的活性（区域中存活对象的比例）
• 4)再次标记：由于应用程序持续进行，需要修正上一次的标记结果，是 STW 的。G1 中采用了比 CMS 更快的初始快照算法 snapshot at the beginning (SATB)
• 5)独占清理：计算各个区域的存活对象和 GC 回收比例，并进行排序，是 STW 的，识别可以混合回收的区域，为下一阶段做铺垫。这个阶段并不会实际上去做垃圾的收集
• 6)并发清理阶段：识别并清理完全空闲的区域

③混合回收

• 当越来越多的对象晋升到老年代 region 时，为了避免堆内存被耗尽，虚拟机会触发一个混合的垃圾收集器，即 Mixed GC，该算法并不是一个 Old GC，除了回收整个 Young region，还会回收一部分 Old region。这里需要注意：是一部分老年代，而不是全部老年代（在指定的暂停时间内，优先回收存活率低的 region）。可以选择那些 Old region 进行收集，从而可以对垃圾回收的耗时时间进行控制。也要注意的是 Mixed GC 并不是 Full GC
• 并发标记结束后，老年代中百分百为垃圾的内存分段被回收了，部分为垃圾的内存分段被计算了出来。默认情况下，这些老年代的内存分段会分8次（可以通过 -XX:G1MixedGCCountTarget 设置）被回收
• 混合回收的回收集包括 1 / 8 的老年代 region、Eden 区 region、Survivor 区 region。混合回收的算法和新生代回收算法完全一致，只是回收集多了老年代的内存分段
• 一个分段就是一个 Region
• 由于老年代的内存分段默认分 8 次回收，G1 会优先回收垃圾多的内存分段。垃圾占内存分段比例越高的，越先被回收。并且有一个阈值会决定内存分段是否被回收，-XX:G1MixedGCLiveThresholdPercent，默认为 65%，意思是垃圾占内存分段比例要达到 65% 才会被回收。如果垃圾占比太低，意味着存活的对象占比高，如果需要对该 region 回收，在复制时会花费更多的时间
• 混合回收并不一定要进行 8 次。有一个阈值 -XX:G1HeapWastePercent，默认值为 10%，意思是允许整个堆内存中有 10% 的空间被浪费，意味着如果发现可以回收的垃圾占堆内存的比例低于 10%，则不再进行混合回收，因为 GC 会花费很多时间但是会收到的内存却很少

④Full GC

• G1 的初衷就是要避免 Full GC 的出现。但是如果上述方式不能正常工作，G1 会停止应用程序 STW，使用单线程的内存回收算法进行垃圾回收，性能会很差，应用程序停顿时间也会很长
• 要避免 Full GC 的发生，一旦发生需要进行调整。什么时候会发生 Full GC 呢？比如堆内存太小，当 G1 在复制存活对象的时候没有空的内存分段可用，则会回退到 Full GC，这种情况可以通过增大内存解决
• 导致 G1 Full GC 的原因有很多：回收的时候没有足够的 to-space 来存放需要移动的存活对象；并发处理（如并发标记阶段）过程完成之前空间耗尽；暂停时间设置太小，来不及清理用户线程产生的垃圾

G1回收器的优化建议：

• 年轻代大小尽量不要手动设置，固定年轻代的大小会覆盖暂停时间目标
• 暂停时间的设置不要太苛刻，G1 的吞吐量目标是 90% 的应用程序时间和 10% 的垃圾回收时间，评估 G1 的吞吐量时，暂停时间如果太短，将会承受更多的垃圾回收开销，而这些会直接影响到吞吐量。
• 从 Oracle 官方透露出来的信息可知，回收阶段（不是标记阶段）其实原本也有想过设计与用户程序一起并发执行，达到低延迟的目标，但这件事情做起来比较复杂，考虑到 G1 只是回收一部分 region，停顿时间是用户可控制的，所以并不迫切去实现并发性，而选择把这个特性放到了 G1 之后出现的低延迟垃圾收集器 ZGC 中。另外，还考虑到 G1 不仅仅面向低延迟，停顿用户线程能够最大幅度提高垃圾收集效率，为了保证吞吐量所以才选择了完全暂停用户线程的实现方案（即非并发）

垃圾回收器总结

GC 日志分析

常用参数：

• -XX:+PrintGC：输出GC日志
• -XX:+PrintGCDetails：输出GC详细日志
• -XX:+PrintGCTimeStamps：输出GC的时间戳（以基准时间的形式）
• -XX:+PrintGCDateStamps：输出GC的时间戳（以日期的形式）
• -XX:+PrintHeapAtGC：在进行GC的前后打印出堆的信息
• -Xloggc:./logs/gc.log：日志文件的输出路径
  

Shenandoah GC

• Shenandoah 无疑是众多 GC 中最孤独的一个。是第一款不由 Oracle 公司团队领导开发的 Hotspot 垃圾收集器，不可避免的受到官方的排挤。比如号称 Open jdk 和 Oracle jdk 没有区别的 Oracle 公司仍拒绝在 Oracle jdk12 中支持 Shenandoah GC
• Shenandoah 垃圾回收器最初由 RedHat 进行的一项垃圾收集研究项目 Pauseless GC 的实现，旨在针对 JVM 上的内存回收实现低停顿的需求。在 2014 年贡献给 Open jdk
• RedHat 研发 Shenandoah 团队对外宣称，Shenandoah 垃圾回收器的暂停时间与堆大小无关，这意味着无论将堆设置为 200MB 还是 200GB，99.9% 的目标都可以把垃圾收集的停顿时间限制在 10ms 以内，不过实际使用性能将取决于实际工作堆的大小和工作负载
  
• 这是 RedHat 在 2016 发表的论文数据，测试内容是使用 ES 对 200GB 的维基百科数据进行索引。从结果看
  • 停顿时间比其他几款收集器确实有了质的飞跃，但也未能实现最大停顿时间控制在 10ms 以内
  • 而吞吐量方面出现了明显的下降，总运行时间是所有测试收集器里最长的
• 总结：优点是低延迟；缺点是高运行负担下的吞吐量下降

ZGC（令人震惊、革命性的）

• ZGC 与 Shenandoah 目标高度相似，在尽可能对吞吐量影响不大的前提下，实现在任意堆内存大小下都可以把垃圾收集的停顿时间限制在 10ms 以内的低延迟
• 《深入理解 Java 虚拟机》一书中这样定义 ZGC：ZGC 收集器是一款基于 Region 内存布局的，暂时不设分代的，使用了读屏障、染色指针和内存多重映射等技术来实现可并发的标记-压缩算法的，以低延迟为首要目标的一款垃圾收集器
• ZGC 的工作过程可以分为 4 个阶段：并发标记—并发预备重分配—并发重分配—并发重映射
• ZGC 几乎在所有地方并发执行的，除了初始标记的是 STW 的，所以停顿时间几乎就耗费在初始标记上，这部分的实际时间是非常少的