p7付费课程笔记6:CMS GC

目录

前言

工作步骤

缺点

问题


前言

上一章节我们讲了串/并行GC,这一章节说下CMS GC。看前思考一个问题,并行GC与CMS GC的区别在哪里。

什么是CMS收集器

CMS(Concurrent Mark-Sweep)是以牺牲吞吐量为代价来获得最短回收停顿时间的垃圾回收器。对于要求服务器响应速度的应用上,这种垃圾回收器非常适合。

image

XX:+UseConcMarkSweepGC

其对年轻代采用并行 STW 方式的 mark-copy(标记-复制)算法,对老年代主要使用并发 mark-sweep(标记-清除)算法。

CMS GC 的设计目标是避免在老年代垃圾收集时出现长时间的卡顿,主要通过两种手段来达成此目标:

1.不对老年代进行整理,而是使用空闲列表 (freelists) 来管理内存空间的回收。

2.在 mark-and-sweep (标记-清除) 阶段的大部分工作和应用线程一起并发执行。

也就是说,在这些阶段并没有明显的应用线程暂停。但值得注意的是,它仍然和应用线程争抢CPU 。默认情况下,CMS 使用的并发线程数等于 CPU 核心数的 1/4。如果服务器是多核 CPU,并且主要调优目标是降低 GC 停顿导致的系统延迟,那么使用 CMS 是个很明智的选择。进行老年代的并发回收时,可能会伴随着多次年轻代的 minor GC

工作步骤(六个阶段)

1、4阶段是没有并发这俩字的是因为,这两个阶段都需要去做SWT。

  • 阶段 1: Initial Mark (初始标记)
  1. 初始标记阶段是CMS GC的第一阶段,主要目标是标记GC Roots能够直接关联(通过引用链)的对象。
  2. 这个阶段需要“Stop the World”,暂停所有应用线程,只允许GC线程运行。
  3. GC会从GC Roots出发(比如方法区类静态属性引用、虚拟机栈局部变量表引用等),对堆区对象进行追踪,标记被引用的对象。
  4. 标记时,GC会借助卡表记录对象引用发生变化的区域,以提高旧时代的扫描效率。
  5. 只有直接与GC Roots关联的对象才会被标记,降低初始标记的工作量。
  6. 初始标记后,CMS进入下一个并发标记阶段,应用线程和GC线程并发执行。
  7. 起始标记阶段的停止时间比较短,通常小于10ms。

综上,CMS GC的初始标记阶段主要进行GC Roots直接关联对象的标记,这是后续初始化标记的基础,同时记录卡表以优化效率。

总结:这个阶段伴随着 STW 暂停。初始标记的目标是标记所有的根对象,包括根对象直接引用的对象,以及年轻代指向老年代的对象(老年代单独回收) 。

image

  • 阶段 2: Concurrent Mark (并发标记)
  1. 并发标记是在初始标记完成后开始,应用线程和GC线程并发执行。
  2. GC线程从原始标记的对象开始跟踪,标记这些对象直接及间接关联的对象。
  3. 应用线程继续执行,当需要访问一个对象时,如果发现对象进行标记,则暂停应用线程,帮助进行标记。
  4. 标记时仍需要协调对卡表的访问,CAS进行并发控制。
  5. 情人节标记会重复多轮标记-Tracing process,知道对象所有的对象都被标记。
  6. 为控制标记进程,会设置标记周期,如果标记时间超过一定阈值则停止应用线程进行完整GC。
  7. ARM标记可与初始标记标记不同的对象,以完成对整个堆区的标记。
  8. 并发标记阶段可以长期与应用线程任务,直到老年代使用达到一个阈值。

综上,允许CMS GC的并发标记GC与应用程序并发执行,可以将Stop The World时间最小化,降低应用程序延迟。它通过并发控制和多轮标记来逐步进行最后对象标记。

总结:在此阶段,CMS GC 遍历老年代,标记所有的存活对象,从前一阶段“Initial Mark”找到的根对象开始算起。“并发标记”阶段,就是与应用程序同时运行,不用暂停的阶段

