JVM篇: 垃圾回收相关概念

2023年 7月 14日 110.1k 0

System.gc()的理解

在默认情况下,通过 System.gc()Runtime.getRuntime().gc() 的调用,会显式触发 Full GC,同时对老年代和新生代进行回收,尝试释放被丢弃对象占用的内存。

然而 System.gc() 调用附带一个免责声明,无法保证对垃圾收集器的调用。(不能确保立即生效,只是提醒它可以进行回收)。

JVM 实现者可以通过 System.gc() 调用来决定 JVM 的 GC 行为。而一般情况下,垃圾回收应该是自动进行的,无须手动触发,否则就太过于麻烦了。在一些特殊情况下,如我们正在编写一个性能基准,我们可以在运行之间调用 System.gc()

代码演示是否出发 GC 操作

public class SystemGCTest {
    public static void main(String[] args) {
        new SystemGCTest();
        System.gc(); //  提醒 jvm 的垃圾回收器执行gc,但是不确定是否马上执行gc
        // 与 Runtime.getRuntime().gc(); 的作用一样。
​
        // System.runFinalization(); // 强制调用使用引用的对象的 finalize() 方法
    }
    //如果发生了GC,这个finalize()一定会被调用
    @Override
    protected void finalize() throws Throwable {
        super.finalize();
        System.out.println("SystemGCTest 重写了finalize()");
    }
}

输出结果不确定:有时候会调用 finalize() 方法,有时候并不会调用

SystemGCTest 重写了finalize()
或
空

手动GC来理解不可达对象的回收

代码如下所示:

/**
 * 局部变量回收
 *
 */
public class LocalVarGC {
​
    /**
     * 触发 Minor GC 没有回收对象,然后在触发 Full GC 将该对象存入 Old 区
     */
    public void localvarGC1() {
        byte[] buffer = new byte[10*1024*1024];
        System.gc();
    }
​
    /**
     * 触发 YoungGC 的时候,已经被回收了
     */
    public void localvarGC2() {
        byte[] buffer = new byte[10*1024*1024];
        buffer = null;
        System.gc();
    }
​
    /**
     * 不会被回收,因为它还存放在局部变量表索引为 1 的槽中
     */
    public void localvarGC3() {
        {
            byte[] buffer = new byte[10*1024*1024];
        }
        System.gc();
    }
​
    /**
     * 会被回收,虽然它还存放在局部变量表索引为 1 的槽中,但是后面定义的 value 把这个槽给替换了
     */
    public void localvarGC4() {
        {
            byte[] buffer = new byte[10*1024*1024];
        }
        int value = 10;
        System.gc();
    }
​
    /**
     * localvarGC1 中的数组已经被回收
     */
    public void localvarGC5() {
        localvarGC1();
        System.gc();
    }
​
    public static void main(String[] args) {
        LocalVarGC localVarGC = new LocalVarGC();
        localVarGC.localvarGC3();
    }
}

JVM 参数:

-Xms256m -Xmx256m -XX:+PrintGCDetails -XX:PretenureSizeThreshold=15m

调用 localvarGC1() 方法

执行 System.gc() 仅仅是将年轻代的 buffer 数组对象放到了老年代,buffer 对象仍然没有回收

[GC (System.gc()) [PSYoungGen: 15492K->10728K(76288K)] 15492K->11000K(251392K), 0.0066473 secs] [Times: user=0.08 sys=0.02, real=0.01 secs] 
[Full GC (System.gc()) [PSYoungGen: 10728K->0K(76288K)] [ParOldGen: 272K->10911K(175104K)] 11000K->10911K(251392K), [Metaspace: 3492K->3492K(1056768K)], 0.0097940 secs] [Times: user=0.00 sys=0.00, real=0.01 secs] 
Heap
 PSYoungGen      total 76288K, used 655K [0x00000000fab00000, 0x0000000100000000, 0x0000000100000000)  eden space 65536K, 1% used [0x00000000fab00000,0x00000000faba3ee8,0x00000000feb00000)  from space 10752K, 0% used [0x00000000feb00000,0x00000000feb00000,0x00000000ff580000)  to   space 10752K, 0% used [0x00000000ff580000,0x00000000ff580000,0x0000000100000000) ParOldGen       total 175104K, used 10911K [0x00000000f0000000, 0x00000000fab00000, 0x00000000fab00000)  object space 175104K, 6% used [0x00000000f0000000,0x00000000f0aa7d08,0x00000000fab00000) Metaspace       used 3498K, capacity 4498K, committed 4864K, reserved 1056768K  class space    used 387K, capacity 390K, committed 512K, reserved 1048576K

