当前位置：首页 > news >正文

深入探究 JVM 堆的垃圾回收机制（一）— 判活

news 来源：原创 2025/5/15 21:28:51

垃圾回收分为两步：1）判定对象是否存活。2）将“消亡”的对象进行内存回收。

1 判定对象存活

可达性分析算法：通过一系列“GC Roots”对象作为起始节点集，从这些节点开始，根据引用关系向下搜索，搜索过程所走的路径为“引用链”，如果某个对象到“GC Roots”没有任何引用链相连，则判定该对象“消亡”。

强引用	正常引用，可达性分析搜索的只有强引用
软引用	关联还有用，但非必须的对象。在系统将要发生内存溢出时，会把这些对象列入回收范围。
弱引用	比软引用更弱，只能生存到下次垃圾收集发生之前。
虚引用	最弱，无法通过虚引用来取得一个对象实例。唯一作用是在则会个对象被回收时收到一个系统通知。

表 Java 的引用类型

1.1 三色标记

图可达性分析算法“三色标记”演示过程

1.1.1“对象消失”

垃圾回收器与用户线程并发执行，若以下两个条件同时成立，对象消失必然发生。

用户线程将黑色对象指向一个白色对象。
用户删除所有从灰色对象到该白色对象的引用。

注意：对于在并发期间新建的对象，JVM会把其标记为黑色或灰色。

1.1.2 写屏障

写屏障是一段嵌入在对象引用赋值操作中的代码逻辑（类似AOP）。JVM通过写屏障实现两种方式来解决上面“对象消失”的问题。

增量更新

破坏第1个条件。当黑色对象插入新指向到白色对象时，写屏障将新插入引用记录下来，等并发扫描结束，再将记录过的引用关系中黑色对象集作为根，重新扫描一次。

效率更低。

原始快照

破坏第2个条件。当灰色对象要删除指向白色对象的引用关系时，写屏障将要删除的引用关系记录下来，等并发扫描结束，再将记录过的引用关系中白色对象集作为根，重新扫描一次。

会产生浮动垃圾。

表 “对象消失”的解决方案

1.2 GC Roots 对象

主要有：1）栈中引用的对象。2）本地方法栈中引用的对象。3）方法区中静态属性引用的对象及常量引用的对象。4）JVM 内部的引用。5）被同步锁持有的对象等。

获取GC Roots 集必须在一个能保障一致性的快照中才能进行，因此需要STW（Stop The Word）。

1.2.1 栈帧

栈帧是单个线程在方法调用时在栈中分配的内存区域，用于存储方法的执行状态。每个方法从调用到执行完成，对应一个栈帧的入栈和出栈。

图栈帧内存布局

局部变量表	存储方法的参数、局部变量以及部分中间结果。以变量槽（Slot）为基本单位，每个Slot占用4个字节。对于8个字节的变量，占用两个连续的Slot。索引分配：非静态方法第0位Slot存储this引用。方法参数从第1位依次存储。局部变量按声明顺序分配Slot。
操作数栈	存储方法执行过程中的操作数。
动态链接	存储指向运行时常量池中该方法的符号引用。
方法返回地址	存储方法退出后需要返回到的调用者位置。
附加信息	行号表、局部变量表描述符等。

表栈帧内存组成

1.2.2 OopMap

收集线程需要遍历方法栈中每一个栈帧，来收集被引用的变量。如果对栈帧的局部变量表进行全表扫描，很耗时。

OopMap(ordinary object pointer Map)普通对象地图，用于描述栈帧中对象引用的位置。它通常是一个位图，每个位对应局部变量表中一个槽位。1表示该槽位有对象引用，0表示没有。例如，假设局部变量表一共有8个槽位，其中只有第1个及第3个槽位有对象引用，则OopMap表示为10100000。

一个栈帧包含多个OopMap。

1.2.3 安全点

引发引用关系变化的指令很多，无法为每一条指令都生成对应的OopMap，只会在某些位置生成，这些位置被称为安全点。

安全点选择的原则：平衡线程响应速度和性能开销。

安全点常用位置：方法调用、循环末尾、异常处理路径等。

主动式中断	主流方案，当需要GC Roots收集时，JVM在内存中设置一个标识位，用户线程每次到达安全点都会轮询标识位，如果需要中断，则主动挂起。
被动式中断	通过操作系统信号强制中断线程，如果有用户线程未到达安全点，则恢复该线程，让其到达安全点后再中断。

表安全点的实现方案

缺陷：

1）本地方法无法设置安全点。

2）对于未插入安全点但需要长时间执行的指令（如循环），如果在循环提中未插入安全点，则需要等待循环完成才能到达安全点。

3）如果线程在安全点被阻塞或sleep，因为其被唤醒的时间不能确定，JVM无法等到该线程到达安全点。

4）如果为线程阻塞或sleep指定插入安全点，则需要插入安全点的地方会增加，会加重程序的负担。