image

  • 阶段 3: Concurrent Preclean (并发预清理)
  1. ARM预清理在ARM标记阶段结束后进行。
  2. 其目标是商标在符号标记阶段因引用关系变化而从截至日期起不影响的对象。
  3. CMS会重新扫描卡表(Card Table),精确在符号标记后被修改的区域。
  4. 对于这些区域中的对象,CMS会检查它们的标记位是否仍为1。
  5. 如果对象标记位为1但现在不可达,说明在符号标记后成为了浮动垃圾,CMS会重置其标记位为0。
  6. 同时,应用线程继续并行运行。
  7. 当预清理工作完成后,进入下一阶段停止时间会更短。
  8. ARM预清理可以有效减少下个阶段的Stop The World停顿时间。

综上所述,CMS GC预清理阶段主要是初期阶段产生的浮动垃圾,减少下一阶段的工作量,从而达到大约停顿时间。

总结:此阶段同样是与应用线程并发执行的,不需要停止应用线程。 因为前一阶段[并发标记] 与程序并发运行,可能有一些引用关系已经发生了改变。如果在并发标记过程中引用关系发生了变化,JVM 会通过“Card (卡片)”的方式将发生了改变的区域标记为“脏”区,这就是所谓的 卡片标记 (Card Marking)

image

  • 阶段 4: Final Remark (最终标记)
  1. 最终标记需要“Stop the World”,暂停所有应用线程。
  2. GC线程会进行全堆区的扫描,对标记位为0的对象进行重新标记。
  3. 这一阶段的停顿时间会比初始标记停顿时间长一些。
  4. 最终标记将标记各个阶段因引用关系变化而成为有意义的对象。
  5. 它会修改符号标记和符号预清理阶段出现的不精确标记。
  6. 通过最终标记,CMS可以精确识别出不影响物体。
  7. 最终标记后,不影响对象的标记位仍为0,CMS就可以判断该对象为垃圾。
  8. 然后CMS进入清理阶段回收这些垃圾对象。

综上,最终标记是停止所有应用线程进行的标记,它对并发标记做修改,准确描述标识所有不受影响的对象,为并发清理阶段做准备。

总结:最终标记阶段是此次 GC 事件中的第二次 (也是最后一次)STW停顿。本阶段的目标是完成老年代中所有存活对象的标记。因为之前的预清理阶段是并发执行的,有可能 GC 线程跟不上应用程序的修改速度。所以需要一次 STW 暂停来处理各种复杂的情况。

通常 CMS 会尝试在年轻代尽可能空的情况下执行 Final Remark阶段,以免连续触发多次 STW 事件。

image

  • 阶段 5: Concurrent Sweep (并发清除 )
  1. ARM清除是在最终标记结束后进行的。
  2. 应用线程和GC线程都并发负载。
  3. GC线程按区域(Region)进行分批回收。
  4. 对于标记位为0的对象,意味着不影响,会被清除恢复。
  5. 明确时会检查对象的年龄,如果年龄足够老可以放入老年代。
  6. 被回收的区域会加入空闲列表,用于分配新对象。
  7. 清除和应用线程一起执行,直到所有未触及对象清除完成。
  8. 这避免了清除时的长时间停止。

综上,CMS GC的清理阶段可以避免清理所的停顿时间,同时恢复造成垃圾对象并腾出空间。

总结:此阶段与应用程序并发执行,不需要 STW 停顿。JVM 在此阶段删除不再使用的对象,并回收他们占用的内存空间

image

  • 阶段 6: Concurrent Reset (并发重置)
  1. 初始化是CMS GC收尾阶段后期进行的操作。
  2. 它的目标是重置相关的数据结构,为下一个CMS周期做好准备。
  3. GC线程会重置卡表,将记录的脏卡(Dirty Card)全部清空。
  4. 同时重置CMSBitmap,以便重新记录对象标记信息。
  5. 垃圾收集日志或统计信息在此阶段汇总和记录。
  6. 重置时应用线程仍然可以并发执行。
  7. 当重置完成后,CMS GC进入休眠,等待下一次触发条件出现。
  8. 只有GC线程参与重置工作,应用线程不出行。