调用 localvarGC2() 方法

由于 buffer 数组对象没有引用指向它,执行 System.gc() 将被回收

[GC (System.gc()) [PSYoungGen: 15492K->808K(76288K)] 15492K->816K(251392K), 0.0294475 secs] [Times: user=0.00 sys=0.00, real=0.04 secs] 
[Full GC (System.gc()) [PSYoungGen: 808K->0K(76288K)] [ParOldGen: 8K->640K(175104K)] 816K->640K(251392K), [Metaspace: 3385K->3385K(1056768K)], 0.0054210 secs] [Times: user=0.00 sys=0.00, real=0.01 secs] 
Heap
 PSYoungGen      total 76288K, used 1966K [0x00000000fab00000, 0x0000000100000000, 0x0000000100000000)  eden space 65536K, 3% used [0x00000000fab00000,0x00000000faceb9e0,0x00000000feb00000)  from space 10752K, 0% used [0x00000000feb00000,0x00000000feb00000,0x00000000ff580000)  to   space 10752K, 0% used [0x00000000ff580000,0x00000000ff580000,0x0000000100000000) ParOldGen       total 175104K, used 640K [0x00000000f0000000, 0x00000000fab00000, 0x00000000fab00000)  object space 175104K, 0% used [0x00000000f0000000,0x00000000f00a01a8,0x00000000fab00000) Metaspace       used 3392K, capacity 4496K, committed 4864K, reserved 1056768K  class space    used 379K, capacity 388K, committed 512K, reserved 1048576K

调用 localvarGC3() 方法

虽然出了代码块的作用域,但是 buffer 数组对象并没有被回收

[GC (System.gc()) [PSYoungGen: 15492K->840K(76288K)] 15492K->11088K(251392K), 0.0070281 secs] [Times: user=0.08 sys=0.00, real=0.01 secs] 
[Full GC (System.gc()) [PSYoungGen: 840K->0K(76288K)] [ParOldGen: 10248K->10900K(175104K)] 11088K->10900K(251392K), [Metaspace: 3386K->3386K(1056768K)], 0.0084464 secs] [Times: user=0.00 sys=0.00, real=0.01 secs] 
Heap
 PSYoungGen      total 76288K, used 1966K [0x00000000fab00000, 0x0000000100000000, 0x0000000100000000)  eden space 65536K, 3% used [0x00000000fab00000,0x00000000faceb9e0,0x00000000feb00000)  from space 10752K, 0% used [0x00000000feb00000,0x00000000feb00000,0x00000000ff580000)  to   space 10752K, 0% used [0x00000000ff580000,0x00000000ff580000,0x0000000100000000) ParOldGen       total 175104K, used 10900K [0x00000000f0000000, 0x00000000fab00000, 0x00000000fab00000)  object space 175104K, 6% used [0x00000000f0000000,0x00000000f0aa52e8,0x00000000fab00000) Metaspace       used 3393K, capacity 4496K, committed 4864K, reserved 1056768K  class space    used 379K, capacity 388K, committed 512K, reserved 1048576K

原因:

来看看字节码:实例方法局部变量表第一个变量肯定是 this

image-20220124210455879

局部变量表的大小是 2。但是局部变量表里只有一个索引为 0,那么索引为 1 的是哪个局部变量呢?实际上索引为 1 的位置是 buffer 在占用着,执行 System.gc() 时,栈中还有 buffer 变量指向堆中的字节数组,所以没有进行 GC。

调用 localvarGC4() 方法

