垃圾收集算法-CSDN博客

本文链接：https://blog.csdn.net/hjjjjjjj_/article/details/118016215

垃圾收集算法

从如何判定对象消亡的角度出发，垃圾收集算法可以划分为“引用计数式垃圾收集”（Reference Counting GC）和“追踪式垃圾收集”（Tracing GC）两大类，这两类也常被称作“直接垃圾收集”和“间接垃圾收集”。因为引用计数式垃圾收集算法在主流Java虚拟机中均为涉及，所以以下算法均属于追踪式垃圾收集的范畴

一、分代收集理论

当前商业虚拟机的垃圾收集器，大多都遵循了“分代收集”的理论进行设计，它建立在两个分代假说之上：

弱分代假说：绝大多数对象都是朝生夕灭的
强分代假说：熬过越多次垃圾收集过程的对象就越难以消亡
跨代引用假说：跨代引用相对于同代引用来说仅占极少数

这两个分代假说共同奠定了多款常用的垃圾收集器的一致的设计原则：收集器应该将Java堆划分出不同的区域，然后将回收的对象依据其年龄（年龄即对象熬过垃圾收集过程的次数）分配到不同的区域之中存储。如果一个区域之中大多数对象都是难以熬过垃圾收集过程的话，那么把它们集中放在一起，每次回收只关注如何保留少量存活的对象，就能以较低代价回收到大量的空间；如果将难以消亡的对象集中在一块，虚拟机便可以使用较低的频率来回收这个区域，这就同时兼顾了垃圾收集的时间开销和内存空间有效利用

分代收集：

部分收集（Partial GC）：指目标不是完整收集整个Java堆的垃圾收集，其中又分为：

新生代收集（Minor GC/Young GC）：指目标只是新生代的垃圾收集
老年代收集（Major GC/Old GC）：指目标只是老年代收集
混合收集（Mixed GC）：指目标是收集整个新生代以及部分老年代的垃圾收集

整堆收集（Full GC）：收集整个Java堆和方法区的垃圾收集

二、标记-清除算法

“标记-清除”（Mark-Sweep）算法是最早出现也是最基础的垃圾收集算法，后续的收集算法大多都是以标记-清除算法为基础，对其缺点进行改进得到的。如它的名字一样，算法分为“标记”和“清除”两个阶段：首先标记出所有需要回收的对象，在标记完成后，统一回收掉所有被标记的对象，也可以反过来，标记存活的对象，统一回收未被标记的对象。标记过程就是对象是否属于垃圾的判定过程

在这里插入图片描述

主要缺点：

执行效率不稳定：当Java堆中存在大量需要被回收的对象时，就必须进行大量标记和清除的动作，导致这个过程的执行效率随着对象的数量增长而降低
内存空间碎片化问题：标记、清除之后会产生大量不连续的内存碎片，空间碎片太多可能会导致当以后程序运行过程中需要分配较大对象时无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作

三、标记-复制算法

标记-复制算法常被简称为复制算法，是一种称为“半区复制”的垃圾收集算法，最初是为了解决标记-清除算法面对大量可回收对象时执行效率低的问题而提出的。

它将可用内容按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉，最后移动堆顶指针，将需要使用的空间指针指向复制到空间上

这是最开始堆内存中的样子，只使用from这块的内存
在这里插入图片描述
现在将不需要被回收的内存复制到to中

将原来from中剩下的需要被回收的内存清除掉

在这里插入图片描述
这里移动了堆顶指针，将from指针引用到了原来to指针引用的地方，然后继续使用现在from指针引用的内存，以此反复

优点：

对于多数对象都是可回收的情况，就只需要复制占少数的存活对象
每次都只是针对整个半区进行内存回收，分配内存时就不用考虑有空间碎片的复杂情况，只要移动堆顶指针，按顺序分配即可。这样实现简单，运行高效

缺点：

如果内存中多数对象都是存活的，这种算法将会产生大量的内存空间复制的开销
这种复制回收算法的代价是将可用内存缩小为了原来的一半

现在的商用Java虚拟机大多都优先采用了这种收集算法去回收新生代。

Appel式回收

这是针对具备“朝生夕灭”特点的对象提出的一种更优化的半区复制分代策略。

Appel式回收的具体做法是把新生代分为一块较大的Eden空间和两块较小的Survivor空间，每次分配内存只使用Eden和其中一块Survivor。发生垃圾收集时，将Eden和Survivor中仍然存活的对象一次性复制到另外一块Survivor空间上，然后直接清理掉Eden和已用过的那块Survivor空间，HotSpot虚拟机默认Eden和Survivor的大小比例是8:1，当Survivor的空间不足以容纳一次新生代垃圾回收之后存活的对象时，就需要依赖其他内存区域（实际上大多就是老年代）进行分配担保，就是将这些对象通过分配担保机制直接进入老年代。这是Appel式回收的一个充当罕见情况的“逃生门”的安全设计。

四、标记-整理算法

标记-复制算法在对象存活率较高时就要进行较多的复制操作，效率将会降低。更关键的是，如果不想浪费50%的空间，就需要有额外的空间进行分配担保，以应对被使用的内存中所有对象都100%存活的极端情况，所以在老年代一般不能直接选用这种算法

针对老年代对象的死亡特征，提出了一种有针对性的“标记-整理”算法，其中标记过程仍然与“标记-清除”算法一样，然后让所有存活的对象都向内存空间一端移动，最后直接清理掉边界以外的内存
在这里插入图片描述
标记-清除算法与标记-整理算法的本质差异在于前者是一种非移动式的回收算法，而后者是移动式，但是否移动回收的存活对象是一项优缺点并存的风险决策