综上,CMS GC的重置阶段通过重置相关数据结构,为下一步CMS做好准备。

总结:此阶段与应用程序并发执行,重置 CMS 算法相关的内部数据,为下一次 GC 循环做准备。

image

占比

image

缺点

  • CMS回收器采用的基础算法是Mark-Sweep。所有CMS不会整理、压缩堆空间。这样就会有一个问题:经过CMS收集的堆会产生空间碎片。 CMS不对堆空间整理压缩节约了垃圾回收的停顿时间,但也带来的堆空间的浪费。为了解决堆空间浪费问题,CMS回收器不再采用简单的指针指向一块可用堆空间来为下次对象分配使用。而是把一些未分配的空间汇总成一个列表,当JVM分配对象空间的时候,会搜索这个列表找到足够大的空间来hold住这个对象。
  • 需要更多的CPU资源。从上面的图可以看到,为了让应用程序不停顿,CMS线程和应用程序线程并发执行,这样就需要有更多的CPU,单纯靠线程切换是不靠谱的。并且,重新标记阶段,为了保证STW快速完成,也要用到更多的甚至所有的CPU资源。当然,多核多CPU也是未来的趋势!
  • CMS的另一个缺点是它需要更大的堆空间。因为CMS标记阶段应用程序的线程还是在执行的,那么就会有堆空间继续分配的情况,为了保证在CMS回 收完堆之前还有空间分配给正在运行的应用程序,必须预留一部分空间。也就是说,CMS不会在老年代满的时候才开始收集。相反,它会尝试更早的开始收集,已 避免上面提到的情况:在回收完成之前,堆没有足够空间分配!默认当老年代使用68%的时候,CMS就开始行动了。 – XX:CMSInitiatingOccupancyFraction =n 来设置这个阈值。

总得来说,CMS回收器减少了回收的停顿时间,但是降低了堆空间的利用率。

问题

初始化阶段中查找年轻代对年老代对象的引用,到底是否有使用RSet集合?

这个当时在望山搜了一些资料,发现有的说使用了有的说只在并发阶段使用了。本想去询问下客服,后来发现中国区客服貌似下线了。。。

image

最后终于发现在jdk1.8(实际是JDK 7 u4之后,为了方便记忆)引用了CMSBitmap。这个类似于RSet集合,但不是同一种数据格式。

1.我查看了OpenJDK1.8的hotspot源码在顶级类CMSCollector中,有以下注释:

image

// _initial_mark performs the initial marking of roots and uses
// the new _bitmap to mark live objects.
// _initial_mark执行根和使用的初始标记
//新的_bitmap来标记活动对象。

这说明了初始标记会使用CMSBitMap。

2.Oracle的官方文档中也提到:

image

The first phase of CMS is called initial mark. This phase only marks GC roots (stack variables, etc.) and objects directly reachable from them. Because this phase runs concurrently with the mutator threads, it must be conservative to avoid perturbing the running application. Thus, it uses card marks from the write barrier to identify object graphs that may have changed.
//翻译:CMS的第一阶段称为初始标记。这个阶段只标记GC根(堆栈变量等)和可直接访问的对象。因为这个阶段与mutator线程并发运行,所以它必须是保守的,以避免干扰正在运行的应用程序。因此,它使用写屏障中的卡片标记来识别可能已经更改的对象图。

这里说初始标记会使用write barrier记录的card mark信息,也就是CMSBitMap。

3.各种Books wie Tunning Java Performance也对此有描述综上所述我重新验证了JDK1.8 CMS GC 初始标记使用CMSBitMap的说法来自官方代码文档等多方佐证。请您放心,这一信息是可以靠谱的。如您还有任何疑问,欢迎随时提出,我会继续提供参考依据。

