JVM（Java Virtual Machine）垃圾收集算法篇

摸鱼儿hzj

已于 2023-10-26 18:36:29 修改

阅读量468

点赞数 2

分类专栏： JVM 文章标签： jvm java 算法

于 2023-10-19 22:00:40 首次发布

本文链接：https://blog.csdn.net/weixin_59216829/article/details/133926536

版权

JVM 专栏收录该内容

4 篇文章 0 订阅

订阅专栏

前言

本文参考《深入理解Java虚拟机》，主要介绍GC相关的算法，引用计数法、可达性分析算法、垃圾收集算法（分代收集理论，标记-清除/整理/复制）

本系列其他文章链接：
JVM（Java Virtual Machine）内存模型篇
 JVM（Java Virtual Machine）垃圾收集器篇
 JVM（Java Virtual Machine）G1收集器篇

垃圾收集

当对象不在被使用的时候，就被当做垃圾给GC掉以节省内存空间，而大部分GC都发生在堆内存中，因为这个区域是所有Java线程共享的，最容易OOM的地方

引用计数算法

概念

引用计数算法：在对象中添加一个引用计数器，每当有一个地方引用它的时候，计数器值加一；当一个引用失效的时候，计数器值就减一；任何时刻计数器为0的对象就是不可能再被使用的。

存在问题

在特定情况下，这个效率还是比较高的算法，但是还是会有限问题存在：相互引用导致无法被回收即使他们不在被使用了，如下图示：
在这里插入图片描述
图中，对象56，当他们互相引用，但是却没有人使用他们之中任意一个，使用计数器计数，他们的值永远不为0，就不会被回收，导致内存泄漏的问题。所以，在单独使用计数器是没有办法解决垃圾回收标记问题的。

可达性分析算法

概念

这个算法的基本思路就是通过一系列称为：“GC Roots”的根对象作为起始点集，从这些节点开始，根据引用关系向下搜索，搜索过程所走过的路径称为“引用链”，如果某个对象到GC Roots间没有任何引用链相连，则说明这个对象不可达，证明此对象不可能再被使用的。如下图所示：在这里插入图片描述

GC Roots对象包括哪些

在Java技术体系，固定可作为GC Roots的对象包括以下几种：

虚拟机栈（栈帧中的本地变量表）中引用的对象
在方法区类静态属性、常量引用的对象
本地方法栈中JNI引用对象
Java虚拟机内部的引用
所以被同步锁持有的对象

引用

无论是引用计数器还是可达性分析，判断对象的存活都和“引用”离不开关系。

在JDK1.2之前，Java里面的引用是很传统的定义：如果reference类型的数据中存储的数值代表的是另一块内存的起始地址，就称该reference数据是代表某块内存、某个对象的引用。

在JDK1.2之后，Java对引用的概念进行了扩充，将引用分为“强/软/弱/虚引用”，这四种引用强度依次减弱

强引用：这是最传统的，引用赋值，Object o = new Object();
软引用：用来描述一些还有用，但非必要对象，这类对象将在第二次GC被回收，JDK1.2提供了SoftReference实现软引用;
弱引用：用来描述非必须对象，比软引用更弱，第一次GC就会被回收，WeakReference实现弱引用;
虚引用：最弱的一种引用关系。为一个对象设置虚引用关联的唯一目的只是为了能在这个对象被收集器回收收到一个系统通知。PhantomReference类来实现虚引用;

垃圾收集算法

分代收集理论

大多数垃圾收集器都基于“分代收集理论”进行设计，这套理论实际上是一套符合大多数程序运行实际情况的经验法则，它建立在两个假说之上

弱分代假说：绝大多数对象都是朝生夕死;（新生代区域）
强分代假说：熬过越多次垃圾收集过程的对象就越难以消亡;（老年代区域）

依据这个理论，收集器将Java堆划分不同的区域。一个区域放置朝生夕死的对象，一个区域放置熬过多次垃圾收集还“活着”的对象。

对于不同的区域（新生代、老年代），则根据不同的区域使用不同的垃圾收集算法，因此有了“Minor GC”、“Major GC”、“Full GC”，

标记-清除算法

标记-清除算法：首先标记出所需要回收的对象，在标记完成后，统一回收掉所有被标记的对象，或者反过来。这个算法效率是它的优点，因为标记完，回收掉就可以了，不需要其他操作，所有这也成了最大的缺点，容易出现内存碎片，如下图：
在这里插入图片描述
产生大量不连续的内存碎片，可能会导致分配较大对象时无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。

标记-复制算法

标记-复制算法的底层思想是“半区复制”，它将内存按容量划分大小相等的两块，每次只使用其中一块，当这一块的内存用完了，就将存活的对象复制到另一块上，然后把使用过的那一块清空，等待下一次交换使用。

这样的垃圾收集过程中就只需移动指针位置即可，不会存在内存碎片的问题，实现简单，运行高效，但是这样有一个比较大的问题，内存始终都是有一块在某种意义上是浪费的。

但是为我们所知道的，对象大部分都是朝生夕死的，98%的对象都熬不过第一次垃圾回收，所以并不需要1:1比例来划分新生代的内存空间。在HotSpot虚拟机中，默认分配比例大小是Eden:Survivor(from:to) == 8:1:1，也就是说每次内存分配只使用Eden和Survivor的另一块。

情况如下图所示：
在这里插入图片描述