文章目录
3. 垃圾回收
3.1 如何判断对象可回收
3.1.1 引用计数法
一个对象被其他变量引用,就让他的计数加一,不再引用就减一,为0时候回收。
弊端:循环引用时,两个对象的计数都为1,导致两个对象都无法被释放
![img](https://i-blog.csdnimg.cn/blog_migrate/e9fea701505de0721018388d2a8f2ac2.png)
3.1.2 可达性分析算法
- JVM中的垃圾回收器通过可达性分析来探索所有存活的对象
- 根对象:肯定不能当作垃圾被回收的对象
- 扫描堆中的对象,看能否沿着GC Root对象为起点的引用链找到该对象,如果找不到,则表示可以回收
- 使用eclipse工具Memory Analyzer(MAT),java堆的分析工具,分析可以作为GC Root的对象
- 系统类(System Class)
- 操作系统调用时引用的java对象(Native Stack)
- 活动线程(Thread):局部变量引用的对象可以当作根对象
- 被加锁对象(Buzy Monitor)
3.1.3 五种引用
- 强引用(实心线箭头):沿着GC Root引用链可以找到的。所有强引用都断开时,被回收。如下图B、C对象都不引用A1对象时,A1对象才会被回收
- 软引用(宽虚线):没有被直接的强引用引用。垃圾回收发生且内存不够时,被回收。如下图如果B对象不再引用A2对象且内存不足时,软引用所引用的A2对象就会被回收。
- 弱引用(细虚线):没有被直接的强引用引用。只要垃圾回收发生,被回收。如下图如果B对象不再引用A3对象,则A3对象会被回收。
- 虚引用(必须配合引用队列):主要配合ByteBuffer。虚引用引用对象被回收后,虚引用进入引用队列,其所在队列由一个referencehandler的线程定时找有没有新进入的cleaner,如果有,根据其直接内存地址,调用Unsafe.freeMemory方法释放直接内存,避免内存泄漏。如下图,B对象不再引用ByteBuffer对象,ByteBuffer就会被回收。但是直接内存中的内存还未被回收。这时需要将虚引用对象Cleaner放入引用队列中,然后调用它的clean方法来释放直接内存
- 终结器引用(必须配合引用队列):无需手动编码。所有的类都继承自Object类,Object类有一个finalize方法。当某个对象不再被其他的对象所引用时,会先将终结器引用对象放入引用队列中,finalizehandler线程根据终结器引用对象找到它所引用的对象,然后调用该对象的finalize方法。调用以后,该对象就可以被垃圾回收了。效率比较低,第一次不能直接回收掉,先入队,入队以后,而且处理的线程优先级很低,被执行机会很少,会造成这个对象的finalize方法迟迟得不到执行,内存无法被释放,不推荐使用。如下图,B对象不再引用A4对象。这是终结器对象就会被放入引用队列中,引用队列会根据它,找到它所引用的对象。然后调用被引用对象的finalize方法。调用以后,该对象就可以被垃圾回收了
3.2 垃圾回收算法
3.2.1 标记清除
![img](https://i-blog.csdnimg.cn/blog_migrate/69b7ae20aa310b766cc85271fc0bbcfc.png)
定义:标记清除算法顾名思义,是指在虚拟机执行垃圾回收的过程中,先采用标记算法确定可回收对象,然后垃圾收集器根据标识清除相应的内容,给堆内存腾出相应的空间
- 这里的腾出内存空间并不是将内存空间的字节清0,而是记录下这段内存的起始结束地址,下次分配内存的时候,会直接覆盖这段内存
缺点:容易产生大量的内存碎片,可能无法满足大对象的内存分配,一旦导致无法分配对象,那就会导致jvm启动gc,一旦启动gc,我们的应用程序就会暂停,这就导致应用的响应速度变慢
3.2.2 标记整理
![img](https://i-blog.csdnimg.cn/blog_migrate/5e21d908dbaab757a4188acd230fc380.png)
标记-整理 会将不被GC Root引用的对象回收,清楚其占用的内存空间。然后整理剩余的对象,可以有效避免因内存碎片而导致的问题,但是因为整体需要消耗一定的时间,所以效率较低
3.2.3 复制
![img](https://i-blog.csdnimg.cn/blog_migrate/90d6a4abbff4ea9e22f35256cb975292.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/5749a082831cd48518786ee35721a72f.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/fffe0a24b3937a6650eeab2f26936ea0.png)
将内存分为等大小的两个区域,FROM和TO(TO中为空)。先将被GC Root引用的对象从FROM放入TO中,再回收不被GC Root引用的对象。然后交换FROM和TO。这样也可以避免内存碎片的问题,但是会占用双倍的内存空间。
3.3 分代垃圾回收
3.3.1 基本原理
新生代:用完就可以丢弃
老年代:长时间使用
- 新创建的对象都被放在了新生代的伊甸园中
- 当伊甸园中的内存不足时,就会进行一次垃圾回收,这时的回收叫做 Minor GC。Minor GC 会将伊甸园和幸存区FROM存活的对象先复制到 幸存区 TO中, 并让其寿命加1,再交换两个幸存区
- 再次创建对象,若新生代的伊甸园又满了,则会再次触发 Minor GC(会触发 stop the world, 暂停其他用户线程,只让垃圾回收线程工作,因为这个过程有对象复制,对象的地址会发生改变),这时不仅会回收伊甸园中的垃圾,还会回收幸存区中的垃圾,再将活跃对象复制到幸存区TO中。回收以后会交换两个幸存区,并让幸存区中的对象寿命加1
- 如果幸存区中的对象的寿命超过某个阈值(最大为15,4bit),就会被放入老年代中
- 如果新生代老年代中的内存都满了,就会先触发Minor GC,再触发Full GC,扫描新生代和老年代中所有不再使用的对象并回收
![img](https://i-blog.csdnimg.cn/blog_migrate/7160ddb159db9b6b3d557a9551fa1766.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/6b80309437d5a923475fa2e127525cc9.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/b759fea8df6ea38c3ba5d8bcf2f1da55.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/0a181de109826d2d5738f305f89745c0.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/ce15abc3440fe62b581ee8443413e455.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/f6633c908df8bfea0fcd49b24186fb5a.png)
3.3.2 相关VM参数
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Qpk4mIJ8-1654543881274)(F:\1111yjs\笔记\JVM.assets\image-20220606061306945.png)]
3.3.3 相关VM参数
-
大对象处理策略
当遇到一个较大的对象时,就算新生代的伊甸园为空,也无法容纳该对象时,会将该对象直接晋升为老年代
-
线程内存溢出
某个线程的内存溢出了而抛异常(out of memory),不会让其他的线程结束运行
这是因为当一个线程抛出OOM异常后,它所占据的内存资源会全部被释放掉,从而不会影响其他线程的运行,进程依然正常
3.4 垃圾回收器
相关概念
并行收集:指多条垃圾收集线程并行工作,但此时用户线程仍处于等待状态。
并发收集:指用户线程与垃圾收集线程同时工作(不一定是并行的可能会交替执行)。用户程序在继续运行,而垃圾收集程序运行在另一个CPU上
吞吐量:即CPU用于运行用户代码的时间与CPU总消耗时间的比值(吞吐量 = 运行用户代码时间 / ( 运行用户代码时间 + 垃圾收集时间 )),也就是。例如:虚拟机共运行100分钟,垃圾收集器花掉1分钟,那么吞吐量就是99%
3.4.1 串行
- 单线程
- 适合堆内存较小,适合个人电脑
![img](https://i-blog.csdnimg.cn/blog_migrate/4f2d92c88e2a93ce063586a61d85a72c.png)
安全点:让其他线程都在这个点停下来,以免垃圾回收时移动对象地址,使得其他线程找不到被移动的对象
因为是串行的,所以只有一个垃圾回收线程。且在该线程执行回收工作时,其他线程进入阻塞状态
Serial 收集器
Serial收集器是最基本的、发展历史最悠久的收集器
特点:单线程、简单高效(与其他收集器的单线程相比),采用复制算法。对于限定单个CPU的环境来说,Serial收集器由于没有线程交互的开销,专心做垃圾收集自然可以获得最高的单线程手机效率。收集器进行垃圾回收时,必须暂停其他所有的工作线程,直到它结束(Stop The World)
ParNew 收集器
ParNew收集器其实就是Serial收集器的多线程版本
特点:多线程、ParNew收集器默认开启的收集线程数与CPU的数量相同,在CPU非常多的环境中,可以使用-XX:ParallelGCThreads参数来限制垃圾收集的线程数。和Serial收集器一样存在Stop The World问题
Serial Old 收集器
Serial Old是Serial收集器的老年代版本
特点:同样是单线程收集器,采用标记-整理算法
3.4.2 吞吐量优先
- 多线程
- 堆内存较大,多核cpu支持
- 让单位时间内,STW时间最短
- JDK1.8默认使用的垃圾回收器
![img](https://i-blog.csdnimg.cn/blog_migrate/7bd2f3bdfd9b6ad5db084c53fd2bfd59.png)
Parallel Scavenge 收集器
与吞吐量关系密切,故也称为吞吐量优先收集器
特点:属于新生代收集器也是采用复制算法的收集器(用到了新生代的幸存区),又是并行的多线程收集器(与ParNew收集器类似)
该收集器的目标是达到一个可控制的吞吐量。还有一个值得关注的点是:GC自适应调节策略(与ParNew收集器最重要的一个区别)
GC自适应调节策略:Parallel Scavenge收集器可设置-XX:+UseAdptiveSizePolicy参数。当开关打开时不需要手动指定新生代的大小(-Xmn)、Eden与Survivor区的比例(-XX:SurvivorRation)、晋升老年代的对象年龄(-XX:PretenureSizeThreshold)等,虚拟机会根据系统的运行状况收集性能监控信息,动态设置这些参数以提供最优的停顿时间和最高的吞吐量,这种调节方式称为GC的自适应调节策略。
Parallel Scavenge收集器使用两个参数控制吞吐量:
- XX:MaxGCPauseMillis 控制最大的垃圾收集停顿时间
- XX:GCRatio 直接设置吞吐量的大小
Parallel Old 收集器
是Parallel Scavenge收集器的老年代版本
特点:多线程,采用标记-整理算法(老年代没有幸存区)
3.4.3 响应时间优先
- 多线程
- 堆内存较大,多核cpu支持
- 尽可能让单次STW时间最短
![img](https://i-blog.csdnimg.cn/blog_migrate/59307b3ead7530e2f9fedaaf71f5608f.png)
CMS 收集器
Concurrent Mark Sweep,一种以获取最短回收停顿时间为目标的老年代收集器
特点:基于标记-清除算法实现。并发收集、低停顿,但是会产生内存碎片
应用场景:适用于注重服务的响应速度,希望系统停顿时间最短,给用户带来更好的体验等场景下。如web程序、b/s服务
CMS收集器的运行过程分为下列4步:
初始标记:标记GC Roots能直接到的对象。速度很快但是仍存在Stop The World问题
并发标记:进行GC Roots Tracing 的过程,找出存活对象且用户线程可并发执行
重新标记:为了修正并发标记期间因用户程序继续运行而导致标记产生变动的那一部分对象的标记记录。仍然存在Stop The World问题
并发清除:对标记的对象进行清除回收
CMS收集器的内存回收过程是与用户线程一起并发执行的
相关参数:占用cou数量,浮动垃圾,内存占比
3.4.4 G1
3.4.4.1 概述
-
定义:Garbage First
- 2004论文发布
- 2009 JDK 6u14 体验
- 2012 JDK 7u4 官方支持
- 2017 JDK 9 默认,而且替代了CMS 收集器
-
适用场景
-
同时注重吞吐量和低延迟(响应时间)
-
超大堆内存(内存大的),会将堆内存划分为多个大小相等的区域
-
整体上是标记-整理算法,两个区域之间是复制算法
-
-
相关参数
- -XX:+UseG1GC
- -XX:G1HeapRegionSize=size
- -XX:MaxGCPauseMillis=time
3.4.4.2 回收阶段
![img](https://i-blog.csdnimg.cn/blog_migrate/a75b8092769f64eaabfdd3bd5c5b0d42.png)
新生代伊甸园垃圾回收—–>内存不足,新生代回收+并发标记—–>回收新生代伊甸园、幸存区、老年代内存——>新生代伊甸园垃圾回收(重新开始)
3.4.4.3 新生代(Young Collection)
分代是按对象的生命周期划分,分区则是将堆空间划分连续几个不同小区间,每一个小区间独立回收,可以控制一次回收多少个小区间,方便控制 GC 产生的停顿时间
E:伊甸园 S:幸存区 O:老年代
![img](https://i-blog.csdnimg.cn/blog_migrate/50b05082c02df7bbcf6855442f9c6a0a.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/677a9796c7e6d6e8aa9ad695548a3476.png)
![img](https://i-blog.csdnimg.cn/blog_migrate/d58f908ba369db2b196542618d91af95.png)
3.4.4.4 新生代(Young Collection)+ 并发标记(CM)
- 在 Young GC 时会对 GC Root 进行 初始标记,并发标记是顺着他的引用链出发,找到其他对象
- 在老年代占用堆内存的比例达到阈值时,对进行并发标记(不会STW),阈值可以根据用户来进行设定,默认45%
![img](https://i-blog.csdnimg.cn/blog_migrate/c08d465535e508cb4e7d28f8061292b0.png)
3.4.4.4 混合收集(Mixed Collection)
会对E S O 进行全面的回收
- 最终标记
- 拷贝存活
-XX:MaxGCPauseMills:xxx 用于指定最长的停顿时间
问:为什么有的老年代被拷贝了,有的没拷贝?
因为指定了最大停顿时间,如果对所有老年代都进行回收,耗时可能过高。为了保证时间不超过设定的停顿时间,会回收最有价值的老年代(回收后,能够得到更多内存)
![img](https://i-blog.csdnimg.cn/blog_migrate/dc6d0e660dbc3f718ed10042d5acebd1.png)
3.4.4.5 Full GC
- SerialGC(串行)
- 新生代内存不足发生的垃圾收集: -minor gc
- 老年代内存不足发生的垃圾收集: -full gc
- ParallelGC(并行)
- 新生代内存不足发生的垃圾收集: -minor gc
- 老年代内存不足发生的垃圾收集: -full gc
- CMS
- 新生代内存不足发生的垃圾收集: -minor gc
- 老年代内存不足:
- 如果垃圾产生速度慢于垃圾回收速度,不会触发Full GC,还是并发地进行清理
- 如果垃圾产生速度快于垃圾回收速度,便会触发Full GC
- G1
- 新生代内存不足发生的垃圾收集: -minor gc
- 老年代内存不足(老年代所占内存超过阈值,默认45%):
- 如果垃圾产生速度慢于垃圾回收速度,不会触发Full GC,还是并发地进行清理
- 如果垃圾产生速度快于垃圾回收速度,便会触发Full GC
3.4.4.6 跨代引用(Young Collection)
- 新生代回收的跨代引用(老年代引用新生代)问题
![img](https://i-blog.csdnimg.cn/blog_migrate/5be3a5120802e38579889eb5f954e516.png)
- 卡表与Remembered Set
- Remembered Set 存在于E中,用于保存新生代对象对应的脏卡
- 脏卡:O被划分为多个区域(一个区域512K),如果该区域引用了新生代对象,则该区域被称为脏卡
- Remembered Set 存在于E中,用于保存新生代对象对应的脏卡
- 在引用变更时通过post-write barried + dirty card queue
- concurrent refinement threads 更新 Remembered Set
![img](https://i-blog.csdnimg.cn/blog_migrate/4578204a039d959f0dd16518ff7de1be.png)
3.4.4.7 重标记(Remark)
重新标记阶段
在垃圾回收时,收集器处理对象的过程中
黑色:已被处理,需要保留的 灰色:正在处理中的 白色:还未处理的
![img](https://i-blog.csdnimg.cn/blog_migrate/caf1cafca0e492f8968ad34f2f7a32fa.png)
但是在并发标记过程中,有可能A被处理了以后未引用C,但该处理过程还未结束,在处理过程结束之前A引用了C,这时就会用到remark
过程如下
- 之前C未被引用,这时A引用了C,就会给C加一个写屏障,写屏障的指令会被执行,将C放入一个队列当中,并将C变为 处理中 状态
- 在并发标记阶段结束以后,重新标记阶段会STW,然后将放在该队列中的对象重新处理,发现有强引用引用它,就会处理它
![img](https://i-blog.csdnimg.cn/blog_migrate/f394df4608bed59fe812012f8109351b.png)
3.4.4.8 JDK 8u20 字符串去重
过程
- 将所有新分配的字符串(底层是char[])放入一个队列
- 当新生代回收时,G1并发检查是否有重复的字符串
- 如果字符串的值一样,就让他们引用同一个字符串对象
- 注意,其与String.intern的区别
- intern关注的是字符串对象
- 字符串去重关注的是char[]
- 在JVM内部,使用了不同的字符串标
优点与缺点
- 节省了大量内存
- 新生代回收时间略微增加,导致略微多占用CPU
3.4.4.9 JDK 8u40 并发标记类卸载
在并发标记阶段结束以后,就能知道哪些类不再被使用。如果一个类加载器的所有类都不在使用,则卸载它所加载的所有类
3.4.4.10 JDK 8u60 回收巨型对象
- 一个对象大于region的一半时,就称为巨型对象
- G1不会对巨型对象进行拷贝
- 回收时被优先考虑
- G1会跟踪老年代所有incoming引用,如果老年代incoming引用为0的巨型对象就可以在新生代垃圾回收时处理掉
![img](https://i-blog.csdnimg.cn/blog_migrate/e9ac85f4b8c0ef5ebcbfdf7de3a21654.png)
3.5 垃圾回收调优
3.5.1 调优领域
- 内存
- 锁竞争
- CPU占用
- IO
- GC
3.5.2 确定目标
-
低延迟?高吞吐量? 选择合适的GC
-
低延迟:CMS G1 ZGC(java12)
-
高吞吐量:ParallelGC
-
0停顿:Zing
3.5.3 最快的GC是不发生GC
首先排除减少因为自身编写的代码而引发的内存问题
- 查看Full GC前后的内存占用,考虑以下几个问题
- 数据是不是太多?
- 数据表示是否太臃肿
- 对象图
- 对象大小
- 是否存在内存泄漏
3.5.4 新生代调优
- 新生代的特点
- 所有的new操作分配内存都是非常廉价的
- TLAB
- 死亡对象回收零代价
- 大部分对象用过即死(朝生夕死)
- MInor GC 所用时间远小于Full GC
- 所有的new操作分配内存都是非常廉价的
- 新生代内存越大越好么?
- 不是
- 新生代内存太小:频繁触发Minor GC,会STW,会使得吞吐量下降
- 新生代内存太大:老年代内存占比有所降低,会更频繁地触发Full GC。而且触发Minor GC时,清理新生代所花费的时间会更长
- 新生代内存设置为内容纳[并发量*(请求-响应)]的数据为宜
- 不是
3.5.5 幸存区调优
- 幸存区需要能够保存 当前活跃对象+需要晋升的对象
- 晋升阈值配置得当,让长时间存活的对象尽快晋升
3.5.6 老年代调优
以CMS为例
- CMS的老年代内存越大越好
- 先尝试不做调优,如果没有Full GC那么已经很ok了,否则先尝试调优新生代
- 观察发生 Full GC 时老年代内存占用,将老年代内存预设调大 1/4 ~ 1/3