CMSBitmap和RSet集合的区别

  1. 1.用途不同:
  • CMS Bitmap 主要用于记录对象状态,用于判定对象是否可恢复。
  • RSet主要记录对象之间的引用关系,用于优化快速对象。
  1. 2.实现不同:
  • CMS Bitmap通常使用位图来记录对象标记信息。
  • RSet使用Card Table或独立的位图实现。
  1. 3.使用场景不同:
  • CMS Bitmap用于CMS等垃圾收集器中,与收集器紧密相关。
  • RSet更通用、跨代引用和间歇恢复都能禁用。
  1. 4.生命周期不同:
  • CMS位图每次GC会重置。
  • RSet的内容会增量更新,不会重置。
  1. 5.内存占用费用:
  • CMS Bitmap按对象数量分配,占用内存较小。
  • RSet 需要记录详细引用,占用内存相对增加。
  1. 6.数据准确度不同:
  • CMS Bitmap记录单个对象状态,精确度高。
  • RSet基于Card来记录引用变化范围,精确度较低。

官方参考文档:

https://docs.oracle.com/javase/8/docs/technotes/guides/vm/gctuning/cms.html

课程链接:阿里云盘分享

今天就到这里吧,感觉有用的小伙伴可以点个赞,你的支持就是我更新的最大动力!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/26722.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

数据库索引的使用

1、MySQL的基本架构 架构图 左边的client可以看成是客户端,客户端有很多,像我们经常你使用的CMD黑窗口,像我们经常用于学习的WorkBench,像企业经常使用的Navicat工具,它们都是一个客户端。右边的这一大堆都可以看成是…

【C++从0到王者】第十六站:stack和queue的使用

文章目录 一、stack的使用1.stack的介绍2.stack的使用 二、queue的使用1.queue的护额晒2.queue的使用 三、stack和queue相关算法题1.最小栈2.栈的压入、弹出序列3.逆波兰表达式4.两个栈实现一个队列5.用两个队列实现栈6.二叉树的层序遍历1.双队列2.用一个变量levelSize去控制 7…

ECharts 折线图使用相关

一、折线图堆叠设置为不堆叠的方法 官网是这样的,但是不需要这种堆叠形式的如下图: 即:第2条数据值 第1条数据值 第2条数据值 ​​​​​​​ 第3条数据值 第2条数据值 第3条数据值 需要改成实际值展示,如下图: 只…

数据结构之栈和队列---c++

栈和队列的简单介绍 栈 栈是一个“先进后出”结构 队列 入队演示 队列是一种“先进先出”的结构 出队演示 接下来我们开始本次的内容 栈实现队列 分析 1.我们可以老老实实的写一个栈然后将所有的接口函数实现出来,最后再进行实现队列,但是显然…

【雕爷学编程】Arduino动手做(193)---移远 BC20 NB+GNSS模块7

37款传感器与模块的提法,在网络上广泛流传,其实Arduino能够兼容的传感器模块肯定是不止37种的。鉴于本人手头积累了一些传感器和执行器模块,依照实践出真知(一定要动手做)的理念,以学习和交流为目的&#x…

【数学建模学习(9):模拟退火算法】

模拟退火算法(Simulated Annealing, SA)的思想借 鉴于固体的退火原理,当固体的温度很高的时候,内能比 较大,固体的内部粒子处于快速无序运动,当温度慢慢降 低的过程中,固体的内能减小,粒子的慢慢趋于有序&a…

空地协同智能消防系统——无人机、小车协同

1 题目 1.1 任务 设计一个由四旋翼无人机及消防车构成的空地协同智能消防系统。无人机上安装垂直向下的激光笔,用于指示巡逻航迹。巡防区域为40dm48dm。无人机巡逻时可覆盖地面8dm宽度区域。以缩短完成全覆盖巡逻时间为原则,无人机按照规划航线巡逻。发…

2019年09月 Python(一级)真题解析#中国电子学会#全国青少年软件编程等级考试

一、单选题 第1题 关于Python的编程环境,下列的哪个表述是正确的? A:Python的编程环境是图形化的; B:Python只有一种编程环境ipython; C:Python自带的编程环境是IDLE; D:用windows自带的文本编辑器也可以给Python编程?,并且也可以在该编辑器下运行; 正确答案…

自动驾驶传感器选型

