后端面试每日一题垃圾回收算法(1)

erghtt

于 2024-04-20 11:40:17 发布

阅读量789

点赞数 23

分类专栏：程序员文章标签：算法面试 jvm

本文链接：https://blog.csdn.net/erghtt/article/details/137994810

版权

程序员专栏收录该内容

560 篇文章 1 订阅

订阅专栏

本文介绍了引用计数算法在垃圾收集中的应用，其优点和循环引用问题，随后探讨了可达性分析算法及Java中的GCRoots。文章还涉及了标记-清除、标记-复制和标记-整理三种垃圾回收算法，以及finalizer和内存碎片化的处理。最后，提到一份Java开发学习资源，包括面试题库和技术点覆盖范围。

摘要由CSDN通过智能技术生成

引用计数算法（Reference Counting）属于垃圾收集器最早的实现算法了，它是指在创建对象时关联一个与之相对应的计数器，当此对象被使用时加 1，相反销毁时 -1。当此计数器为 0 时，则表示此对象未使用，可以被垃圾收集器回收。

引用计数算法的优缺点很明显，其优点是垃圾回收比较及时，实时性比较高，只要对象计数器为 0，则可以直接进行回收操作；而缺点是无法解决循环引用的问题，比如以下代码：

class CustomOne {

private CustomTwo two;

public CustomTwo getCustomTwo() {

return two;

}

public void setCustomTwo(CustomTwo two) {

this.two = two;

}

class CustomTwo {

private CustomOne one;

public CustomOne getCustomOne() {

return one;

}

public void setCustomOne(CustomOne one) {

this.one = one;

}

public class RefCountingTest {

public static void main(String[] args) {

CustomOne one = new CustomOne();

CustomTwo two = new CustomTwo();

one.setCustomTwo(two);

two.setCustomOne(one);

one = null;

two = null;

}

即使 one 和 two 都为 null，但因为循环引用的问题，两个对象都不能被垃圾收集器所回收。

可达性分析算法（Reachability Analysis）是目前商业系统中所采用的判断对象死亡的常用算法，它是指从对象的起点（GC Roots）开始向下搜索，如果对象到 GC Roots 没有任何引用链相连时，也就是说此对象到 GC Roots 不可达时，则表示此对象可以被垃圾回收器所回收，如下图所示：

当确定了对象的状态之后（存活还是死亡)接下来就是进行垃圾回收了，垃圾回收的常见算法有以下几个：

标记-清除算法；
标记-复制算法；
标记-整理算法。

标记-清除（Mark-Sweep）算法属于最早的垃圾回收算法，它是由标记阶段和清除阶段构成的。标记阶段会给所有的存活对象做上标记，而清除阶段会把没有被标记的死亡对象进行回收。而标记的判断方法就是前面讲的引用计数算法和可达性分析算法。

标记-清除算法的执行流程如下图所示：

从上图可以看出，标记-清除算法有一个最大的问题就是会产生内存空间的碎片化问题，也就是说标记-清除算法执行完成之后会产生大量的不连续内存，这样当程序需要分配一个大对象时，因为没有足够的连续内存而导致需要提前触发一次垃圾回收动作。

标记-复制算法是标记-清除算法的一个升级，使用它可以有效地解决内存碎片化的问题。它是指将内存分为大小相同的两块区域，每次只使用其中的一块区域，这样在进行垃圾回收时就可以直接将存活的东西复制到新的内存上，然后再把另一块内存全部清理掉。这样就不会产生内存碎片的问题了，其执行流程如下图所示：

标记-复制的算法虽然可以解决内存碎片的问题，但同时也带来了新的问题。因为需要将内存分为大小相同的两块内存，那么内存的实际可用量其实只有原来的一半，这样此算法导致了内存的可用率大幅降低了。

标记-整理算法的诞生晚于标记-清除算法和标记-复制算法，它也是由两个阶段组成的：标记阶段和整理阶段。其中标记阶段和标记-清除算法的标记阶段一样，不同的是后面的一个阶段，标记-整理算法的后一个阶段不是直接对内存进行清除，而是把所有存活的对象移动到内存的一端，然后把另一端的所有死亡对象全部清除，执行流程图如下图所示：

GC Roots

在 Java 中可以作为 GC Roots 的对象，主要包含以下几个：

所有被同步锁持有的对象，比如被 synchronize 持有的对象；
字符串常量池里的引用（String Table）；
类型为引用类型的静态变量；
虚拟机栈中引用对象；
本地方法栈中的引用对象。

死亡对象判断

当使用可达性分析判断一个对象不可达时，并不会直接标识这个对象为死亡状态，而是先将它标记为“待死亡”状态再进行一次校验。校验的内容就是此对象是否重写了 finalize() 方法，如果该对象重写了 finalize() 方法，那么这个对象将会被存入到 F-Queue 队列中，等待 JVM 的 Finalizer 线程去执行重写的 finalize() 方法，在这个方法中如果此对象将自己赋值给某个类变量时，则表示此对象已经被引用了。因此不能被标识为死亡状态，其他情况则会被标识为死亡状态。

以上流程对应的示例代码如下：

public class FinalizeTest {

// 需要状态判断的对象

public static FinalizeTest Hook = null;

@Override

protected void finalize() throws Throwable {

super.finalize();

System.out.println(“执行了 finalize 方法”);

FinalizeTest.Hook = this;

}

public static void main(String[] args) throws InterruptedException {

Hook = new FinalizeTest();