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

课程链接:阿里云盘分享

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

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

经典CNN(三):DenseNet算法实战与解析

🍨 本文为🔗365天深度学习训练营中的学习记录博客🍖 原作者:K同学啊|接辅导、项目定制 1 前言 在计算机视觉领域,卷积神经网络(CNN)已经成为最主流的方法,比如GoogleNet,…

替换开源LDAP,西井科技用宁盾目录统一身份,为业务敏捷提供支撑

客户介绍 上海西井科技股份有限公司成立于2015年,是一家深耕于大物流领域的人工智能公司,旗下无人驾驶卡车品牌Q-Truck开创了全球全时无人驾驶新能源商用车的先河,迄今为止已为全球16个国家和地区,120余家客户打造智能化升级体验…

前端构建(打包)工具发展史

大多同学的前端学习路线:三件套框架慢慢延伸到其他,在这个过程中,有一个词出现的频率很高:webpack 。 作为一个很出名的前端构建工具我们在网上随便一搜,就会有各种教程:loader plugin entry吧啦吧啦。 但…

【框架篇】Spring MVC 介绍及使用(详细教程)

Spring MVC 介绍 1,MVC 设计模式 MVC(Model-View-Controller)是一种常见的软件设计模式,用于将应用程序的逻辑分离成三个独立的组件: 模型(Model):模型是应用程序的数据和业务逻辑…

C# Blazor 学习笔记(5):blazor文件夹组件引入

文章目录 前言文件夹组件引入文件夹分类文件引入解决方法 前言 为了更好的组件化管理整个文件,我选择使用分文件夹对项目组件进行分类。 文件夹组件引入 文件夹分类 Shared:Layout布局空间放置地方,由于默认创建,动也不好动&a…

Linux —— 进程控制

目录 一&#xff0c;进程创建 写时拷贝 二&#xff0c;进程终止 三&#xff0c;进程等待 获取子进程status 一&#xff0c;进程创建 命令行启动命令&#xff08;程序、指令等&#xff09;&#xff1b;通过程序自身fork创建&#xff1b; #include<unistd.h> //子进程…

【Git】保姆级详解:Git配置SSH Key(密钥和公钥)到github

博主简介&#xff1a;22级计算机科学与技术本科生一枚&#x1f338;博主主页&#xff1a;是瑶瑶子啦每日一言&#x1f33c;: “当人们做不到一些事情的时候&#xff0c;他们会对你说你也同样不能。”——《当幸福来敲门》 克里斯加德纳 Git配置SSH Key 一、什么是Git?二、什么…

Shader 编程:GLSL 重要的内置函数

该原创文章首发于微信公众号&#xff1a;字节流动 未经作者&#xff08;微信ID&#xff1a;Byte-Flow&#xff09;允许&#xff0c;禁止转载 前面发了一些关于 Shader 编程的文章&#xff0c;有读者反馈太碎片化了&#xff0c;希望这里能整理出来一个系列&#xff0c;方便系统的…

二叉树OJ(C)

文章目录 1.单值二叉树1.1法一&#xff1a;无返回值1.2法二&#xff1a;有返回值 2.相同的树3.对称二叉树4.二叉树的前序遍历5.二叉树的中序遍历6.二叉树的后序遍历7.另一棵树的子树8.二叉树遍历 1.单值二叉树 1.1法一&#xff1a;无返回值 struct TreeNode {int val;struct …

docker端口映射详解(随机端口、指定IP端口、随意ip指定端口、指定ip随机端口)

目录 docker端口映射详解 一、端口映射概述&#xff1a; 二、案例实验&#xff1a; 1、-P选项&#xff0c;随机端口 2、使用-p可以指定要映射到的本地端口。 Local_Port:Container_Port&#xff0c;任意地址的指定端口 Local_IP:Local_Port:Container_Port 映射到指定地…

Java设计模式之工厂设计模式

