垃圾收集算法
-
标记清除算法
标记清除算法分为标记,清除两个步骤,首先标记算法对可回收的对象进行标记,然后垃圾收集器根据标记清除相应的内容。
不是说将内存空间的字节清零,而是记录下这段内存的真实结束地址,下一次分配内存的时候,会直接覆盖这段内存。
标记清除算法是最基础的算法,后续收集算法大多都是标记清除算法为基础的,对其缺点进行改进的
主要有两个缺点:
- 执行效率不稳定,如果Java堆中包含大量对象,并且其中大部分是需要被回收的,这时必须进行大量标记和清除的动作,导致标记和清除两个过程会的执行效率对随着数量增长而降低;
- 内存碎片化问题,标记和清除会产生大量不连续的内存碎片,空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。
-
标记整理算法
标记整理算法与标记清除算法的标记过程一样,只是后续步骤不是直接对可回收对象进行清理而是将所有存活对象向内存空间一端移动然后清理掉边界以外的内存
-
标记复制算法
标记复制算法简称为复制算法,为了解决标记清除算法面对大量可回收对象时执行效率低的问题,提出了“半区复制”的垃圾收集算法:将可用内存按容量分为大小相等的两块,每次只是用其中的一块,当这一块内存用完了,就将还存活的对象复制到另外一块上面,然后再把已使用的内存空间一次清理掉。如果内存中多数的对象是存活的,就会造成大量的内存间复制的开销;但这样可以避免造成内存碎片的问题。
分代垃圾回收
当前商业虚拟机的垃圾收集器,大多数都遵循了“分代收集”的理论进行设计,分代收集名为理论,实质是一套符合大多数程序运行实际情况的经验法则,它建立在两个分代假说之上:
- 弱分代假说:绝大多数对象都是朝生夕灭的。
- 强分代假说:熬过越多次垃圾收集过程的对象就越难以消亡。
这两个分代假说奠定了多款常用的垃圾收集器的一致的设计原则:收集器应该将Java堆划分出不同的区域,然后将回收对象依据其年龄分配到不同的区域中存储。
如果一个区域中大多数对象都是朝生夕灭的,难以熬过垃圾收集过程的话,那么把它们集中在一起,每次回收时只关注如何保留少量存活而不是去标记那些大量将要被回收的对象,就能以较低代价回收到大量的空间;如果剩下的都是难以消亡的对象,那把它们集中放到一起,虚拟机便可以使用较低的频率来回收这个区域,这就同时兼顾了垃圾收集的时间开销和内存的空间有效利用。
Java对划分出不同的区域之后垃圾收集器才可以每次只回收其种某一个或者某些部分的区域,因而有了“Minor GC"、“Major Gc”、"Full GC"这样的回收类型的划分;也才能针对不同的区域安排与里面存储对象存亡特征相匹配的垃圾收集算法,因而发展出了”标记清除算法“,”标记整理算法“,”标记复制算法“。
回收流程:
长时间使用的对象放在老年代中(长时间回收一次,回收花费时间久),用完即可丢弃的对象放在新生代中(频繁需要回收,回收速度相对较快)
新创建的对象都放在了新生代的eden区
当eden区无法在放入新创建的对象时就会触发一次Minor GC,Minor GC会将eden区和幸存区from仍需要存活的对象先复制到幸存区to中,并将其寿命加一,在交换from和to。
将eden存活的对象复制到to区,清理掉eden中剩余的对象
交换from和to
继续向eden中添加对象,当第二次进行Minor GC时,将eden区和from中存活的对象复制到to,然后交换from和to,下图from区中1代表从eden复制过来的对象,2代表上一步在from中这次经过垃圾回收人存活的对象其寿命再加一。
当幸存区某个对象的寿命超过某个阈值就会被放入老年代中
如果新生代老年代中的内存都满了就会先进行一次Minor GC,在进行一次Full GC,扫描新生代和老年代中所有不在存活的对象进行回收。
小结:
- 新创建的对象首先会被分配在伊甸园区域。
- 新生代空间不足时,触发Minor GC,伊甸园和 FROM幸存区需要存活的对象会被COPY到TO幸存区中,存活的对象寿命+1,并且交换FROM和TO。
- Minor GC会引发 Stop The World:暂停其他用户的线程,等待垃圾回收结束后,用户线程才可以恢复执行。
- 当对象寿命超过阈值15时,会晋升至老年代。
- 如果新生代、老年代中的内存都满了,就会先触发Minor GC,再触发Full GC,扫描新生代和老年代中所有不再使用的对象并回收。
参考文章:
深入理解Java虚拟机