360的场景,避免有盲区,长距离 Lidar(激光雷达) 典型特点一圈一圈的,轮廓和很高的位置精度 禾赛的机械雷达 速腾的固态雷达 固态雷达是车规级的,车规级的意思是可以装到量产车上 Radar(毫米…

门面模式(C++)

定义 为子系统中的一组接口提供一个一致(稳定) 的界面,Facade模式定义了一个高层接口,这个接口使得这一子系统更加容易使用(复用)。 应用场景 上述A方案的问题在于组件的客户和组件中各种复杂的子系统有了过多的耦合,随着外部客户程序和各子…

数据结构—哈夫曼树及其应用

5.6哈夫曼树及其应用 5.6.1哈夫曼树的基本概念 路径:从树中一个结点到另一个结点之间的分支构成这两个结点间的路径。 结点的路径长度:两结点间路径上的分支数。 树的路径长度:从树根到每一个结点的路径长度之和。记作 TL 结点数目相同的…

【jvm】jvm整体结构(hotspot)

目录 一、说明二、java代码的执行流程三、jvm的架构模型3.1 基于栈式架构的特点3.2 基于寄存器架构的特点 一、说明 1.hotspot vm是目前市场上高性能虚拟机的代表作之一 2.hotspot采用解释器与即时编译器并存的架构 3.java虚拟机是用来解释运行字节码文件的,入口是字…

混合云环境实现K8S可观测的6大策略

2023年,原生云应用及平台发展迅猛。大量企业都在努力发挥其应用程序的最大潜力,以确保极致的用户体验并推动业务增长。 混合云环境的兴起和容器化技术(如Kubernetes)的采用彻底改变了现代应用程序的开发、部署和扩展方式。 在这个数字舞台上,…

命令模式 Command Pattern 《游戏设计模式》学习笔记

对于一般的按键输入,我们通常这么做,直接if按了什么键,就执行相应的操作 在这里我们是将用户的输入和程序行为硬编码在一起,这是我们很自然就想到的最快的做法。 但是如果这是一个大型游戏,往往我们需要实现一个按键…

研发工程师玩转Kubernetes——hostPath

有别于《研发工程师玩转Kubernetes——emptyDir》一文中介绍的emptyDir,hostPath可以在同一个Node的不同Pod间共享卷。 下面的清单文件利用了Pod亲和性,让Pod集中到一个Node上。 apiVersion: apps/v1 kind: Deployment metadata:name: hostpath-deploy…

中间人攻击

提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 文章目录 前言一、启动 Kali Linux准备 Apache 服务器使用Ettercap插件进行欺骗使用 Wireshark 捕获 Https 流量总结 前言 您可能已经熟悉中间人攻击:攻击者通过…

网络安全(秋招)如何拿到offer?(含面试题)

以下为网络安全各个方向涉及的面试题,星数越多代表问题出现的几率越大,祝各位都能找到满意的工作。 注:本套面试题,已整理成pdf文档,但内容还在持续更新中,因为无论如何都不可能覆盖所有的面试问题&#xf…

C语言预处理命令 #error 学习

#error命令是C/C语言的预处理命令之一,当预处理器预处理到#error命令时将停止编译并输出用户自定义的错误消息。 如下代码输出数字1000,如果加了 #error,构建时不会通过,提示出错如下; 这可能在大型项目中比较有用&am…

8.4一日总结

1.远程仓库的提交方式(免密提交) a.ssh:隧道加密传输协议,一般用来登录远程服务器 b.使用 git clone 仓库名 配置(生成公私钥对) ssh-Keygen [-t rsa -C 邮箱地址] 通过执行上述命令,全程回车,就会在~/.ssh/id_rsa(私钥)和id_rsa.pub(公钥),私钥是必须要保存好的,并不能…

TeeChart NET for MAUI Crack

TeeChart NET for MAUI Crack 跨平台图表-移动或桌面应用程序的核心图表代码相同。 图表集合-60多种图表类型和50多种财务和统计指标。 图表类型 60多种2D和3D图表类型以及多种组合,包括: 标准:线条(条形)、条形、区域、饼图、快线、点(散点…