一篇文章彻底搞懂JVM常见垃圾收集器算法、常见收集器、CMS三色标记等(深度剖析)
文章目录
- 简述Java垃圾回收机制
- 一、垃圾收集算法
- 1、分代收集理论
- 2、标记复制算法
- 3、标记清除算法
- 4、标记整理算法
- 二、垃圾收集器
- 1、 Serial收集器(-XX:+UseSerialGC(年轻代)0 -XX:+UseSerialOldGC(老年代))
- 2、 Parallel Scavenge收集器(-XX:+UseParallelGC(年轻代),-XX:+UseParallelOldGC(老年代))
- 3、 ParNew收集器(-XX:+UseParNewGC)
- 4、CMS收集器(-XX:+UseConcMarkSweepGC(old))
- 4.1、CMS的相关核心参数
- 三、垃圾收集底层算法实现
- 1、三色标记
- 2、多标-浮动垃圾
- 3、漏标-读写屏障
- 4、写屏障
- 4.1、写屏障实现SATB(G1采用)
- 4.2、写屏障实现增量更新(CMS采用)
- 5、读屏障(ZGC采用)
- 四、记忆集与卡表
- 总结
简述Java垃圾回收机制
在java中,程序员是不需要显示的去释放一个对象的内存的,而是由虚拟机自行执行。在JVM中有一个垃圾回收线程,它是低优先级的,在正常情况下是不会执行的,只有在虚拟机空闲或者当前堆内存不足时,才会触发执行,扫描那些没有被任何引用的对象,并将他们添加到要回收的集合中,进行回收。
一、垃圾收集算法
1、分代收集理论
当前的主流虚拟机都采用分代收集理论,一般java堆分为新生代、老年代,这样就可以根据各个年代的特点进行适合的垃圾算法。
比如新生代中,每次收集大量对象都会死亡,选择复制算法,只需要付出少量对象的复制成本就可以完成每次垃圾收集。
而老年代对象的存活率比较高,而且没有额外的空间进行担保,所以必须选择 标记-清除、标记整理等算法进行回收;
注意:
标记清除和标记整理算法比复制算法慢十倍以上;
2、标记复制算法
为了解决效率问题,复制算法出现了。他可以将内存分为大小相同的二块区域,每次使用其中一块。
当这一块使用完后,就可以将存活的对象复制到另一块去,然后在把使用的空间清理掉,这样就可使每次的内存回收都是对内存区间的一半进行回收。适合年轻代。
3、标记清除算法
该算法分为“标记”和“整理”阶段,标记存活的对象,统一回收没有被标记的对象(一般都是这种情况),也可以反过来,标记需要回收的对象,在标记完成后统一回收被标记的对象;它是最基础的垃圾回收算法,比较简单,
但是会带来2个明显的问题:
1、效率问题:如果需要标记的对象太多,效率不高
2、空间问题:会产生大量不连续的碎片空间
4、标记整理算法
根据老年代的特点出的一种标记算法,标记过程和标记-清除一致,后续步骤不是直接对对象回收,而是让所有存活的对象向一端移动,然后直接清理掉边界以外的内存。
二、垃圾收集器
常见的垃圾收集器有以下几种
如果说收集算法是内存回收的方法论,那么垃圾收集器就是内存回收的具体实现。
虽然我们对各个收集器进行比较,但并非为了挑选出一个最好的收集器。因为直到现在为止还没有最好的垃圾收集器出现,更加没有万能的垃圾收集器,我们能做的就是根据具体应用场景选择适合自己的垃圾收集器。
试想一下:如果有一种四海之内、任何场景下都适用的完美收集器存在,那么我们的Java虚拟机就不会实现那么多不同的垃圾收集器了。
1、 Serial收集器(-XX:+UseSerialGC(年轻代)0 -XX:+UseSerialOldGC(老年代))
Serial(串行)收集器是最基本,这个收集器是一个单线程收集器了。
它的 “单线程” 的意义不仅仅意味着它只会使用一条垃圾收集线程去完成垃圾收集工作,更重要的是它在进行垃圾收集工作的时候必须暂停其他所有的工作线程( “Stop The World” ),直到它收集结束。
新生代采用复制算法,老年代采用标记-整理算法。
但是Serial收集器有没有优于其他垃圾收集器的地方呢?
当然有,它简单而高效(与其他收集器的单线程相比)。Serial收集器由于没有线程交互的开销,自然可以获得很高的单线程收集效率。适用于小型项目、服务器资源有限的场景。
Serial Old收集器:
是Serial收集器的老年代版本,它同样是一个单线程收集器。
它主要有两大用途:
一种用途是在JDK1.5以及以前的版本中与Parallel Scavenge收集器搭配使用,
另一种用途是作为CMS收集器的后备方案。
2、 Parallel Scavenge收集器(-XX:+UseParallelGC(年轻代),-XX:+UseParallelOldGC(老年代))
Parallel收集器其实就是Serial收集器的多线程版本,除了使用多线程进行垃圾收集外,其余行为(控制参数、收集算法、回收策略等等)和Serial收集器类似。默认的收集线程数跟cpu核数相同,当然也可以用参数(-XX:ParallelGCThreads)指定收集线程数,但是一般不推荐修改。
Parallel Scavenge收集器关注点是吞吐量(高效率的利用CPU)。所谓吞吐量就是CPU中用于运行用户代码的时间与CPU总消耗时间的比值。 Parallel Scavenge收集器提供了很多参数供用户找到最合适的停顿时间或最大吞吐量,如果对于收集器运作不太了解的话,可以选择把内存管理优化交给虚拟机去完成也是一个不错的选择。
新生代采用复制算法,老年代采用标记-整理算法。
Parallel Old收集器:
是Parallel Scavenge收集器的老年代版本。使用**多线程和“标记-整理”**算法。在注重吞吐量以及CPU资源的场合,都可以优先考虑 Parallel Scavenge收集器和Parallel Old收集器(JDK8默认的新生代和老年代收集器)。
3、 ParNew收集器(-XX:+UseParNewGC)
ParNew收集器其实跟Parallel收集器很类似,区别主要在于它可以和CMS收集器配合使用。
新生代采用复制算法,老年代采用标记-整理算法。
它是许多运行在Server模式下的虚拟机的首要选择,除了Serial收集器外,只有它能与CMS收集器(真正意义上的并发收集器)配合工作。
4、CMS收集器(-XX:+UseConcMarkSweepGC(old))
CMS(Concurrent Mark Sweep)收集器是一种以获取最短回收停顿时间为目标的收集器。它非常符合在注重用户体验的应用上使用,它让垃圾收集线程与用户线程(基本上)同时工作。
CMS收集器是一种 “标记-清除”算法实现的,它的运作过程相比于前面几种垃圾收集器来说更加复杂一些。
整个收集过程分为四个步骤:
4.1、初始标记: 暂停所有的其他线程(STW),并记录下gc roots直接能引用的对象,速度很快。
4.2、并发标记: 并发标记阶段就是从GC Roots的直接关联对象开始遍历整个对象的过程, 这个过程耗时较长但是不需要停顿用户线程, 可以与垃圾收集线程一起并发运行。但是因为用户程序继续运行,可能会有导致已经标记过的对象状态发生改变。
4.3、重新标记: 重新标记阶段就是为了修正并发标记期间因为用户程序继续运行而导致标记产生变动的那一部分对象的标记记录(主要是处理漏标问题),这个阶段的停顿时间一般会比初始标记阶段的时间稍长,远远比并发标记阶段时间短。主要用到三色标记里的增量更新算法做重新标记。
4.4、并发清理: 开启用户线程,同时GC线程开始对未标记的区域做清扫。这个阶段如果有新增对象会被标记为黑色不做任何处理(后面会有三色标记算法的介绍)。
4.5、并发重置:重置本次GC过程中的标记数据。
主要优点:
并发收集、低停顿。
但是它有下面几个明显的缺点:
对CPU资源敏感(会和服务抢资源);
无法处理浮动垃圾(在并发标记和并发清理阶段又产生垃圾,这种浮动垃圾只能等到下一次gc再清理了);
它使用的回收算法-“标记-清除”算法会导致收集结束时会有大量空间碎片产生,当然通过参数-XX:+UseCMSCompactAtFullCollection可以让jvm在执行完标记清除后再做整理。
执行过程中的不确定性,会存在上一次垃圾回收还没执行完,然后垃圾回收又被触发的情况,特别是在并发标记和并发清理阶段会出现,一边回收,系统一边运行,也许没回收完就再次触发full gc,也就是"concurrent mode failure",此时会进入stop the world,用serial old垃圾收集器来回收。
4.1、CMS的相关核心参数
-XX:+UseConcMarkSweepGC:启用cms
-XX:ConcGCThreads:并发的GC线程数
-XX:+UseCMSCompactAtFullCollection:FullGC之后做压缩整理(减少碎片,推荐配置)
-XX:CMSFullGCsBeforeCompaction:多少次FullGC之后压缩一次,默认是0,代表每次FullGC后都会压缩一次
-XX:CMSInitiatingOccupancyFraction: 当老年代使用达到该比例时会触发FullGC(默认是92,这是百分比)
-XX:+UseCMSInitiatingOccupancyOnly:只使用设定的回收阈值(-XX:CMSInitiatingOccupancyFraction设定的值),如果不指定,JVM仅在第一次使用设定值,后续则会自动调整
-XX:+CMSScavengeBeforeRemark:在CMS GC前启动一次minor gc,降低CMS GC标记阶段(也会对年轻代一起做标记,如果在minor gc就干掉了很多对垃圾对象,标记阶段就会减少一些标记时间)时的开销,一般CMS的GC耗时 80%都在标记阶段
-XX:+CMSParallellnitialMarkEnabled:表示在初始标记的时候多线程执行,缩短STW
-XX:+CMSParallelRemarkEnabled:在重新标记的时候多线程执行,缩短STW;
三、垃圾收集底层算法实现
1、三色标记
在并发标记的过程中,因为标记期间应用线程还在继续跑,对象间的引用可能发生变化,多标和漏标的情况就有可能发生。
漏标的问题主要引入了三色标记算法来解决。
三色标记算法原理
三色标记算法是把Gc roots可达性分析遍历对象过程中遇到的对象, 按照“是否访问过”这个条件标记成以下三种颜色:
黑色:
表示对象已经被垃圾收集器访问过, 且这个对象的所有引用都已经扫描过。 黑色的对象代表已经扫描过, 它是安全存活的, 如果有其他对象引用指向了黑色对象, 无须重新扫描一遍。 黑色对象不可能直接(不经过灰色对象) 指向某个白色对象。
灰色:
表示对象已经被垃圾收集器访问过, 但这个对象上至少存在一个引用还没有被扫描过。
白色:
表示对象尚未被垃圾收集器访问过。 显然在可达性分析刚刚开始的阶段, 所有的对象都是白色的, 若在分析结束的阶段, 仍然是白色的对象, 即代表不可达。
/*** 垃圾收集算法细节之三色标记* 为了简化例子,代码写法可能不规范,请忽略* Created by 李江超*/
public class ThreeColorRemark {public static void main(String[] args) {A a = new A();//开始做并发标记D d = a.b.d; // 1.读a.b.d = null; // 2.写a.d = d; // 3.写}
}class A {B b = new B();D d = null;
}class B {C c = new C();D d = new D();
}class C {}class D {}
2、多标-浮动垃圾
在并发标记过程中,如果由于方法运行结束导致部分局部变量(gcroot)被销毁,这个gcroot引用的对象之前又被扫描过(被标记为非垃圾对象),那么本轮GC不会回收这部分内存。这部分本应该回收但是没有回收到的内存,被称之为**“浮动垃圾**”。浮动垃圾并不会影响垃圾回收的正确性,只是需要等到下一轮垃圾回收中才被清除。
另外,针对并发标记(还有并发清理)开始后产生的新对象,通常的做法是直接全部当成黑色,本轮不会进行清除。这部分对象期间可能也会变为垃圾,这也算是浮动垃圾的一部分。
3、漏标-读写屏障
并发标记时会产生多标和漏标的问题,比如对象A.B=B,A.B=NULL这种情况;
漏标会导致被引用的对象被当成垃圾误删除,这是严重bug,必须解决。
漏标有两种解决方案:
增量更新(Incremental Update)
增量更新就是当黑色对象插入新的指向白色对象的引用关系时, 就将这个新插入的引用记录下来, 等并发扫描结束之后, 再将这些记录过的引用关系中的黑色对象为根, 重新扫描一次。 这可以简化理解为, 黑色对象一旦新插入了指向白色对象的引用之后, 它就变回灰色对象了。
原始快照(Snapshot At The Beginning,SATB) 。
原始快照就是当灰色对象要删除指向白色对象的引用关系时, 就将这个要删除的引用记录下来, 在并发扫描结束之后, 再将这些记录过的引用关系中的灰色对象为根, 重新扫描一次,这样就能扫描到白色的对象,将白色对象直接标记为黑色(目的就是让这种对象在本轮gc清理中能存活下来,待下一轮gc的时候重新扫描,这个对象也有可能是浮动垃圾)
以上无论是对引用关系记录的插入还是删除, 虚拟机的记录操作都是通过写屏障实现的。
4、写屏障
给某个对象的成员变量赋值时,其底层代码大概长这样:
/**
* @param field 某对象的成员变量,如 a.b.d
* @param new_value 新值,如 null
*/
void oop_field_store(oop* field, oop new_value) { *field = new_value; // 赋值操作
}
所谓的写屏障,其实就是指在赋值操作前后,加入一些处理(可以参考AOP的概念):
void oop_field_store(oop* field, oop new_value) { pre_write_barrier(field); // 写屏障-写前操作*field = new_value; post_write_barrier(field, value); // 写屏障-写后操作
}
4.1、写屏障实现SATB(G1采用)
当对象B的成员变量的引用发生变化时,比如引用消失(a.b.d = null),我们可以利用写屏障,将B原来成员变量的引用对象D记录下来:
void pre_write_barrier(oop* field) {oop old_value = *field; // 获取旧值remark_set.add(old_value); // 记录原来的引用对象
}
4.2、写屏障实现增量更新(CMS采用)
当对象A的成员变量的引用发生变化时,比如新增引用(a.d = d),我们可以利用写屏障,将A新的成员变量引用对象D记录下来:
void post_write_barrier(oop* field, oop new_value) { remark_set.add(new_value); // 记录新引用的对象
}
为什么G1用SATB?CMS用增量更新?
我的理解:SATB相对增量更新效率会高(当然SATB可能造成更多的浮动垃圾),因为不需要在重新标记阶段再次深度扫描被删除引用对象,而CMS对增量引用的根对象会做深度扫描,G1因为很多对象都位于不同的region,CMS就一块老年代区域,重新深度扫描对象的话G1的代价会比CMS高,所以G1选择SATB不深度扫描对象,只是简单标记,等到下一轮GC再深度扫描。
5、读屏障(ZGC采用)
oop oop_field_load(oop* field) {pre_load_barrier(field); // 读屏障-读取前操作return *field;
}
读屏障是直接针对第一步:D d = a.b.d,当读取成员变量时,一律记录下来:
void pre_load_barrier(oop* field) { oop old_value = *field;remark_set.add(old_value); // 记录读取到的对象
}
四、记忆集与卡表
在新生代做GCRoots可达性扫描过程中可能会碰到跨代引用的对象,这种如果又去对老年代再去扫描效率太低了。
为此,在新生代可以引入记录集(Remember Set)的数据结构(记录从非收集区到,收集区的指针集合),避免把整个老年代加入GCRoots扫描范围。
垃圾收集场景中,收集器只需通过记忆集判断出某一块非收集区域是否存在指向收集区域的指针即可,无需了解跨代引用指针的全部细节。
hotspot使用一种叫做“卡表”(Cardtable)的方式实现记忆集,也是目前最常用的一种方式。关于卡表与记忆集的关系, 可以类比为Java语言中HashMap与Map的关系。
卡表是使用一个字节数组实现:CARD_TABLE[ ],每个元素对应着其标识的内存区域一块特定大小的内存块,称为“卡页”。
hotSpot使用的卡页是2^9大小,即512字节
一个卡页中可包含多个对象,只要有一个对象的字段存在跨代指针,其对应的卡表的元素标识就变成1,表示该元素变脏,否则为0.
GC时,只要筛选本收集区的卡表中变脏的元素加入GCRoots里。
卡表的维护
卡表变脏上面已经说了,但是需要知道如何让卡表变脏,即发生引用字段赋值时,如何更新卡表对应的标识为1。
Hotspot使用写屏障维护卡表状态。
总结
垃圾回收算法、常见的垃圾收集器、CMS核心参数配置等;
如果有讲的不对的地方还请各位指点一二,如果觉得写的还可以,希望点个赞给我一点鼓舞,感谢!
一篇文章彻底搞懂JVM常见垃圾收集器算法、常见收集器、CMS三色标记等(深度剖析)相关推荐
- 一篇文章彻底搞懂Android事件分发机制
本文讲的是一篇文章彻底搞懂Android事件分发机制,在android开发中会经常遇到滑动冲突(比如ScrollView或是SliddingMenu与ListView的嵌套)的问题,需要我们深入的了解 ...
- cookie是什么?有什么用?cookie详解,一篇文章彻底搞懂cookie
Cookie是什么 cookie的中文翻译是曲奇,小甜饼的意思.cookie其实就是一些数据信息,类型为"小型文本文件",存储于电脑上的文本文件中. Cookie有什么用 我们想象 ...
- 八、一篇文章快速搞懂MySQL 常见的数据类型(整型、小数、字符型、日期型详解)
常见的数据类型 1.数值型: 整型 小数: 定点数 浮点数 2.字符型: 较短的文本:char.varchar 较长的文本:text.blob(较长的二进制数据) 3.日期型: 一.整型 1)分类: ...
- 一篇文章全搞懂!B2B
作为一名刚入行不久的电商新人,时常被各种专业名词搞的晕头转向,公司开会或者行业交流时候没听懂也只能假装呵呵一笑(话说这种呵呵一笑是什么态度!摔).痛心疾首,小编决定总结近期所有我听过的没听过的互联网专 ...
- 目标检测扩(六)一篇文章彻底搞懂目标检测算法中的评估指标计算方法(IoU(交并比)、Precision(精确度)、Recall(召回率)、AP(平均正确率)、mAP(平均类别AP) )
基本在目标检测算法中会碰到一些评估指标.常见的指标参数有:IoU(交并比).Precision(精确度).Recall(召回率).AP(平均正确率).mAP(平均类别AP)等.这些评估指标是在评估 ...
- mysql snowflake_一篇文章彻底搞懂snowflake算法及百度美团的最佳实践
写在前面的话 一提到分布式ID自动生成方案,大家肯定都非常熟悉,并且立即能说出自家拿手的几种方案,确实,ID作为系统数据的重要标识,重要性不言而喻,而各种方案也是历经多代优化,请允许我用这个视角对分布 ...
- 一篇文章彻底搞懂“分布式事务”
在如今的分布式盛行的时代,分布式事务永远都是绕不开的一个话题,今天就谈谈分布式事务相关的一致性与实战解决方案. 01 为什么需要分布式事务 由于近十年互联网的发展非常迅速,很多网站的访问越来越大,集中 ...
- 一篇文章快速搞懂C++生成随机数
使用rand()函数 头文件<stdlib.h> 如果你只要产生随机数而不需要设定范围的话,你只要用rand()就可以了:rand()会返回一随机数值, 范围在0至RAND_MAX 间. ...
- 一篇文章快速搞懂排序算法(含实现源码)
十大排序算法函数声明 时间复杂度表 主函数 #include<iostream> #include<cstdlib> #include<srand> using n ...
- 一篇文章快速搞懂十大排序算法(C++实现源码)
十大排序算法函数声明 时间复杂度表 主函数 #include<iostream> using namespace std;void BubbleSort(int length, int a ...
最新文章
- csapp:无符号数可能造成的程序bug
- 计算机保存的信息是模拟信号,信息技术考试样题(附解析).doc
- 绿建科技加密图纸查看器安装_施工图看不懂?1.1G工程施工图纸详解,253页图文合集一查就清楚...
- Log4Net的WebApplication使用
- ASP.NET Core on K8S深入学习(10)K8S包管理器Helm-Part 1
- php统计字数指定位置,php实现的统计字数函数定义与使用示例
- 多线程三大概念:并发并行,阻塞,同异步
- js request 应用举例
- Process相关函数
- 三星S4 GT-I9500 Google服务包及刷机教程
- DVWA通关教程(上)
- Xmapp安装配置和连接MySQL
- 数据结构练习题——图(含应用题)
- 知识库构建前沿:自动和半自动知识提取
- Java游戏服务器系列:传统的BIO(OIO)、NIO与Netty中的BIO(OIO)、NIO
- 1112_Vue+SpringBoot+Mybatis的简单员工管理项目
- setsockopt用法描述
- 前馈神经网络FNN(原理及实现)
- 亲测软著申请,时间线是这样的。
- AUTOCAD——删除命令、直径标注
热门文章
- 用户态创建socket来控制arp报文的收发,含编码
- Java基础(chapter207-chapter225)总结
- 向日葵 远程开机 linux,教你使用向日葵开机棒轻松实现远程开机
- 使用IPV6技术访问网站
- C51单片机行人过马路按钮控制信号灯及Protues仿真(有缺陷)
- fbreader android源码分析,开源阅读器FBReader Android版本的编译
- 记一次上海银联总部的投标过程
- 万能的林萧说:我来告诉你,一个草根程序员如何进入BAT。
- 计算机与电视如何通过网络连接,怎么设置电脑和电视共用一根网线上网
- 服务器信号满格网速很慢,网速变得很慢(wifi信号满格但网速慢)