不可错过的CMS学习笔记

3次阅读

共计 8262 个字符,预计需要花费 21 分钟才能阅读完成。

引子
带着问题去学习一个东西,才会有目标感,我先把一直以来自己对 CMS 的一些疑惑罗列了下,希望这篇学习笔记能解决掉这些疑惑,希望也能对你有所帮助。

CMS 出现的初衷、背景和目的?
CMS 的适用场景?
CMS 的 trade-off 是什么? 优势、劣势和代价
CMS 会回收哪个区域的对象?
CMS 的 GC Roots 包括那些对象?
CMS 的过程?
CMS 和 Full gc 是不是一回事?
CMS 何时触发?
CMS 的日志如何分析?
CMS 的调优如何做?
CMS 扫描那些对象?
CMS 和 CMS collector 的区别?
CMS 的推荐参数设置?
为什么 ParNew 可以和 CMS 配合使用,而 Parallel Scanvenge 不可以?

一、基础知识

CMS 收集器:Mostly-Concurrent 收集器,也称并发标记清除收集器(Concurrent Mark-Sweep GC,CMS 收集器),它管理新生代的方式与 Parallel 收集器和 Serial 收集器相同,而在老年代则是尽可能得并发执行,每个垃圾收集器周期只有 2 次短停顿。
我之前对 CMS 的理解,以为它是针对老年代的收集器。今天查阅了《Java 性能优化权威指南》和《Java 性能权威指南》两本书,确认之前的理解是错误的。
CMS 的初衷和目的:为了消除 Throught 收集器和 Serial 收集器在 Full GC 周期中的长时间停顿。
CMS 的适用场景:如果你的应用需要更快的响应,不希望有长时间的停顿,同时你的 CPU 资源也比较丰富,就适合适用 CMS 收集器。

二、CMS 的过程
CMS 的正常过程
这里我们首先看下 CMS 并发收集周期正常完成的几个状态。

(STW)初始标记:这个阶段是标记从 GcRoots 直接可达的老年代对象、新生代引用的老年代对象,就是下图中灰色的点。这个过程是单线程的(JDK7 之前单线程,JDK8 之后并行,可以通过参数 CMSParallelInitialMarkEnabled 调整)。

并发标记:由上一个阶段标记过的对象,开始 tracing 过程,标记所有可达的对象,这个阶段垃圾回收线程和应用线程同时运行,如上图中的灰色的点。在并发标记过程中,应用线程还在跑,因此会导致有些对象会从新生代晋升到老年代、有些老年代的对象引用会被改变、有些对象会直接分配到老年代,这些受到影响的老年代对象所在的 card 会被标记为 dirty,用于重新标记阶段扫描。这个阶段过程中,老年代对象的 card 被标记为 dirty 的可能原因,就是下图中绿色的线:

预清理:预清理,也是用于标记老年代存活的对象,目的是为了让重新标记阶段的 STW 尽可能短。这个阶段的目标是在并发标记阶段被应用线程影响到的老年代对象,包括:(1)老年代中 card 为 dirty 的对象;(2)幸存区 (from 和 to) 中引用的老年代对象。因此,这个阶段也需要扫描新生代 + 老年代。【PS:会不会扫描 Eden 区的对象,我看源代码猜测是没有,还需要继续求证】

可中断的预清理:这个阶段的目标跟“预清理”阶段相同,也是为了减轻重新标记阶段的工作量。可中断预清理的价值:在进入重新标记阶段之前尽量等到一个 Minor GC,尽量缩短重新标记阶段的停顿时间。另外可中断预清理会在 Eden 达到 50% 的时候开始,这时候离下一次 minor gc 还有半程的时间,这个还有另一个意义,即避免短时间内连着的两个停顿,如下图资料所示:
在预清理步骤后,如果满足下面两个条件,就不会开启可中断的预清理,直接进入重新标记阶段:

