【JVM】并发的可达性分析详细解释

  

🍎个人博客:个人主页

🏆个人专栏:JVM  

⛳️  功不唐捐,玉汝于成



目录

前言

正文

可达性分析的基本原理:

根集合(Root Set):

对象引用关系:

标记-清除算法:

详细解释可达性分析的过程:

初始标记(Initial Mark):

并发标记(Concurrent Mark):

重新标记(Remark):

并发清除(Concurrent Sweep):

引用处理(Reference Processing):

三色标记

三色标记法的基本概念:

白色(White):

灰色(Gray):

黑色(Black):

三色标记法的工作过程:

初始标记阶段(Initial Mark):

并发标记阶段(Concurrent Mark):

重新标记阶段(Remark):

并发清理阶段(Concurrent Sweep):

结语

 我的其他博客


前言

在垃圾回收的领域中,为了提高垃圾回收的效率并减小对应用程序的影响,许多现代的垃圾回收算法采用了并发的手段。并发的可达性分析和三色标记法就是其中一种经典的组合。这种方法通过允许垃圾收集与用户线程并发执行,以减小垃圾回收的停顿时间,提高系统的响应性。下面我们将介绍并发的可达性分析和三色标记法的基本原理和工作过程。

正文

在Java虚拟机(JVM)中,可达性分析是垃圾回收的一个关键概念。它是通过判断对象是否可被程序中的任何引用链访问到,从而确定对象是否存活的过程。可达性分析是Java内存管理机制的一部分,用于找出哪些对象是活动的,而哪些对象可以被回收。

可达性分析的基本原理:

  1. 根集合(Root Set):
    • 可达性分析的起点是根集合,包括虚拟机栈中引用的对象、静态变量引用的对象以及本地方法栈中JNI(Java Native Interface)引用的对象。这些对象被认为是活动的,它们是可达性分析的起点。
  2. 对象引用关系:
    • 可达性分析通过遍历对象之间的引用关系,沿着引用链检查对象的可达性。如果某个对象A能够通过一系列引用关系达到根集合中的任何对象,那么对象A就被认为是可达的,即它是活动的。
  3. 标记-清除算法:
    • 常用的垃圾回收算法中,可达性分析主要用于标记-清除算法。在标记阶段,通过遍历对象引用关系,将可达的对象标记为活动。在清除阶段,清除掉未被标记的对象,这些未被标记的对象就被判定为垃圾。

详细解释可达性分析的过程:

  1. 初始标记(Initial Mark):
    • 首先,虚拟机会扫描虚拟机栈上的引用,标记被GC Roots直接引用的对象。这个阶段是短暂的,只是标记一下GC Roots直接引用的对象,不会停顿用户线程。
  2. 并发标记(Concurrent Mark):
    • 在这个阶段,JVM会和用户线程并发执行,继续扫描并标记可达性。因为这个阶段是与用户线程并发执行的,所以被称为并发标记。这一阶段的目标是标记出所有的可达对象,包括从GC Roots可达的对象以及在并发标记阶段新创建的对象。
  3. 重新标记(Remark):
    • 在并发标记完成后,为了处理在并发标记期间发生的用户线程对对象图的修改,需要进行一次重新标记。这个阶段会停顿用户线程,进行完整的标记。
  4. 并发清除(Concurrent Sweep):
    • 在这个阶段,JVM会并发地清理掉那些被标记为垃圾的对象。与并发标记一样,这个过程也是与用户线程并发执行的,不会导致停顿。
  5. 引用处理(Reference Processing):
    • 最后,虚拟机会处理引用。包括清理SoftReference、WeakReference和PhantomReference等引用类型,以及对应用了Finalizer的对象进行Finalization。

总体来说,可达性分析是一种用于确定对象是否可被访问的技术,是垃圾回收过程的基础。通过标记-清除算法,可以及时地识别出不再被引用的对象,释放它们所占用的内存,从而提高程序的性能和内存利用率。