[GC (System.gc()) [PSYoungGen: 15492K->776K(76288K)] 15492K->784K(251392K), 0.0009430 secs] [Times: user=0.00 sys=0.00, real=0.00 secs] 
[Full GC (System.gc()) [PSYoungGen: 776K->0K(76288K)] [ParOldGen: 8K->646K(175104K)] 784K->646K(251392K), [Metaspace: 3485K->3485K(1056768K)], 0.0065829 secs] [Times: user=0.02 sys=0.00, real=0.01 secs] 
Heap
 PSYoungGen      total 76288K, used 1966K [0x00000000fab00000, 0x0000000100000000, 0x0000000100000000)  eden space 65536K, 3% used [0x00000000fab00000,0x00000000faceb9f8,0x00000000feb00000)  from space 10752K, 0% used [0x00000000feb00000,0x00000000feb00000,0x00000000ff580000)  to   space 10752K, 0% used [0x00000000ff580000,0x00000000ff580000,0x0000000100000000) ParOldGen       total 175104K, used 646K [0x00000000f0000000, 0x00000000fab00000, 0x00000000fab00000)  object space 175104K, 0% used [0x00000000f0000000,0x00000000f00a1b88,0x00000000fab00000) Metaspace       used 3498K, capacity 4498K, committed 4864K, reserved 1056768K  class space    used 387K, capacity 390K, committed 512K, reserved 1048576K

此时多定义了一个局部变量 value,为什么就可以把字节数组回收了呢?

局部变量表长度为 2,这说明了出了代码块时,buffer 就出了其作用域范围,此时没有为 value 开启新的槽,value 变量直接占据了 buffer 变量的槽(Slot),导致堆中的字节数组没有引用再指向它,执行 System.gc()时被回收。value 位于局部变量表中索引为 1 的位置。value 局部变量把原本属于 buffer 的 slot 给占用了,这样就没有 buffer 变量指向 new byte[10 * 1024 * 1024] 实例了。

image-20220124210417837

内存溢出

内存溢出相对于内存泄漏来说,尽管更容易被理解,但是同样的,内存溢出也是引发程序崩溃的罪魁祸首之一。

由于 GC 一直在发展,所有一般情况下,除非应用程序占用的内存增长速度非常快,造成垃圾回收已经跟不上内存消耗的速度,否则不太容易出现 OOM 的情况。

大多数情况下,GC 会进行各种年龄段的垃圾回收,实在不行了就放大招,来一次独占式的 Full GC 操作,这时候会回收大量的内存,供应用程序继续使用。

javadoc 中对 OutofMemoryError 的解释是,没有空闲内存,并且垃圾收集器也无法提供更多内存。

首先说没有空闲内存的情况:说明 Java 虚拟机的堆内存不够。原因有二:

  • Java 虚拟机的堆内存设置不够

    比如:可能存在内存泄漏问题;也很有可能就是堆的大小不合理,比如我们要处理比较可观的数据量,但是没有显式指定 JVM 堆大小或者指定数值偏小。我们可以通过参数 -Xms 、-Xmx 来调整。

  • 代码中创建了大量大对象,并且长时间不能被垃圾收集器收集(存在被引用)

    对于老版本的 Oracle JDK,因为永久代的大小是有限的,并且 JVM 对永久代垃圾回收(如常量池回收、卸载不再需要的类型)非常不积极,所以当我们不断添加新类型的时候,永久代出现 OutOfMemoryError 也非常多见,尤其是在运行时存在大量动态类型生成的场合;类似 intern 字符串缓存占用太多空间,也会导致 OOM 问题。对应的异常信息,会标记出来和永久代相关:java.lang.OutOfMemoryError:PermGen space

    随着元数据区的引入,方法区内存已经不再那么窘迫,所以相应的 OOM 有所改观,出现 OOM,异常信息则变成了 java.lang.OutofMemoryError:Metaspace。直接内存不足,也会导致 OOM。

    这里面隐含着一层意思是,在抛出 OutofMemoryError 之前,通常垃圾收集器会被触发,尽其所能去清理出空间。

    • 例如:在引用机制分析中,涉及到 JVM 会去尝试 回收软引用指向的对象等。

java.nio.BIts.reserveMemory() 方法中,我们能清楚的看到,System.gc() 会被调用,以清理空间。

当然,也不是在任何情况下垃圾收集器都会被触发的。

  • 比如,我们去分配一个超大对象,类似一个超大数组超过堆的最大值,JVM 可以判断出垃圾收集并不能解决这个问题,所以直接抛出 OutofMemoryError

内存泄漏

也称作「存储渗漏」。严格来说,只有对象不会再被程序用到了,但是 GC 又不能回收他们的情况,才叫内存泄漏。

