JVM-可达性分析算法

JVM-可达性分析算法

内容参考 《深入理解Java虚拟机》第三版

 

当前主流的商用程序语言(Java、C#)的内存管理子系统，都是通过 可达性分析(Reachability Analysis) 算法来判定对象是否存活的。

这个算法得基本思路就是通过一系列称为 "GC Roots" 的跟对象作为起始节点集，根据引用关系乡下搜索，搜索过程所走过的路径成为 “引用链”(Reference Chain)，如果某个对象到 GC Roots 间没有任何引用链相连，或者用图论的话来说就是从 GC Roots 到这个对象不可达，则证明此对象是不可能再被使用的。

Object 5、6、7 因为不可达，在这里就可以进行回收

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

1. 在虚拟机栈（栈帧中的本地变量表）中引用的对象，譬如各个线程被调用的方法堆栈中使用到的参数、局部变量、临时变量等
2. 在方法区中类静态属性引用的对象，譬如Java类的引用类型静态变量
3. 在方法区中常量引用的对象，譬如 字符串常量池（String Table）里的引用
4. 在本地方法栈中 JNI 引用的对象
5. Java虚拟机内部的引用，如基本数据类型对应的Class 对象，一些常驻的异常对象(NullPointExeception、OutOfMemoryError等)，还有系统类加载器
6. 所有被同步锁(Synchronized)持有的对象
7. 反映Java虚拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等

 

除了这些固定的 GC Roots 集合之外，根据用户所选用的垃圾收集器以及当前回收的内存区域不同，还可以有其他对象“临时性”地加入，共同构成完整GC Roots 集合。