简介 工厂模式是一种常见的设计模式&#xff0c;用于创建对象的过程中&#xff0c;通过工厂类来封装对象的创建过程。其核心思想是将对象的创建和使用分离&#xff0c;从而降低耦合度&#xff0c;提高代码的可维护性和可扩展性。工厂模式通常包括三种类型&#xff1a;简单工厂…

探索国产嵌入式Python解决方案的方法(开源)

大家好&#xff0c;今天我们要介绍一款适用于单片机的嵌入式Python开源项目 -- PikaPython。 第一&#xff1a;嵌入式Python的发展趋势 在嵌入式领域软硬件的发展趋势中&#xff0c;硬件的成本日益降低&#xff0c;性能逐渐提升。这种趋势使得Python在芯片上的运行难度已经大大…

【雕爷学编程】MicroPython动手做(28)——物联网之Yeelight 4

知识点&#xff1a;什么是掌控板&#xff1f; 掌控板是一块普及STEAM创客教育、人工智能教育、机器人编程教育的开源智能硬件。它集成ESP-32高性能双核芯片&#xff0c;支持WiFi和蓝牙双模通信&#xff0c;可作为物联网节点&#xff0c;实现物联网应用。同时掌控板上集成了OLED…

物联网平台使用笔记

阿里云的IOT平台限制了50个设备。排除 移动云的限制较少&#xff0c;这里试用下。 创建完产品&#xff0c;接入设备后。使用MQTT客户端测试 其中client id 为设备id&#xff0c; username 为产品id&#xff0c; password 可以使用设备调试那里生成的。或使用官方token.exe 生成…

7.1.tensorRT高级(2)-使用openvino进行onnx的模型推理过程

目录 前言1. openvino2. 补充知识总结 前言 杜老师推出的 tensorRT从零起步高性能部署 课程&#xff0c;之前有看过一遍&#xff0c;但是没有做笔记&#xff0c;很多东西也忘了。这次重新撸一遍&#xff0c;顺便记记笔记。 本次课程学习 tensorRT 高级-使用 openvino 进行 onnx…

ChatGPT3.5——AI人工智能是个什么玩意?

ChatGPT3.5——AI人工智能 AI人工智能什么是AI&#xff1f;AI有什么过人之处AI有什么缺点 AI的发展AI的发展史中国是如何发展AI的 AI六大要素感知理解推理学习交互 ChatCPT-3.5GPT-3.5的优势在哪里GPT-3.5的风险GPT-4骗人事件 AI人工智能 AI&#xff0c;就像是一位超级聪明的机…

地级市经济增长质量指数及原始数据(2006-2018年)

二十大报告强调&#xff0c;高质量发展是全面建设社会主义现代化国家的首要任务。研究表明&#xff0c;知识产权示范城市建设显著提高了城市经济增长质量&#xff0c;且这种促进作用具有持续性&#xff0c;地方政府财政支出偏向的改变以及知识产权司法保护和行政保护力度的提升…

关系型数据库的设计

范式 关系 注意&#xff1a;根据阿里开发规范&#xff0c;不再设置数据库的外键&#xff0c;在应用层保证外键逻辑即可 数据库设计 1:1 1:n 设想学生-班级案例&#xff0c;若在班级中保存所有学生的主键&#xff0c;则表长不好预测&#xff0c;表的数据亢余。 所以是在多的…

Maven设置阿里云路径(防止加载过慢)

<?xml version"1.0" encoding"UTF-8"?><!-- Licensed to the Apache Software Foundation (ASF) under one or more contributor license agreements. See the NOTICE file distributed with this work for additional information regarding …

【雕爷学编程】Arduino动手做(184)---快餐盒盖,极低成本搭建机器人实验平台3

吃完快餐粥&#xff0c;除了粥的味道不错之外&#xff0c;我对个快餐盒的圆盖子产生了兴趣&#xff0c;能否做个极低成本的简易机器人呢&#xff1f;也许只需要二十元左右 知识点&#xff1a;轮子&#xff08;wheel&#xff09; 中国词语。是用不同材料制成的圆形滚动物体。简…