深入浅出JVM(十三)之垃圾回收算法细节

上篇文章深入浅出JVM(十二)之垃圾回收算法讨论了垃圾回收算法,为了能够更加充分的理解后续的垃圾收集器,本篇文章将深入浅出解析垃圾回收算法的相关细节,如:STW、枚举根节点如何避免长时间STW、安全点与安全区、跨代引用引起的GC Root扫描范围增大等问题

HotSpot垃圾回收算法细节

STW

Stop The Word

STW: GC中为了分析垃圾过程确保一致性,会导致所有Java用户线程停顿

可达性分析算法枚举根节点导致STW

因为不停顿线程的话,在分析垃圾的过程中引用会变化,这样分析的结果会不准确

根节点枚举

枚举GC Roots的过程是耗时的,因为要找到栈上的Reference作为根节点,这就不得不对整个栈进行扫描

为了避免枚举根节点耗费太多时间,使用OopMap(Ordinary Object Pointer普通对象指针)数据结构来记录reference引用位置

根节点枚举必须暂停用户线程,因为要保证一致性的快照(根节点枚举是用户线程停顿的重要原因)

如果单纯遍历GC Roots和引用链过程会非常的耗时,使用OopMap记录引用所在位置,扫描时不用去方法区全部扫描

使用OopMap快速,精准的让HotSpot完成根节点枚举

安全点与安全区域

safe point

代码中引用的位置可能发生变动,每时每刻更新OopMap的开销是非常大的,因此规定在安全点位置才更新OopMap

那什么位置才是安全点呢?

安全点所在的位置一般具有让程序长时间执行的特征,比如方法调用、循环、异常跳转等

由于只有安全点位置的OopMap是有效的,因此在进行GC时用户线程需要停留在安全点

让用户线程到最近的安全点停下来的方式有两种,分别是抢先式中断、主动式中断

抢先式中断: 垃圾收集发生时,中断所有用户线程,如果有用户线程没在安全点上就恢复它再让它执行会到安全点上

主动式中断: 设置一个标志位,当要发生垃圾回收时,就把这个标记位设置为真,用户线程执行时会主动轮询查看这个标志位,一旦发现它为真就去最近的安全点中断挂起

hotspot选择主动式中断,使用内存保护陷阱方式将轮循标志位实现的只有一条汇编指令,高效

安全点设立太多会影响性能,设立太少可能会导致GC等待时间太长

安全点保证程序线程执行时,在不长时间内就能够进入垃圾收集过程的安全点

safe region

安全点只能保证程序线程执行时,在不长时间内进入安全点,如果是Sleep或者Blocking的线程呢?

安全区域:确保某一段代码中,引用关系不发生变化,这段区域中任意地方开始垃圾收集都是安全的

sleep、blocking线程需要停留在安全区才能进行GC

用户线程执行到安全区,会标识自己进入安全区,垃圾回收时就不会去管这些标识进入安全区的线程

用户线程要离开安全区时,会去检查是否执行完根节点枚举,执行完了就可以离开,没执行完就等待,直到收到可以离开的信号(枚举完GC Roots)

记忆集与卡表

前面说到过分代收集的概念,比如GC可能是只针对年轻代的,但年轻代对象可能引用老年代,对了可达性分析的正确性可能要将老年代也加入GC Roots的扫描范围中,这无疑又增加了一笔开销

上述问题叫做跨代引用问题,跨代引用问题不仅仅只存在与年轻代与老年大中,熟悉G1、低延迟ZGC、Shenandoah收集器的同学会知道它们分区region也会存在这种跨代引用

使用记忆集来记录存在跨代引用的情况,当发生跨代引用时只需要将一部分跨代引用的加入GC Roots的扫描范围,而不用全部扫描

可以把记忆集看成记录从非收集区指向收集区的指针集合

常用卡表实现记忆集的卡精度(每个记录精确到内存区,该区域有对象有跨代指针)

卡表简单形式是一个字节数组,数组中每个元素对应着其标识内存区域中一块特定大小的内存区(这块内存区叫:卡页)

image.png

如果卡页上有对象含有跨代指针,就把对应卡表数组值改为1(卡表变脏),1说明卡表对应的内存块有跨代指针,把卡表数组上元素为1的内存块加入GC Roots中一起扫描(图中卡表绿色位置表示卡表变脏存在跨代引用)

记忆集解决跨代引用问题,缩减GC Roots扫描范围

写屏障

维护卡表变脏应该放在跨代引用赋值之后,使用写屏障来在跨代引用赋值操作后进行更新卡表

这里的写屏障可以理解为AOP,在赋值完成后进行更新卡表的状态

更新卡表操作产生额外的开销,在高并发情况下还可能发生伪共享问题,降低性能