但实际情况很多时候一些不太好的实践(或疏忽)会导致对象的生命周期变得很长甚至导致 OOM,也可以叫做 宽泛意义上的「内存泄漏」。

尽管内存泄漏并不会立刻引起程序崩溃,但是一旦发生内存泄漏,程序中的可用内存就会被逐步蚕食,直至耗尽所有内存,最终出现 OutofMemory 异常,导致程序崩溃。

注意,这里的存储空间并不是指物理内存,而是指虚拟内存大小,这个虚拟内存大小取决于磁盘交换区设定的大小。

买房子:80 平的房子,但是有 10 平是公摊的面积,我们是无法使用这 10 平的空间,这就是所谓的内存泄漏。

左边的图:Java 使用可达性分析算法,最上面的数据不可达,就是需要被回收的对象。

右边的图:后期有一些对象不用了,按道理应该断开引用,但是存在一些链没有断开(图示中的 Forgotten Reference Memory Leak),从而导致没有办法被回收。

image-20200712195158470

Java 使用可达性分析算法,最上面的数据不可达,就是需要被回收的。后期有一些对象不用了,按道理应该断开引用,但是存在一些链没有断开,从而导致没有办法被回收。

举例

  • 单例模式

单例的生命周期和应用程序是一样长的,所以单例程序中,如果持有对外部对象的引用的话,那么这个外部对象是不能被回收的,则会导致内存泄漏的产生。

  • 一些提供 close 的资源未关闭导致内存泄漏

数据库连接(dataSourse.getConnection()),网络连接(socket)和 io 连接必须手动 close,否则是不能被回收的。

Stop The World

stop-the-world,简称 STW,指的是 GC 事件发生过程中,会产生应用程序的停顿。停顿产生时整个应用程序线程都会被暂停,没有任何响应,有点像卡死的感觉,这个停顿称为 STW。

可达性分析算法中枚举根节点(GC Roots)会导致所有 Java 执行线程停顿。

  • 分析工作必须在一个能确保一致性的快照中进行
  • 一致性指整个分析期间整个执行系统看起来像被冻结在某个时间点上
  • 如果出现分析过程中对象引用关系还在不断变化,则分析结果的准确性无法保证

被 STW 中断的应用程序线程会在完成 GC 之后恢复,频繁中断会让用户感觉像是网速不快造成电影卡带一样,所以我们需要减少 STW 的发生。

STW 事件和采用哪款 GC 无关所有的 GC 都有这个事件。

哪怕是 G1 也不能完全避免 stop-the-world 情况发生,只能说垃圾回收器越来越优秀,回收效率越来越高,尽可能地缩短了暂停时间。

STW 是 JVM 在后台自动发起和自动完成的。在用户不可见的情况下,把用户正常的工作线程全部停掉。

开发中不要用 system.gc() 会导致 stop-the-world 的发生。

public class StopTheWorldDemo {
    public static class WorkThread extends Thread {
        List list = new ArrayList();
​
        public void run() {
            try {
                while (true) {
                    for(int i = 0;i  10000){
                        list.clear();
                        System.gc();//会触发full gc,进而会出现STW事件
                     
                    }
                }
            } catch (Exception ex) {
                ex.printStackTrace();
            }
        }
    }
​
    public static class PrintThread extends Thread {
        public final long startTime = System.currentTimeMillis();
​
        public void run() {
            try {
                while (true) {
                    // 每秒打印时间信息
                    long t = System.currentTimeMillis() - startTime;
                    System.out.println(t / 1000 + "." + t % 1000);
                    Thread.sleep(1000);
                }
            } catch (Exception ex) {
                ex.printStackTrace();
            }
        }
    }
​
    public static void main(String[] args) {
        WorkThread w = new WorkThread();
        PrintThread p = new PrintThread();
        w.start();
        p.start();
    }
}

关闭工作线程 w.start() ,观察输出:当前时间间隔与上次时间间隔 基本 是每隔 1 秒打印一次。

0.1
1.1
2.2
3.2
4.3
5.3
6.3
7.3

开启工作线程 w.start() ,观察打印输出:当前时间间隔与上次时间间隔相差 1.3s ,可以明显感受到 Stop the World 的存在