三色标记

三色标记法是一种用于垃圾回收中的可达性分析的算法,主要包括三种颜色:白色、灰色和黑色。这种标记法通常与并发标记清除算法(Concurrent Mark-Sweep,CMS)一起使用,以实现在减小停顿时间的同时进行垃圾回收。

三色标记法的基本概念:

  1. 白色(White):
    • 初始状态,所有的对象都被标记为白色。白色表示对象尚未被垃圾收集器访问过,即对象处于可回收的状态。
  2. 灰色(Gray):
    • 表示对象已经被垃圾收集器访问过,但这个对象上至少存在一个引用还没有被扫描过。灰色对象是待处理的对象,它的引用关系需要进一步探索。
  3. 黑色(Black):
    • 表示对象已经被垃圾收集器访问过,且这个对象的所有引用都已经扫描过。黑色的对象是已经扫描过的对象,它是安全存活的,即不会被回收。

三色标记法的工作过程:

  1. 初始标记阶段(Initial Mark):
    • 在这个阶段,GC Roots直接可达的对象被标记为黑色,表示它们是活动的。这个阶段需要短暂的停顿,但不会引起全局的垃圾回收。
  2. 并发标记阶段(Concurrent Mark):
    • 灰色对象被并发地扫描,将其引用关系中的对象标记为灰色。这个过程与用户线程并发执行,不会导致停顿。标记过程中新产生的对象可能是白色的,它们会在下一轮的标记中被处理。
  3. 重新标记阶段(Remark):
    • 在用户线程停顿的情况下,对并发标记阶段中由于用户线程修改而发生变化的对象进行重新标记。将它们从灰色变为黑色,确保准确的标记。这个阶段需要较短的停顿时间。
  4. 并发清理阶段(Concurrent Sweep):
    • 在这个阶段,GC会清理掉未被标记为黑色的对象,即垃圾对象。这个过程与用户线程并发执行,不会导致停顿。

 

三色标记法通过将对象划分为不同颜色,使得在标记和清理过程中能够高效地识别活动对象和垃圾对象,从而在尽可能减小停顿时间的同时实现垃圾回收。这种算法通常与并发垃圾回收算法结合使用,例如CMS垃圾回收器。

结语

并发的可达性分析和三色标记法是现代垃圾回收领域中为了提高性能和降低垃圾回收停顿时间而采用的一种有效手段。通过在标记和清理阶段与用户线程并发执行,系统能够更加灵活地进行垃圾回收,减小了对应用程序的影响。三色标记法通过将对象标记为白色、灰色和黑色,使得在可达性分析中能够高效地识别出活动对象和垃圾对象,从而提高了垃圾回收的准确性。这一组合极大地提高了垃圾回收的效率,使得现代的垃圾回收器在处理大规模应用和复杂内存结构时能够更好地平衡性能和响应性。

 我的其他博客

【MySQL】数据库规范化的三大法则 — 一探范式设计原则-CSDN博客

【JAVA】线程的run()和start()有什么区别?-CSDN博客

【日常聊聊】程序员必备的面试技巧:如何在面试战场上脱颖而出-CSDN博客

【JAVA】Java8开始ConcurrentHashMap,为什么舍弃分段锁-CSDN博客

【JAVA】怎么确保一个集合不能被修改-CSDN博客

【Web开发】会话管理与无 Cookie 环境下的实现策略-CSDN博客

【Mybatis】Mybatis如何防止sql注入-CSDN博客

【软件工程】航行敏捷之路:深度解析Scrum框架的精髓-CSDN博客

【Spring】理解IoC与AOP:构建灵活而模块化的软件架构-CSDN博客

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

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

相关文章

PyCharm 快捷键(Ctrl + R)正则表达式批量替换

目录 一、使用快捷键CtrlR,打开替换界面 二、输入替换格式 三、点击全部替换 一、使用快捷键CtrlR,打开替换界面 二、输入替换格式 在第一个框输入 (.*): (.*) 第二个框输入 $1:$2, 三、点击全部替换