Eden 的使用空间大于“CMSScheduleRemarkEdenSizeThreshold”,这个参数的默认值是 2M;
Eden 的使用率大于等于“CMSScheduleRemarkEdenPenetration”,这个参数的默认值是 50%。

如果不满足上面两个条件,则进入可中断的预清理,可中断预清理可能会执行多次,那么退出这个阶段的出口有两个(源码参见下图):

* 设置了 CMSMaxAbortablePrecleanLoops,并且执行的次数超过了这个值,这个参数的默认值是 0;
* CMSMaxAbortablePrecleanTime,执行可中断预清理的时间超过了这个值,这个参数的默认值是 5000 毫秒。![可中断预清理退出的条件](https://upload-images.jianshu.io/upload_images/44770-d97c4aa0fb169f68.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240 “ 可中断预清理退出的条件 ”)

如果是因为这个原因退出,gc 日志打印如下:![可中断预清理由于时间退出](https://upload-images.jianshu.io/upload_images/44770-6bf00ed16fbb9b9a.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240 “ 可中断预清理由于时间退出 ”)

有可能可中断预清理过程中一直没等到 Minor gc,这时候进入重新标记阶段的话,新生代还有很多活着的对象,就回导致 STW 变长,因此 CMS 还提供了 *CMSScavengeBeforeRemark* 参数,可以在进入重新标记之前强制进行依次 Minor gc。

(STW)重新标记:重新扫描堆中的对象,进行可达性分析, 标记活着的对象。这个阶段扫描的目标是:新生代的对象 + Gc Roots + 前面被标记为 dirty 的 card 对应的老年代对象。如果预清理的工作没做好,这一步扫描新生代的时候就会花很多时间,导致这个阶段的停顿时间过长。这个过程是多线程的。
并发清除:用户线程被重新激活,同时将那些未被标记为存活的对象标记为不可达;
并发重置:CMS 内部重置回收器状态,准备进入下一个并发回收周期。

CMS 的异常情况
上面描述的是 CMS 的并发周期正常完成的情况,但是还有几种 CMS 并发周期失败的情况:

并发模式失败(Concurrent mode failure):CMS 的目标就是在回收老年代对象的时候不要停止全部应用线程,在并发周期执行期间,用户的线程依然在运行,如果这时候如果应用线程向老年代请求分配的空间超过预留的空间(担保失败),就回触发 concurrent mode failure,然后 CMS 的并发周期就会被一次 Full GC 代替——停止全部应用进行垃圾收集,并进行空间压缩。如果我们设置了 UseCMSInitiatingOccupancyOnly 和 CMSInitiatingOccupancyFraction 参数,其中 CMSInitiatingOccupancyFraction 的值是 70,那预留空间就是老年代的 30%。
晋升失败:新生代做 minor gc 的时候,需要 CMS 的担保机制确认老年代是否有足够的空间容纳要晋升的对象,担保机制发现不够,则报 concurrent mode failure,如果担保机制判断是够的,但是实际上由于碎片问题导致无法分配,就会报晋升失败。
永久代空间(或 Java8 的元空间)耗尽,默认情况下,CMS 不会对永久代进行收集,一旦永久代空间耗尽,就回触发 Full GC。

三、CMS 的调优

针对停顿时间过长的调优首先需要判断是哪个阶段的停顿导致的,然后再针对具体的原因进行调优。使用 CMS 收集器的 JVM 可能引发停顿的情况有:(1)Minor gc 的停顿;(2)并发周期里初始标记的停顿;(3)并发周期里重新标记的停顿;(4)Serial-Old 收集老年代的停顿;(5)Full GC 的停顿。其中并发模式失败会导致第(4)种情况,晋升失败和永久代空间耗尽会导致第(5)种情况。

针对并发模式失败的调优

想办法增大老年代的空间,增加整个堆的大小,或者减少年轻代的大小

以更高的频率执行后台的回收线程,即提高 CMS 并发周期发生的频率。设置 UseCMSInitiatingOccupancyOnly 和 CMSInitiatingOccupancyFraction 参数,调低 CMSInitiatingOccupancyFraction 的值,但是也不能调得太低,太低了会导致过多的无效的并发周期,会导致消耗 CPU 时间和更多的无效的停顿。通常来讲,这个过程需要几个迭代,但是还是有一定的套路,参见《Java 性能权威指南》中给出的建议,摘抄如下:
> 对特定的应用程序,该标志的更优值可以根据 GC 日志中 CMS 周期首次启动失败时的值得到。具体方法是,在垃圾回收日志中寻找并发模式失效,找到后再反向查找 CMS 周期最近的启动记录,然后根据日志来计算这时候的老年代空间占用值,然后设置一个比该值更小的值。

增多回收线程的个数
CMS 默认的垃圾收集线程数是 *(CPU 个数 + 3)/4*,这个公式的含义是:当 CPU 个数大于 4 个的时候,垃圾回收后台线程至少占用 25% 的 CPU 资源。举个例子:如果 CPU 核数是 1 - 4 个,那么会有 1 个 CPU 用于垃圾收集,如果 CPU 核数是 5 - 8 个,那么久会有 2 个 CPU 用于垃圾收集。

针对永久代的调优如果永久代需要垃圾回收(或元空间扩容),就会触发 Full GC。默认情况下,CMS 不会处理永久代中的垃圾,可以通过开启 CMSPermGenSweepingEnabled 配置来开启永久代中的垃圾回收,开启后会有一组后台线程针对永久代做收集,需要注意的是,触发永久代进行垃圾收集的指标跟触发老年代进行垃圾收集的指标是独立的,老年代的阈值可以通过 CMSInitiatingPermOccupancyFraction 参数设置,这个参数的默认值是 80%。开启对永久代的垃圾收集只是其中的一步,还需要开启另一个参数——CMSClassUnloadingEnabled,使得在垃圾收集的时候可以卸载不用的类。

四、CMS 的 trade-off 是什么?

优势
低延迟的收集器:几乎没有长时间的停顿,应用程序只在 Minor gc 以及后台线程扫描老年代的时候发生极其短暂的停顿。

劣势

更高的 CPU 使用:必须有足够的 CPU 资源用于运行后台的垃圾收集线程,在应用程序线程运行的同时扫描堆的使用情况。【PS:现在服务器的 CPU 资源基本不是问题,这个点可以忽略】
CMS 收集器对老年代收集的时候,不再进行任何压缩和整理的工作,意味着老年代随着应用的运行会变得碎片化;碎片过多会影响大对象的分配,虽然老年代还有很大的剩余空间,但是没有连续的空间来分配大对象,这时候就会触发 Full GC。CMS 提供了两个参数来解决这个问题:(1)UseCMSCompactAtFullCollection,在要进行 Full GC 的时候进行内存碎片整理;(2)CMSFullGCsBeforeCompaction,每隔多少次不压缩的 Full GC 后,执行一次带压缩的 Full GC。
会出现浮动垃圾;在并发清理阶段,用户线程仍然在运行,必须预留出空间给用户线程使用,因此 CMS 比其他回收器需要更大的堆空间。

五、几个问题的解答

为什么 ParNew 可以和 CMS 配合使用,而 Parallel Scanvenge 不可以?答:这个跟 Hotspot VM 的历史有关,Parallel Scanvenge 是不在“分代框架”下开发的,而 ParNew、CMS 都是在分代框架下开发的。
CMS 中 minor gc 和 major gc 是顺序发生的吗?答:不是的,可以交叉发生,即在并发周期执行过程中,是可以发生 Minor gc 的,这个找个 gc 日志就可以观察到。

CMS 的并发收集周期合适触发?由下图可以看出,CMS 并发周期触发的条件有两个:

阈值检查机制:老年代的使用空间达到某个阈值,JVM 的默认值是 92%(jdk1.5 之前是 68%,jdk1.6 之后是 92%),或者可以通过 CMSInitiatingOccupancyFraction 和 UseCMSInitiatingOccupancyOnly 两个参数来设置;这个参数的设置需要看应用场景,设置得太小,会导致 CMS 频繁发生,设置得太大,会导致过多的并发模式失败。例如
动态检查机制:JVM 会根据最近的回收历史,估算下一次老年代被耗尽的时间,快到这个时间的时候就启动一个并发周期。设置 UseCMSInitiatingOccupancyOnly 这个参数可以将这个特性关闭。

CMS 的并发收集周期会扫描哪些对象?会回收哪些对象?答:CMS 的并发周期只会回收老年代的对象,但是在标记老年代的存活对象时,可能有些对象会被年轻代的对象引用,因此需要扫描整个堆的对象。
CMS 的 gc roots 包括哪些对象?答:首先,在 JVM 垃圾收集中 Gc Roots 的概念如何理解(参见 R 大对 GC roots 的概念的解释);第二,CMS 的并发收集周期中,如何判断老年代的对象是活着?我们前面提到了,在 CMS 的并发周期中,仅仅扫描 Gc Roots 直达的对象会有遗漏,还需要扫描新生代的对象。如下图中的蓝色字体所示,CMS 中的年轻代和老年代是分别收集的,因此在判断年轻代的对象存活的时候,需要把老年代当作自己的 GcRoots,这时候并不需要扫描老年代的全部对象,而是使用了 card table 数据结构,如果一个老年代对象引用了年轻代的对象,则 card 中的值会被设置为特殊的数值;反过来判断老年代对象存活的时候,也需要把年轻代当作自己的 Gc Roots,这个过程我们在第三节已经论述过了。

如果我的应用决定使用 CMS 收集器,推荐的 JVM 参数是什么?我自己的应用使用的参数如下,是根据 PerfMa 的 xxfox 生成的,大家也可以使用这个产品调优自己的 JVM 参数:
-Xmx4096M -Xms4096M -Xmn1536M
-XX:MaxMetaspaceSize=512M -XX:MetaspaceSize=512M
-XX:+UseConcMarkSweepGC
-XX:+UseCMSInitiatingOccupancyOnly
-XX:CMSInitiatingOccupancyFraction=70
-XX:+ExplicitGCInvokesConcurrentAndUnloadsClasses
-XX:+CMSClassUnloadingEnabled
-XX:+ParallelRefProcEnabled
-XX:+CMSScavengeBeforeRemark
-XX:ErrorFile=/home/admin/logs/xelephant/hs_err_pid%p.log
-Xloggc:/home/admin/logs/xelephant/gc.log
-XX:HeapDumpPath=/home/admin/logs/xelephant
-XX:+PrintGCDetails
-XX:+PrintGCDateStamps
-XX:+HeapDumpOnOutOfMemoryError

CMS 相关的参数总结(需要注意的是,这里我没有考虑太多 JDK 版本的问题,JDK1.7 和 JDK1.8 这些参数的配置,有些默认值可能不一样,具体使用的时候还需要根据具体的版本来确认怎么设置)
| 编号 | 参数名称 | 解释 |
| — | — | — |
| 1 | UseConcMarkSweepGC | 启用 CMS 收集器 |
| 2 | UseCMSInitiatingOccupancyOnly | 关闭 CMS 的动态检查机制,只通过预设的阈值来判断是否启动并发收集周期 |
| 3 | CMSInitiatingOccupancyFraction | 老年代空间占用到多少的时候启动并发收集周期,跟 UseCMSInitiatingOccupancyOnly 一起使用 |
| 4 | ExplicitGCInvokesConcurrentAndUnloadsClasses | 将 System.gc()触发的 Full GC 转换为一次 CMS 并发收集,并且在这个收集周期中卸载 Perm(Metaspace)区域中不需要的类 |
| 5 | CMSClassUnloadingEnabled | 在 CMS 收集周期中,是否卸载类 |
| 6 | ParallelRefProcEnabled | 是否开启并发引用处理 |
| 7 | CMSScavengeBeforeRemark | 如果开启这个参数,会在进入重新标记阶段之前强制触发一次 minor gc |

参考资料

从实际案例聊聊 Java 应用的 GC 优化
理解 CMS 垃圾回收日志
图解 CMS 垃圾回收机制,你值得拥有
为什么 CMS 虽然是老年代的 gc,但仍要扫描新生代的?
R 大对 GC roots 的概念的解释
Introduce to CMS Collector
《深入理解 Java 虚拟机》
《Java 性能权威指南》
Oracle 的 GC 调优手册
what-is-the-threshold-for-cms-old-gc-to-be-triggered
Frequently Asked Questions about Garbage Collection in the Hotspot Java VirtualMachine
Java SE HotSpot at a Glance
xxfox:PerfMa 的参数调优神器
详解 CMS 垃圾回收机制
ParNew 和 PSYoungGen 和 DefNew 是一个东西么?
Java SE 的内存管理白皮书
Garbage Collection in Elasticsearch and the G1GC
A Heap of Trouble
毕玄的文章:为什么不建议
JVM 源码分析之 SystemGC 完全解读

读者讨论

关于 CMS 收集器的回收范围,下面这张图是有误导的,从官方文档上看来,CMS 收集器包括年轻代和老年代的收集,只不过对年轻代的收集的策略和 ParNew 相同,这个可以从参考资料 16 的第 11 页看到。

concurrent mode failure 和 promotion failed 触发的 Full GC 有啥不同?(这个问题是我、阿飞、蒋晓峰一起讨论的结果)答:concurrent mode failure 触发的 ”Full GC” 不是我们常说的 Full GC——正常的 Full GC 其实是整个 gc 过程包括 ygc 和 cms gc。也就是说,这个问题本身是有问题的,concurrent mode failure 的时候触发的并不是我们常说的 Full GC。然后再去讨论一个遗漏的知识点:CMS gc 的并发周期有两种模式:foreground 和 background。

concurrent mode failure 触发的是 foreground 模式,会暂停整个应用,会将一些并行的阶段省掉做一次老年代收集,行为跟 Serial-Old 的一样,至于在这个过程中是否需要压缩,则需要看三个条件:(1)我们设置了 UseCMSCompactAtFullCollection 和 CMSFullGCsBeforeCompaction,前者设置为 true,后者默认是 0,前者表示是在 Full GC 的时候执行压缩,后者表示是每隔多少个进行压缩,默认是 0 的话就是每次 Full GC 都压缩;(2)用户调用了 System.gc(),而且 DisableExplicitGC 没有开启;(3)young gen 报告接下来如果做增量收集会失败。

promotion failed 触发的是我们常说的的 Full GC,对年轻代和老年代都会回收,并进行整理。

promotion failed 和 concurrent mode failure 的触发原因有啥不同?

promotion failed 是说,担保机制确定老年代是否有足够的空间容纳新来的对象,如果担保机制说有,但是真正分配的时候发现由于碎片导致找不到连续的空间而失败;
concurrent mode failure 是指并发周期还没执行完,用户线程就来请求比预留空间更大的空间了,即后台线程的收集没有赶上应用线程的分配速度。

什么情况下才选择使用 CMS 收集器呢?我之前的观念是:小于 8G 的都用 CMS,大于 8G 的选择 G1。蒋晓峰跟我讨论了下这个观念,提出了一些别的想法,我觉得也有道理,记录在这里:

除了看吞吐量和延时,还需要看具体的应用,比方说 ES,Lucene 和 G1 是不兼容的,因此默认的收集器就是 CMS,具体见可参考资料 17 和 18。
小于 3G 的堆,如果不是对延迟有特别高的需求,不建议使用 CMS,主要是由于 CMS 的几个缺点导致的:(1)并发周期的触发比例不好设置;(2)抢占 CPU 时间;(3)担保判断导致 YGC 变慢;(4)碎片问题,更详细的讨论参见资料 19。

本文作者:杜琪阅读原文
本文为云栖社区原创内容,未经允许不得转载。

正文完
 0