本篇博客将从以下5个部分学习JVM中的垃圾回收:
- 如何判断对象可以回收
- 垃圾回收算法
- 分代垃圾回收
- 垃圾回收器
- 垃圾回收调优
一、如何判断对象可以回收
1、引用计数法
一个对象如果被另一个对象引用,它的引用计数就加1;如果被解除引用了,就减1;当一个对象的引用计数被减到0时,说明这个引用对象可以被回收。
缺点:当对象之间循环引用时,即使这些对象都不再使用了,也不会被JVM视为可回收的垃圾,如下图所示:
2、可达性分析算法
这种方法会确定一些对象为根对象(GC Roots),在垃圾回收之前,首先会扫描一遍堆内存,如果一个对象没有被任何一个根对象直接或间接引用,就会被视为可回收的垃圾。
Q:哪些对象可以作为根对象(GC Roots)?
A:
补充: 对象可以回收,就一定会被回收吗?
①首先回答结论 : 不是。
②要真正宣告一个对象死亡,至少要经历两次标记过程;可达性分析法中不可达的对象被第一次标记并且进行一次筛选,筛选的条件是此对象是否有必要执行 finalize 方法。【当对象没有覆盖 finalize 方法,或 finalize 方法已经被虚拟机调用过时,虚拟机将这两种情况视为没有必要执行。 】
③执行finalize之后,如果对象仍然没有被任何GC Roots引用,那么就会被真的回收。
参考资料 : https://zhuanlan.zhihu.com/p/358456315
二、5种引用
5种引用分别指:强引用、软引用、弱引用、虚引用和终接器引用,其中,前4种引用是比较常提到的引用。
我们以下图为例来了解这5种引用:图中的实现代表了强引用,虚线分别代表了软引用、弱引用、虚引用和终接器引用。
- 强引用:只要一个对象被强引用了,就不会被回收,如上图中的A1对象。
Q:那A1这种对象什么时候被回收呢?
A:当所有GC Roots都断开了对A1的强引用时,A1就能够被回收。 - 软引用:当一个对象只被软引用时(没有强引用),当发生垃圾回收且内存不够时,这个对象就会被回收。
- 弱引用:当一个对象只被软引用时(没有强引用),当发生垃圾回收时,这个对象就会被回收。
软引用和弱引用的区别:
这两个引用比较类似,唯一的不同在于软引用被回收的条件比弱引用多了一个:内存不足。
软、弱引用还可以配合一个“引用队列”使用:如上图所示,在GC Roots和软引用对象(A2)之间还有一个部分(绿色矩形的软引用),这个引用也会占用一部分内存,因此,当A2被回收掉了之后,这个引用会被加入到一个引用队列中,JVM会回收掉引用队列中的软引用以进一步释放内存。弱引用同理。 - 虚引用:
必须配合引用队列使用。
- 终接器引用:
无需手动编码。
如上图,B对象不再引用A4对象。这时终结器引用就会被放入引用队列中,引用队列会根据它,找到终接器引用所引用的对象。然后调用被引用对象的finalize方法。调用以后,该对象在下次GC时就会被垃圾回收掉。
总结一下:
扩展:①软引用的使用、以及配合引用队列释放软引用。②弱引用的使用。
三、回收算法
1、3种基本回收算法
主要有3种回收算法:标记-清除、标记-整理、复制。
1)标记-清除算法
流程:先标记哪些对象是垃圾 → 清除(把垃圾对象所占用的空间释放)。
优点:速度快。
缺点:会造成内存碎片。
2)标记整理
流程:先标记哪些对象是垃圾 → 清除,一边清除垃圾一边把存活对象往前移,避免内存碎片。
优点:不会造成内存碎片。
缺点:由于需要移动对象,所以效率较低。
3)复制
流程:将内存区域一分为二,分为FROM区和TO区。首先扫描FROM区并进行标记,然后将存活对象全部复制到TO区中,之后清除整个FROM区,并交换FROM区和TO区的位置(即将原来的FROM区变成新的TO区,将原来的TO区变成新的FROM区)。
优点:不会产生内存碎片。
缺点:要占用双倍的内存空间。
2、分代回收算法
实际在GC中并不是简单地直接应用上述3种思路,会更加复杂一点 :
1)实际应用中,会将堆区域划分成年轻代 (Young区) 和 老年代 (Old区);年轻代再进一步划分为Eden区、Survivor From和Survivor To区。
上图中的伊甸园即Eden区。
2)Eden区 : Eden区的命名灵感来自于伊甸园,也就是新生命诞生的地方,所以很好理解,所有新创建 (new) 的对象都保存在Eden区中。当Eden区存满之后,就会触发只针对Young区的GC操作,也就是Young GC(也称为Minor GC)。
3)Minor GC :
①Minor GC删除对象时采用的是复制方法 (上文第2点):将Eden区和 From区存活的对象使用 copy 复制到 To区中,使存活的对象年龄加 1,然后交换 From 和 To区。
补充 : 由于对象通常具有“朝生夕死”的特点 (即存活的对象数量不多),所以Survivor From和Survivor To会比Eden区小,通常大小比例是1:1:8。
②Minor GC 会引发 Stop The World,即暂停其它用户的线程,全力进行垃圾回收,等到垃圾回收结束后用户线程才恢复运行。
③当对象寿命超过阈值时,会晋升至老年代,最大寿命是15(4bit)。但不同垃圾收集器的阈值可能不同。
4)Old区 : 存放大对象或者age大于阈值的对象。
当老年代空间不足,会先尝试触发 Minor GC ,如果Minor GC之后空间仍然不足,那么就会触发 Full GC。Full GC也会触发STW (Stop The World),并且STW的时间更长。如果Full GC之后内存还是不足,那么就会报错:OutOfMemoryError: Java heap space。
Full GC通常会采用标记-清理法或标记-整理法 (上文第2点),这与垃圾收集器有关。
大对象策略:当遇到一个较大的对象时,就算Eden区为空也无法容纳该对象时,会将该对象直接晋升为老年代。
3、JVM常用参数
补充:
-XX:SurvivorRatio=ratio:幸存区比例,这个参数用于设置Eden区内存占新生代内存的比例。
-XX:MaxTenuringThreshold=threshold:晋升阈值,这个参数设置从新生代升级到老年代的年龄阈值。
4、GC分析
当发生GC时,可以通过打印信息分辨是什么类型的GC。如果如上图只打印了“GC”,说明是Minor GC;如果打印了“Full GC”,那说明是Full GC。
5、垃圾回收器
垃圾回收器主要分成三种类型:串行、吞吐量优先、响应时间优先。
补充:解释下吞吐量优先和响应时间优先:假设现在单位时间为1h,吞吐量优先的垃圾回收器会争取让1h内STW的总时间最短;而响应时间优先的垃圾回收器争取的是每次STW的时间最短。
1)串行垃圾回收器
2)吞吐量优先垃圾回收器
这种垃圾回收器是多线程的,这里的多线程指同时有多个垃圾回收线程,其余线程统统需要暂停(这点在前面STW已经讲过)。
Parallel:并行的。
3)响应时间优先的垃圾回收器
只有在初始标记和重新标记阶段会发生STW(暂停用户线程),其余阶段可以与用户线程并行。
concurrent:并发的。mark:标记。sweep:清除。
从名字上能轻易看出CMS垃圾回收器是采用并发清除算法进行垃圾回收的,这样会产生内存碎片,当因内存碎片而导致并发失败时,CMS垃圾回收器就会退化成Serial垃圾回收器(串行)。
4)G1(Garbage First)
G1会把堆内存划分为许多个大小相等的Region,每个区都可以被用来当做Eden区、Survivor区和老年代。
G1垃圾回收阶段:下图中三个阶段循环进行。
- Young Collection:对新生代进行GC.
- Young Collection + Concurrent Mark:对新生代进行GC的同时进行一些并发标记。
- Mixed Collection:对新生代和老年代都进行GC.
四、相关问题
1、Q:Young GC时,如果在把Eden区和From区的存活对象复制到To区时,To区放不下了会怎么办?
A:如果To区放不下了,多出来的对象会直接放到Old区中。
2、Q: 如何判断常量可回收?
3、Q:如何判断类可回收?
A:①该类的所有实例都被已经回收了。②该类的ClassLoader已经被回收了。③该类对应的java.lang.Class对象没有在任何地方被引用,无法在任何地方通过反射访问该类的方法。