spring boot学习第八篇:kafka监听消费

为了实现监听器功能 pom.xml文件内容如下&#xff1a; <?xml version"1.0" encoding"UTF-8"?> <project xmlns"http://maven.apache.org/POM/4.0.0" xmlns:xsi"http://www.w3.org/2001/XMLSchema-instance"xsi:schemaLoc…

论文阅读:Vary论文阅读笔记

目录 引言整体结构图数据集构造Vary-tiny部分Document Data数据构造Chart Data构造Negative natural image选取 Vary-base部分 引言 论文&#xff1a;Vary: Scaling up the Vision Vocabulary for Large Vision-Language Models Paper | Github | Demo 许久不精读论文了&#x…

Spring Boot 优雅实现统一数据返回格式+统一异常处理+统一日志处理

在我们的项目开发中&#xff0c;我们都会对数据返回格式进行统一的处理&#xff0c;这样可以方便前端人员取数据&#xff0c;当然除了正常流程的数据返回格式需要统一以外&#xff0c;我们也需要对异常的情况进行统一的处理&#xff0c;以及项目必备的日志。 1. 统一返回格式 …

linux 安装ffmpeg

一、下载 ffmpeg-4.3.1 下载地址&#xff1a;链接&#xff1a;https://pan.baidu.com/s/1xbkpHDfIWSCbHFGJJHSQcA 提取码&#xff1a;3eil 二、上传到服务器root目录下 三、给ffmpeg-4.3.1 读写权限 chmod -R 777 /root/ffmpeg-4.3.1 四、创建软连接 1.进入/bin 目录 2.…

用js做个转盘