可以不采用无条件的写屏障,先检查卡表标记,只有未被标记过时才将其标记为变脏,来避免伪共享问题,但会增加额外判断的开销

-XX:+UseCondCardMark 是否开启卡表更新条件判断,开启增加额外判断的开销,可以避免伪共享问题

总结

本篇文章围绕垃圾回收算法细节深入浅出解析STW、根节点枚举避免长时间STW、安全区与安全区域、记忆集解决跨代引用增大GC Root扫描范围、维护卡表的写屏障等

为了避免用户线程改变引用关系,能够正确的进行可达性分析,需要stop the word 停止用户线程

枚举GC Roots时为了避免长时间的STW,使用OopMap记录引用位置,避免扫描方法区

由于引用关系的变化,实时更新维护OopMap的开销是很大的,只有在循环、异常跳转、方法调用位置的安全点才更新OopMap,因此只有在安全点中才能正确的进行GC

安全区可以看成扩展的安全点,在一块代码中不会改变引用关系;对于sleep、blocking状态的用户线程来说,只需要在安全区就能够进行GC

hotspot采用主动轮循式中断,用户线程运行时主动轮循判断是否需要进行GC,需要进行GC则到附近最近的安全点/区,GC时不会管理这些进入安全区的用户线程,当用户线程要离开安全区时检查是否枚举完GC Root,枚举完则可以离开否则等待

跨代引用可能增加GC Root扫描范围,使用卡表实现记忆集管理跨代引用,当卡表中的卡页变脏时说明那块内存存在跨代引用,需要加入扫描范围;记忆集有效减少了扫描范围

使用类似AOP的写屏障维护卡表状态,高并发情况下可能出现伪共享问题,可以开启增加额外条件判断再进行维护卡表状态,增加条件判断开销但可以避免伪共享问题

最后(一键三连求求拉~)

本篇文章将被收入JVM专栏,觉得不错感兴趣的同学可以收藏专栏哟~

本篇文章笔记以及案例被收入 gitee-StudyJava、 github-StudyJava 感兴趣的同学可以stat下持续关注喔~

有什么问题可以在评论区交流,如果觉得菜菜写的不错,可以点赞、关注、收藏支持一下~

关注菜菜,分享更多干货,公众号:菜菜的后端私房菜

本文由博客一文多发平台 OpenWrite 发布!

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

如若内容造成侵权/违法违规/事实不符,请联系瞎胡闹网进行投诉反馈,一经查实,立即删除!

相关文章

计算机操作系统(慕课版)第五章学习笔记

第五章 存储器管理 1.1 存储器的层次结构 存储器的层次结构 速度由快到慢容量由小到大寄存器和主存掉电后存储的信息不再存在辅存的信息长期保存 1.2 物理地址(绝对地址) 物理内存的地址,内存以字节为单位编址 物理地址空间:所有…

元学习(meta-learning)的通俗解释

目录 1、什么是元学习 2、元学习还可以做什么 3、元学习是如何训练的 1、什么是元学习 meta-learning 的一个很经典的英文解释是 learn to learn,即学会学习。元学习是一个很宽泛的概念,可以有很多实现的方式,下面以目标检测的例子来解释…

ubuntu新建ap热点并分享

测试环境ubuntu16 1.方法1 直接手动新建ap热点 参考https://jingyan.baidu.com/article/ea24bc39b03fc6da62b331f0.html https://jingyan.baidu.com/article/363872ecd8f35d6e4ba16f97.html 亲测,发现电脑如果没有连有线,按照以上步骤并不能生成wifi热…

网络编程(JAVA)

前言:Java 是 Internet 上的语言,它从语言级上提供了对网络应用程序的支持,程序员能够很容易开发常见的网络应用程序。 Java 提供的网络类库,可以实现无痛的网络连接,联网的底层细节被隐藏在 Java 的本机安装系统里&a…

docker创建mongodb数据库容器

介绍 本文将通过docker创建一个mongodb数据库容器 1. 拉取mongo镜像 docker pull mongo:3.63.6版本是一个稳定的版本,可以选择安装此版本。 2. 创建并启动主数据库 容器数据卷配置 /docker/mongodb/master/data # 数据库数据目录(宿主机&am…

kuka协作机器人LBR系列 issy15R930导入到ros2_rviz(带外观文件)

kuka协作机器人LBR系列 issy15R930导入到ros2_rviz(带外观文件)外观文件未调整好,外观仍需进一步研究,外观文件dae与轮廓(碰撞)文件STL并未完全对应起来。在blender里面看了一下UR机器人的文件,是对应的&am…

产品经理学习-产品运营《什么是SOP》

