标记-清除算法 标记-整理算法 复制算法 分代收集算法
1.标记-清除算法
算法核心思想:
分为标记-清除两个阶段,标记阶段标记处此次垃圾回收需要回收的对象,清除阶段一次性清除所有带标记的对象。
不足:
- 效率问题:标记和清除这两个过程的效率都不高
- 空间问题:标记清除后会产生大量不连续的内存碎片,空间碎片太多可能会导致以后在程序运行中需要分配较大对象时,无法找到足够连续内存而不得不再次触发GC。
标记-清除算法的执行过程
回收前状态:
回收后状态:
2.复制算法(新生代回收算法)
算法核心思想:
将内存按容量划分为大小相等的两块,每次只使用其中一块内存。当使用的内存需要进行垃圾回收时,会将此区域的所有存活对象一次性复制到保留区域,然后将使用的内存块一次清理掉。
优劣:
- 这样做的好处是每次都是对整个半区进行内存回收,内存分配时也就不需要在考虑内存碎片等复杂情况,只需要移动栈顶指针,按顺序分配即可。
- 复制算法最大的问题在于内存利用率太低。
复制算法的执行过程
回收前状态:
回收后状态:
新生代中98%的对象都是“朝夕生死”的,所以并不需要按照1:1的比例来划分内存空间,而是将内存(新生代内存)分为一块较大的Eden区和两块Survivor区,每次使用Eden和一块Survivor区。当回收时,将Eden和Survivor区中还存活的对象一次性复制到另一块Survivor中,最后清理掉Eden和刚才用过的Survivor区。
当Survivor空间不够用时,需要依赖其他内存(老年代)进行分配担保。
HotSpot默认Eden与Survivor的大小比例是8:1:1.所以每次新生代可用内存空间为整个新生代容量的90%,而剩下的10%用来存放回收后依然存活的对象。
HotSpot实现的复制算法流程如下:
- 当Eden区满的时候,会触发第一次Minor GC,将所有存活对象拷贝到Survivor的From区域中,然后一次性清除Eden区;当Eden区再次触发Minor GC,会扫描Eden区和From区,将这两块空间中的存活对象拷贝到To区,而后一次性清理掉Eden与From区域。
- 当后续Eden区再次发生MinorGC时,会对Eden和To区进行回收,存活对象移动到From区中,后续流程类似,只是将From和To区来回作为保留区域。
- 部分对象会在From与To区中来回复制,如此交换15次(MaxTenuringThreshold,默认为15)最终会存入老年代。
3.标记-整理算法(老年代回收算法)
算法核心思想:
标记过程与“标记-清除”过程一直,但后续步骤不是直接对可回收对象进行清理,而是让所有存活对象都向一端移动,然后直接清理掉端边界以外的内存。
标记-整理算法的执行过程
回收前状态:
回收后状态:
4.分代收集算法
算法核心思想:
根据对象的存活周期将内存划分为以下两块。
- 新生代:每次GC都有大批对象死去,只有少量存活,因此采用复制算法;
- 老年代:对象存活率高、没有额外空间对其分配担保,采用 “标记-清理” 或者 “标记-整理” 。
Minor GC和Full GC两种GC的区别:
- Minor GC又称为新生代GC:指的是发生新生代的垃圾回收。由于新生代对象太多存活周期较短,因此Minor GC发生频率非常频繁,一般回收速度也较高;
- Full GC又称为老年代GC或者Major GC:指的是发生在老年代的垃圾回收。出现了Major GC通常会伴随至少一次的Minor GC(并非绝对)。一般Full GC比Minor GC慢10倍以上,发生频率较低。
怎么优化复制算法?
优化复制算法:
由于每次执行复制算法的时候,所有存活的对象都要被复制,这样效率很低。由于程序中创建的大部分对象的生命周期都很短,只有一部分对象有较长的生命周期,因此可以针对这个特点对复制算法进行优化,采用分代垃圾回收算法。