样式 <style>.wheel {position: relative;width: 400px;height: 400px;border: 1px solid black;border-radius: 50%;overflow: hidden;margin: auto;}.slice {position: absolute;left: 0;top: 0;width: 0;height: 0;border: 200px solid red;/* border-width: 100px 10…

Spring Boot整合Druid(druid 和 druid-spring-boot-starter)

引言 在现代的Web应用开发中&#xff0c;高性能的数据库连接池是确保应用稳定性和响应性的关键因素之一。Druid是一个开源的高性能数据库连接池&#xff0c;具有强大的监控和统计功能&#xff0c;能够在Spring Boot应用中提供出色的数据库连接管理。本文将研究在Spring Boot中…

Macos flatter(用于快速LLL)本地编译安装(解决安装过程各种疑难杂症)

flatter是一个开源项目&#xff0c;能大大提高LLL的速度&#xff0c;项目提供的安装文档适用于Ubuntu&#xff0c;但是在macos上安装&#xff0c;总会遇到各种各样的问题&#xff0c;这里记录下所踩坑&#xff0c;帮助大家快速在macos上安装flatter。 文章目录 1.安装依赖库&am…

Python使用HTTP代理进行网络测试和监控

在Python中&#xff0c;HTTP代理不仅可以用于网络爬虫&#xff0c;还可以用于网络测试和监控。通过使用HTTP代理&#xff0c;我们可以模拟不同的网络环境&#xff0c;测试应用程序在不同情况下的性能和稳定性。此外&#xff0c;我们还可以使用HTTP代理来监控网络流量和性能指标…

C语言编译和链接

翻译环境和运行环境 在ANSI C的任何一种实现中&#xff0c;存在两个不同的环境 .第一种是翻译环境&#xff0c;在这个环境中源代码被转换为可执行的机器指令 .第二种是执行环境&#xff0c;它用于实际执行代码 翻译环境 翻译环境是由编译和链接两个大过程组成&#xff0c;而…

npm run dev 启动vue的时候指定端口

使用的是 Vue CLI 来创建和管理 Vue 项目&#xff0c; 可以通过设置 --port 参数来指定启动的端口号。以下是具体的步骤&#xff1a; 打开命令行终端 进入您的 Vue 项目目录 运行以下命令&#xff0c;通过 --port 参数指定端口号&#xff08;例如&#xff0c;这里设置端口号…

mybatisPlus注解将List集合插入到数据库

1.maven引入依赖&#xff08;特别注意版本&#xff0c;3.1以下不支持&#xff09; <dependency><groupId>com.baomidou</groupId><artifactId>mybatis-plus-boot-starter</artifactId><version>3.4.3.1</version></dependency&g…

自建服务器如何备案?

随着互联网的普及和发展&#xff0c;越来越多的人开始考虑自建服务器。然而&#xff0c;在中国大陆地区&#xff0c;自建服务器需要进行备案。本文将介绍自建服务器备案的流程、所需材料以及注意事项。 一、备案流程 确定备案地区 根据《中华人民共和国计算机信息网络国际联网…

【python】—— 集合

目录 &#xff08;一&#xff09;集合的概念 &#xff08;二&#xff09;集合的使用 2.1 集合的创建 2.2 集合元素的唯一性 2.3 集合的操作 2.3.1 并集 2.3.2 交集 2.3.3 差集 2.3.4 补集 2.4 遍历集合 2.5 其他集合操作 2.5.1 添加元素 2.5.2 移除元素 2.5.3 清…

【Alibaba工具型技术系列】「EasyExcel技术专题」实战技术针对于项目中常用的Excel操作指南

这里写目录标题 EasyExcel教程Maven依赖 EasyExcel API分析介绍EasyExcel 注解通用参数ReadWorkbook&#xff08;理解成excel对象&#xff09;参数ReadSheet&#xff08;就是excel的一个Sheet&#xff09;参数注解参数通用参数 WriteWorkbook&#xff08;理解成excel对象&#…

冒泡排序-BubbleSort

1、基本思路 从数组的左边开始&#xff0c;比较两个元素的大小&#xff0c;当左边大于右边时&#xff0c;更换左右元素位置&#xff0c;否则不改变&#xff1b;接着向右移动一步&#xff0c;比较第二个元素和第三个元素的大小&#xff0c;重复上述操作&#xff0c;直到最后一个…

为什么 Golang Fasthttp 选择使用 slice 而非 map 存储请求数据

文章目录 Slice vs Map&#xff1a;基本概念内存分配和性能Fasthttp 中的 SliceMap性能优化的深层原因HTTP Headers 的特性CPU 预加载特性 结论 Fasthttp 是一个高性能的 Golang HTTP 框架&#xff0c;它在设计上做了许多优化以提高性能。其中一个显著的设计选择是使用 slice 而…

Ubuntu开机停在Grub命令行以及启动后进入emergency模式的解决方法

主机上两个硬盘&#xff0c;本来都是Ubutun系统&#xff0c;然后将其中一个重装为windows系统&#xff0c;结果另外一个硬盘的Ubutun启动不了 首先会卡在grub命令行界面&#xff0c;类似下面这样&#xff1a; 这种情况往往是 GRUB 的系统文件或者配置文件损坏了&#xff0c;但…

基于麻雀优化算法SSA的CEEMDAN-BiLSTM-Attention的预测模型

往期精彩内容&#xff1a; 时序预测&#xff1a;LSTM、ARIMA、Holt-Winters、SARIMA模型的分析与比较-CSDN博客 风速预测&#xff08;一&#xff09;数据集介绍和预处理-CSDN博客 风速预测&#xff08;二&#xff09;基于Pytorch的EMD-LSTM模型-CSDN博客 风速预测&#xff…

Android: alarm定时很短时,比如500ms,测试执行mPowerManager.forceSuspend()后,系统不会suspend

参考文档&#xff1a; https://blog.csdn.net/weixin_35691921/article/details/124961404 Android: alarm定时很短时&#xff0c;比如500ms&#xff0c;然后执行mPowerManager.forceSuspend()后&#xff0c;系统不会suspend&#xff0c;原因分析&#xff1a; static int ala…