003-JVM-标记阶段的算法：怎么确定垃圾

最新推荐文章于 2024-02-25 13:35:09 发布

前路无畏

最新推荐文章于 2024-02-25 13:35:09 发布

阅读量1.3w

点赞数

分类专栏： JVM 文章标签：标记阶段的垃圾回收算法引用计数算法可达性分析算法

本文链接：https://blog.csdn.net/fsjwin/article/details/111322134

版权

35 篇文章 5 订阅

订阅专栏

我们知道，垃圾是需要被回收的，但是怎么知道哪些是垃圾呢？

垃圾标记阶段：在堆里存放着几乎所有的Java 对象实例，在GC 执行垃圾回收之前，首先需要区分出内存中哪些是存活对象，哪些是己经死亡的对象。只有被标记为己经死亡的对象， GC 才会在执行垃圾回收时，释放掉其所占用的内存空间，因此这个过程我们可以称为垃圾标记阶段。
那么在JVM 中究竟是如何标记一个死亡对象呢？简单来说，当一个对象己经不再被任何的存活对象继续引用时，就可以宣判为己经死亡。
判断对象存活一般有两种方式：引用计数算法和可达性分析算法。

1. 引用计数法

引用计数算法(Reference counting) 比较简单，对每个对象保存一个整型的引用计数器属性。用于记录对象被引用的情况：对于一个对象A ，只要有任何一个对象引用了A ，则A 的引用计数器就加1 ；当引用失效时，引用计数器就减1 。只要对象A 的引用计数器的值为0 ，即表示对象A 不可能再被使用，可进行回收。

优点：实现简单，垃圾对象便于辨识；判定效率高，回收没有延迟性。

缺点：
它需要单独的字段存储计数器，这样的做增加了存储空间的开销。
每次赋值都需要更新计数器，伴随着加法和减法操作，这增加了时间开销。
引用计数器有一个严重的问题，即无法处理循环引用的情况：这是一条致命缺陷，导致在Java 的垃圾回收器中没有使用这类算法。见下例：
在这里插入图片描述

在这里插入图片描述

调用System.gc()后，内存被回收了。
rc 均等于1，如果使用的是引用计数算法，不应该被回收。
实时上被回收了，所以，证明JDK未使用此算法。

引用计数算法，是很多语言的资源回收选择，例如因人工智能而更加火热的Python。
具体哪种最优是要看场景的，业界有大规模实践中仅保留引用计数机制，以提高吞吐量的尝试。
Java 并没有选择引用计数，是因为其存在一个基本的难题，也就是很难处理循环引用关系。
Python如何解决循环引用？
手动解除：很好理解，就是在合适的时机(有一个出发条件)，解除引用关系。
使用弱引用weakref ， weakref 是python 提供的标准库，旨在解决循环引用。

可达性分析算法（或叫根搜索算法、追踪性垃圾收集）

相对于引用计数算法而言，可达性分析算法不仅同样具备实现简单和执行高效等特点，更重要的是该算法可以有效地解决在引用计数算法中循环引用的问题，防止内存泄漏的发生。
相较于引用计数算法，这里的可达性分析就是Java 、C# 选择的。这种类型的垃圾收集通常也叫作追踪性垃圾收集(Tracing Garbage Collection) 。

可达性分析算法的基本思路：