0.1
1.4
2.7
3.8
4.12
5.13

垃圾回收的并行与并发

并发

在操作系统中,是指一个时间段中有几个程序都处于已启动运行到运行完毕之间,且这几个程序都是在同一个处理器上运行。

并发不是真正意义上的「同时进行」,只是 CPU 把一个时间段划分成几个时间片段(时间区间),然后在这几个时间区间之间来回切换,由于 CPU 处理的速度非常快,只要时间间隔处理得当,即可让用户感觉是多个应用程序同时在进行。

image-20200712202522051

并行

当系统有一个以上 CPU 时,当一个 CPU 执行一个进程时,另一个 CPU 可以执行另一个进程,两个进程互不抢占 CPU 资源,可以同时进行,我们称之为并行(Parallel)。

其实决定并行的因素不是 CPU 的数量,而是 CPU 的核心数量,比如一个 CPU 多个核也可以并行。

适合科学计算,后台处理等弱交互场景

image-20200712202822129

并发和并行对比

并发,指的是多个事情,在同一时间段内同时发生了。

并行,指的是多个事情,在同一时间点上同时发生了。

并发的多个任务之间是互相抢占资源的。并行的多个任务之间是不互相抢占资源的。

只有在多 CPU 或者一个 CPU 多核的情况中,才会发生并行。

否则,看似同时发生的事情,其实都是并发执行的。

并行、串行、并发

并发和并行,在谈论垃圾收集器的上下文语境中,它们可以解释如下:

  • 并行(Parallel):指多条垃圾收集线程并行工作,但此时用户线程仍处于等待状态。如 ParNew、Parallel Scavenge、Parallel old

  • 串行(Serial)

    • 相较于并行的概念,单线程执行
    • 如果内存不够,则程序暂停,启动 JVM 垃圾回收器进行垃圾回收。回收完,再启动程序的线程

image-20200712203607845

并发和并行,在谈论垃圾收集器的上下文语境中,它们可以解释如下:

并发(Concurrent):指用户线程与垃圾收集线程同时执行(但不一定是并行的,可能会交替执行),垃圾回收线程在执行时不会停顿用户程序的运行。用户程序在继续运行,而垃圾收集程序线程运行于另一个 CPU 上。

如:CMS、G1

image-20200712203815517

安全点与安全区域

安全点

程序执行时并非在所有地方都能停顿下来开始 GC,只有在特定的位置才能停顿下来开始 GC,这些位置称为 安全点(Safe Point)。

Safe Point 的选择很重要,如果太少可能导致 GC 等待的时间太长,如果太频繁可能导致运行时的性能问题。大部分指令的执行时间都非常短暂,通常会根据「是否具有让程序长时间执行的特征」为标准。比如:选择一些执行时间较长的指令作为 Safe Point,如方法调用、循环跳转和异常跳转等。

如何在 GC 发生时,检查所有线程都跑到最近的安全点停顿下来呢?

  • 抢先式中断:(目前没有虚拟机采用这种方式)首先中断所有线程。如果还有线程不在安全点,就恢复线程,让线程跑到安全点
  • 主动式中断:设置一个中断标志,各个线程运行到 Safe Point 的时候主动轮询这个标志,如果中断标志为真,则将自己进行中断挂起。(有轮询的机制)

安全区域

Safe Point 机制保证了程序执行时,在不太长的时间内就会遇到可进入 GC 的 Safe Point。但是,程序「不执行」的时候呢?例如线程处于 sleep 状态或 Blocked 状态,这时候线程无法响应 JVM 的中断请求,「走」到安全点去中断挂起,JVM 也不太可能等待线程被唤醒。对于这种情况,就需要安全区域(Safe Region)来解决。

安全区域是指在一段代码片段中,对象的引用关系不会发生变化,在这个区域中的任何位置开始 GC 都是安全的。我们也可以把 Safe Region 看做是被扩展了的 Safe Point。

执行流程:

  • 当线程运行到 Safe Region 的代码时,首先标识已经进入了 Safe Relgion,如果这段时间内已经发生 GC,JVM 会忽略标识为 Safe Region 状态的线程
  • 当线程即将离开 Safe Region 时,会检查 JVM 是否已经完成 GC,如果完成了,则继续运行,否则线程必须等待直到收到可以安全离开 Safe Region 的信号为止

