JVM工作原理与实战(二十三)：堆的垃圾回收-引用计数法和可达性分析法

最新推荐文章于 2024-09-28 13:47:58 发布

橘子-青衫

最新推荐文章于 2024-09-28 13:47:58 发布

阅读量1.4k

点赞数 28

分类专栏： JVM工作原理与实战文章标签： jvm java 后端架构

本文链接：https://blog.csdn.net/jiangyq_/article/details/135729597

版权

JVM工作原理与实战专栏收录该内容

44 篇文章 15 订阅

订阅专栏

专栏导航

JVM工作原理与实战

RabbitMQ入门指南

从零开始了解大数据

前言

JVM作为Java程序的运行环境，其负责解释和执行字节码，管理内存，确保安全，支持多线程和提供性能监控工具，以及确保程序的跨平台运行。本文主要介绍了判断堆上的对象是否可以回收的方法（引用计数法、可达性分析法）、查看垃圾回收日志等内容。

一、判断堆上的对象是否可以回收

在垃圾回收过程中，首要任务是判断哪些对象可以安全地回收。常见的判断方法主要有两种：引用计数法和可达性分析法。

1.引用计数法

引用计数法是一种直观且简单的垃圾回收策略。每个对象都持有一个引用计数器，当一个对象被引用时，其计数器加1；当引用被解除时，计数器减1。当计数器归0时，对象即被认为是可以回收的。

引用计数法的优点在于其实现简单，对于某些特定场景（如C++中的智能指针）非常适用。然而，它也存在一些明显的缺点：

每次引用或取消引用都需要更新计数器，这可能对系统性能产生影响。尤其是在对象引用频繁增减的情况下，这可能导致大量的更新操作，从而影响程序的运行效率。
引用计数法无法处理循环引用的情况。例如，当对象A引用对象B，同时对象B也引用对象A时，即使这两个对象之间没有其他外部引用，它们的引用计数也不会归0，从而导致无法正常回收，造成内存泄漏。

2.可达性分析算法

相比之下，可达性分析算法更为复杂，但它能够解决循环引用问题。在可达性分析中，所有对象被分为两类：垃圾回收的根对象（GC Root）和普通对象。这些根对象通常是程序中可以直接访问的对象。算法通过追踪从根对象到目标对象的引用链，来判断一个对象是否可达。如果一个对象从任何根对象都无法达到，那么这个对象就被认为是不可达的，可以被安全地回收。

案例：

在图中，A对象引用了B对象，B对象又引用了C和D对象，从而形成了一个引用链。可达性分析算法的核心思想在于，如果一个对象无法从垃圾回收的根对象（GC Root）可达，那么这个对象就可以被安全地回收。反之，如果一个对象可以从某个GC Root对象可达，那么这个对象就被认为是活动的，不可被回收。

在Java中，就采用了可达性分析算法来判定对象是否可以回收。所有的根对象都存在于线程的栈中或者其他一些固定区域（例如JDK中的强引用、软引用、弱引用、虚引用）。如果一个对象被根对象直接或间接引用，那么这个对象就被认为是活动的、不可被回收的；反之，如果一个对象没有任何根对象引用它，那么这个对象就可以被垃圾回收。

可达性分析算法的主要优点是它可以处理复杂的引用关系和避免循环引用的问题。然而，它也有一些缺点：

可达性分析算法需要追踪和记录所有的引用关系，这可能会增加内存和CPU的使用。
如果一个程序在运行过程中改变了引用关系（例如在Java中的null指针异常），这可能会影响到垃圾回收的结果。
对于一些动态生成的对象或者短生命周期的对象，可达性分析可能无法有效地判定其是否可以回收。

GC Root对象：

在垃圾回收过程中，GC Root对象是指垃圾回收的起始点。这些对象是可达的，并且通过引用关系可以访问到堆上的其他对象。常见的GC Root对象包括：

线程Thread对象：每个线程在Java虚拟机中都有一个对应的Thread对象，这些对象引用线程栈帧中的方法参数、局部变量等，为垃圾回收提供了可达性路径。
系统类加载器加载的java.lang.Class对象：系统类加载器加载的java.lang.Class对象，这些对象引用类中的静态变量。
监视器对象：当一个线程执行同步代码块或同步方法时，会创建一个监视器对象来保存同步锁的信息。
本地方法调用时使用的全局对象：在使用本地方法（native method）时，Java虚拟机可能会创建一些全局对象。