目录 什么是SOP 如何执行SOP 执行SOP的重点 什么是SOP SOP就是项目流程操作的说明书 日常工作中的例行操作: 例行操作是指,在每一天,针对每一个用户,在每个项目之中,都必须完成的操作,这些必须完成的操…

数据可视化引领智慧工业新时代

在智慧工业的大潮中,数据可视化崭露头角,以其直观、清晰的方式赋能工业生产,为智慧工业的高效运转提供了强有力的支持。下面我就以可视化从业者的角度,简单聊聊这个话题。 数据可视化首先在智慧工业的生产监控中大显身手。通过将…

电脑休眠之后唤不醒

现象:午休时间电脑休眠了,醒来之后发现在密码输入界面,但鼠标键盘没反应。按重启键或电源机重新开机,结果开不了机。 原因:1、内存条脏了,导致内存条读取失败 2、休眠的时候硬盘休眠了,导致按…

[设计模式Java实现附plantuml源码~行为型]算法的封装与切换——策略模式

前言: 为什么之前写过Golang 版的设计模式,还在重新写Java 版? 答:因为对于我而言,当然也希望对正在学习的大伙有帮助。Java作为一门纯面向对象的语言,更适合用于学习设计模式。 为什么类图要附上uml 因为很…

【精选】Java面向对象进阶——静态内部类和局部内部类

🍬 博主介绍👨‍🎓 博主介绍:大家好,我是 hacker-routing ,很高兴认识大家~ ✨主攻领域:【渗透领域】【应急响应】 【Java】 【VulnHub靶场复现】【面试分析】 🎉点赞➕评论➕收藏 …

计算机网络-后退N帧协议(弊端 滑动窗口 运行中的GBN 滑动窗口长度习题 GBN协议性能分析 )

文章目录 停等协议的弊端后退N帧协议中的滑动窗口GBN发送方必须响应的三件事GBN接受方要做的事运行中的GBN滑动窗口长度GBN协议重点总结习题1习题2GBN协议性能分析小结 停等协议的弊端 信道利用率低:在停等协议中,发送方在发送完一帧后必须等待接收方确…

面试redis篇-11Redis集群方案-哨兵

Redis提供了哨兵(Sentinel)机制来实现主从集群的自动故障恢复。哨兵的结构和作用如下: 监控:Sentinel 会不断检查您的master和slave是否按预期工作自动故障恢复:如果master故障,Sentinel会将一个slave提升为master。当故障实例恢复后也以新的master为主通知:Sentinel充当…

递归与回溯(一)

递归 递归一定要有出口,不然会无限调用,死循环 string fun(int n){if(n0)return "a";if(n1)return "b";return fun(n - 1) fun(n - 2); }输出前8种结果: 双写数字递归例子 注意递归的return int doubleNum(int n){i…

git bash:ls查看文件颜色全部为白色的解决方法(已解决)

方法一: 修改~/.bashrc文件或者~/.profile文件,添加如下内容 alias lsls --colorauto 然后 source一下,让修改配置生效 source ~/.profile 然后再ls OK了

vue3+electron开发桌面应用,静态资源处理方式及路径问题总结

1、静态资源放到src/assets/目录下 静态资源,例如图片、静态的JSON文件、视频、CSS等等,放到src/assets目录下。 不然会很蛋疼,这个坑我踩过了。切记,切记!! 以下是CHATGPT-4 Turbo的回答: 在 Vue 应用程序中,src/assets 目录确实有特别的处理。当你使用 Vue CLI 创…

好用的IP反查接口

IP-API.com - Geolocation API - Documentation - JSON 自定义返回参数调用(1): http://ip-api.com/json/24.48.0.1?fieldsstatus,message,country,countryCode,region,regionName,cityhttp://ip-api.com/json/24.48.0.1?fieldscountry,co…

<网络安全>《54 概念讲解<第一课 IT和OT>》

1 基本概念 IT:Information Technology的缩写,指信息技术;主要指的是企业中的各个应用系统,包括ERP、MES、EAM、OA等,分布部署在不同的网络层级。除了应用系统,还有计算机,服务器等等&#xff…

input框 自动获取焦点

<el-input style"width:200px" autofocus v-model"leftListname"></el-input> element-ui 的 el-input 组件的 autofocus 属性在某些情况下不能实现自动聚焦,有几个可能的原因: 1. autofocus 在移动设备上不被支持。如果是在移动设备上访问,au…

泽攸科技JS系列高精度台阶仪在半导体领域的应用

泽攸科技JS系列高精度台阶仪是一款先进的自主研发的国产台阶仪&#xff0c;采用了先进的扫描探针技术。通过扫描探针在样品表面上进行微观测量&#xff0c;台阶仪能够准确获取表面形貌信息。其工作原理基于探针与样品表面的相互作用力&#xff0c;通过测量探针的微小位移&#…