再谈引用概述

我们希望能描述这样一类对象:当内存空间还足够时,则能保留在内存中;如果内存空间在进行垃圾收集后还是很紧张,则可以抛弃这些对象。

「既偏门又非常高频的面试题」强引用、软引用、弱引用、虚引用有什么区别?具体使用场景是什么?

在 JDK1.2 版之后,Java 对引用的概念进行了扩充,将引用分为:

  • 强引用(Strong Reference)
  • 软引用(Soft Reference)
  • 弱引用(Weak Reference)
  • 虚引用(Phantom Reference)

这 4 种引用强度依次逐渐减弱。除强引用外,其他 3 种引用均可以在 java.lang.ref 包中找到它们的身影。如下图,显示了这 3 种引用类型对应的类,开发人员可以在应用程序中直接使用它们。

.image-20200712205813321

Reference 子类中只有终结器引用是包内可见的,其他 3 种引用类型均为 public,可以在应用程序中直接使用

  • 强引用(StrongReference):最传统的「引用」的定义,是指在程序代码之中普遍存在的引用赋值,即类似 object obj = new Object() 这种引用关系。无论任何情况下,只要强引用关系还存在,垃圾收集器就永远不会回收掉被引用的对象
  • 软引用(SoftReference):在系统将要发生内存溢出之前,将会把这些对象列入回收范围之中进行第二次回收。如果这次回收后还没有足够的内存,才会抛出内存流出异常(软引用平时不会回收,只有内存特别紧凑的时候再回收)
  • 弱引用(WeakReference):被弱引用关联的对象只能生存到下一次垃圾收集之前。当垃圾收集器工作时,无论内存空间是否足够,都会回收掉被弱引用关联的对象
  • 虚引用(PhantomReference):一个对象是否有虚引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来获得一个对象的实例。为一个对象设置虚引用关联的 唯一目的就是能在这个对象被收集器回收时收到一个系统通知

再谈引用:强引用

在 Java 程序中,最常见的引用类型是强引用(普通系统 99% 以上都是强引用),也就是我们最常见的普通对象引用,也是 默认的引用类型。

当在 Java 语言中使用 new 操作符创建一个新的对象,并将其赋值给一个变量的时候,这个变量就成为指向该对象的一个强引用。

强引用的对象是可触及的,垃圾收集器就永远不会回收掉被引用的对象。

对于一个普通的对象,如果没有其他的引用关系,只要超过了引用的作用域或者显式地将相应(强)引用赋值为 null,就是可以当做垃圾被收集了,当然具体回收时机还是要看垃圾收集策略。

相对的,软引用、弱引用和虚引用的对象是软可触及、弱可触及和虚可触及的,在一定条件下,都是可以被回收的。所以,强引用是造成 Java 内存泄漏的主要原因之一。

举例

强引用的案例说明

StringBuffer str = new StringBuffer("hello kele");

局部变量 str 指向 StringBuffer 实例所在堆空间,通过 str 可以操作该实例,那么 str 就是 StringBuffer 实例的强引用对应内存结构:

image-20200712211501377

如果此时,在运行一个赋值语句

StringBuffer str = new StringBuffer("hello kele");
StringBuffer str1 = str;

对应的内存结构为:

image-20200712211732976

那么我们将 str = null; 则 原来堆中的对象也不会被回收,因为还有其它对象指向该区域。

总结

本例中的两个引用,都是强引用,强引用具备以下特点:

  • 强引用可以直接访问目标对象
  • 强引用所指向的对象在任何时候都不会被系统回收,虚拟机宁愿抛出 OOM 异常,也不会回收强引用所指向对象
  • 强引用可能导致内存泄漏

再谈引用:软引用

软引用(Soft Reference):内存不足即回收

软引用是用来描述一些还有用,但非必需的对象。只被软引用关联着的对象,在系统将要发生内存溢出异常前,会把这些对象列进回收范围之中进行第二次回收,如果这次回收还没有足够的内存,才会抛出内存溢出异常。

注意,这里的第一次回收是不可达的对象

软引用通常用来实现内存敏感的缓存。比如:高速缓存就有用到软引用。如果还有空闲内存,就可以暂时保留缓存,当内存不足时清理掉,这样就保证了使用缓存的同时,不会耗尽内存。

垃圾回收器在某个时刻决定回收软可达的对象的时候,会清理软引用,并可选地把引用存放到一个引用队列(Reference Queue)。

类似弱引用,只不过 Java 虚拟机会尽量让软引用的存活时间长一些,迫不得已才清理。

一句话概括:当内存足够时,不会回收软引用可达的对象。内存不够时,会回收软引用的可达对象

在 JDK1.2 版之后提供了 java.lang.ref.SoftReference 类来实现软引用

// 声明强引用
Object obj = new Object();
// 创建一个软引用
SoftReference sf = new SoftReference(obj);
obj = null; // 销毁强引用,这是必须的,不然会存在强引用和软引用

弱引用对象与软引用对象的最大不同就在于,当 GC 在进行回收时,需要通过算法检查是否回收软引用对象,而对于弱引用对象,GC 总是进行回收。弱引用对象更容易、更快被 GC 回收。

public class WeakReferenceTest {
    public static class User {
        public User(int id, String name) {
            this.id = id;
            this.name = name;
        }
​
        public int id;
        public String name;
​
        @Override
        public String toString() {
            return "[id=" + id + ", name=" + name + "] ";
        }
    }
​
    public static void main(String[] args) {
        // 构造了弱引用
        WeakReference userWeakRef = new WeakReference(new User(1, "kele"));
        // 从弱引用中重新获取对象
        System.out.println(userWeakRef.get());
​
        System.gc();
        // 不管当前内存空间足够与否,都会回收它的内存
        System.out.println("After GC:");
        // 重新尝试从弱引用中获取对象
        System.out.println(userWeakRef.get());
    }
}

执行垃圾回收后,软引用对象必定被清除(如果你不出现 null,说明内存太大,不产生 GC 回收)

[id=1, name=songhk] 
After GC:
null
​
Process finished with exit code 0

再谈引用:弱引用

特点:发现即回收

弱引用也是用来描述那些非必需对象,被弱引用关联的对象只能生存到下一次垃圾收集发生为止。在系统 GC 时,只要发现弱引用,不管系统堆空间使用是否充足,都会回收掉只被弱引用关联的对象。

但是,由于垃圾回收器的线程通常优先级很低,因此,并不一定能很快地发现持有弱引用的对象。在这种情况下,弱引用对象可以存在较长的时间。

弱引用和软引用一样,在构造弱引用时,也可以指定一个引用队列,当弱引用对象被回收时,就会加入指定的引用队列,通过这个队列可以跟踪对象的回收情况。

软引用、弱引用都非常适合来保存那些可有可无的缓存数据。如果这么做,当系统内存不足时,这些缓存数据会被回收,不会导致内存溢出。而当内存资源充足时,这些缓存数据又可以存在相当长的时间,从而起到加速系统的作用。

在 JDK1.2 版之后提供了 java.lang.ref.WeakReference 类来实现弱引用

// 声明强引用
Object obj = new Object();
// 创建一个弱引用
WeakReference sf = new WeakReference(obj);
obj = null; //销毁强引用,这是必须的,不然会存在强引用和弱引用

弱引用对象与软引用对象的最大不同就在于,当 GC 在进行回收时,需要通过算法检查是否回收软引用对象,而对于弱引用对象,GC 总是进行回收。弱引用对象更容易、更快被 GC 回收。

面试题:你开发中使用过 WeakHashMap 吗?

WeakHashMap 用来存储图片信息,可以在内存不足的时候,及时回收,避免了 OOM。

再谈引用:虚引用

也称为「幽灵引用」或者「幻影引用」,是所有引用类型中最弱的一个。

一个对象是否有虚引用的存在,完全不会决定对象的生命周期。如果一个对象仅持有虚引用,那么它和没有引用几乎是一样的,随时都可能被垃圾回收器回收。

它不能单独使用,也无法通过虚引用来获取被引用的对象。当试图通过虚引用的 get() 方法取得对象时,总是 null。即通过虚引用无法获取到我们的数据。

为一个对象设置虚引用关联的唯一目的在于跟踪垃圾回收过程。比如:能在这个对象被收集器回收时收到一个系统通知。

虚引用必须和引用队列一起使用。虚引用在创建时必须提供一个引用队列作为参数。当垃圾回收器准备回收一个对象时,如果发现它还有虚引用,就会在回收对象后,将这个虚引用加入引用队列,以通知应用程序对象的回收情况。

由于虚引用可以跟踪对象的回收时间,因此,也可以将一些资源释放操作放置在虚引用中执行和记录。

虚引用无法获取到我们的数据

在 JDK1.2 版之后提供了 refPhantomReference 类来实现虚引用。

// 声明强引用
Object obj = new Object();
// 声明引用队列
ReferenceQueue phantomQueue = new ReferenceQueue();
// 声明虚引用(还需要传入引用队列)
PhantomReference sf = new PhantomReference(obj, phantomQueue);
obj = null; 

案例

我们使用一个案例,来结合虚引用,引用队列,finalize 进行讲解

public class PhantomReferenceTest {
    // 当前类对象的声明
    public static PhantomReferenceTest obj;
    // 引用队列
    static ReferenceQueue phantomQueue = null;
​
    @Override
    protected void finalize() throws Throwable {
        super.finalize();  // finalize() 方法只能被调用一次
        System.out.println("调用当前类的 finalize 方法");
        obj = this;
    }
​
    public static void main(String[] args) {
        Thread thread = new Thread(() -> {
            while(true) {
                if (phantomQueue != null) {
                    PhantomReference objt = null;
                    try {
                        objt = (PhantomReference) phantomQueue.remove();
                    } catch (Exception e) {
                        e.getStackTrace();
                    }
                    if (objt != null) {
                        System.out.println("追踪垃圾回收过程:PhantomReferenceTest 实例被 GC 了");
                    }
                }
            }
        }, "t1");
        thread.setDaemon(true); // 设置为守护线程:当程序中没有非守护线程时,守护线程也就执行结束
        thread.start();
​
        phantomQueue = new ReferenceQueue();
        obj = new PhantomReferenceTest();
        // 构造了 PhantomReferenceTest 对象的虚引用,并指定了引用队列
        PhantomReference phantomReference = new PhantomReference(obj, phantomQueue);
        try {
            System.out.println(phantomReference.get());
            // 去除强引用
            obj = null;
            // 第一次进行 GC,由于对象可复活,GC 无法回收该对象
            System.out.println("第一次 GC 操作");
            System.gc();
            Thread.sleep(1000);
            if (obj == null) {
                System.out.println("obj 是 null");
            } else {
                System.out.println("obj 不是 null");
            }
            System.out.println("第二次 GC 操作");
            obj = null;
            System.gc(); // 一旦将 obj 对象回收,就会将此虚引用存放到引用队列中。
            Thread.sleep(1000);
            if (obj == null) {
                System.out.println("obj 是 null");
            } else {
                System.out.println("obj 不是 null");
            }
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
​
        }
    }
}

最后运行结果

null
第一次 GC 操作
调用当前类的 finalize 方法
obj 不是 null
第二次 GC 操作
追踪垃圾回收过程:PhantomReferenceTest 实例被 GC 了
obj 是 null

从上述运行结果我们知道,第一次尝试获取虚引用的值,发现无法获取的,这是因为虚引用是无法直接获取对象的值,然后进行第一次 GC,因为会调用 finalize 方法,将对象复活了,所以对象没有被回收,但是调用第二次 GC 操作的时候,因为 finalize 方法只能执行一次,所以就触发了 GC 操作,将对象回收了,同时将会触发第二个操作就是 将回收的值存入到引用队列中。

再谈引用:终结器引用

它用于实现对象的 finalize() 方法,也可以称为终结器引用。

无需手动编码,其内部配合引用队列使用。

在 GC 时,终结器引用入队。由 Finalizer 线程通过终结器引用找到被引用对象调用它的 finalize() 方法,第二次 GC 时才回收被引用的对象。

相关文章

JavaScript2024新功能:Object.groupBy、正则表达式v标志
PHP trim 函数对多字节字符的使用和限制
新函数 json_validate() 、randomizer 类扩展…20 个PHP 8.3 新特性全面解析
使用HTMX为WordPress增效:如何在不使用复杂框架的情况下增强平台功能
为React 19做准备:WordPress 6.6用户指南
如何删除WordPress中的所有评论

发布评论