可达性分析算法是现代垃圾回收机制中用来判定对象是否存活的主要依据。它不再依赖早期引用计数法的简单计数，而是从一组固定的起始点出发，通过对象之间的引用关系描绘出一张存活网络，从而精准区分出哪些对象是程序仍然需要的，哪些已经变成无用的垃圾。
什么是 GC Roots
GC Roots 是一组必须活跃的引用起点。垃圾回收器在进行可达性分析时，会首先把这些根对象放入待处理集合，再递归追踪它们所指向的其他对象。常见的 GC Roots 包括以下几种：
- 虚拟机栈中栈帧的局部变量表所引用的对象
- 方法区中类的静态变量所引用的对象
- 方法区中常量引用的对象，例如字符串常量
- 本地方法栈中 JNI 调用的引用对象
- 被同步锁持有的对象
可达性分析的基本过程
算法从 GC Roots 出发，沿着引用边进行深度或广度遍历。所有被遍历到的对象都会被打上存活标记。当遍历结束后，堆中未被标记的对象就是不可达对象，也就是可以被回收的垃圾。
简单示例说明
假设有如下引用关系：Root A 指向对象 B，B 指向 C，而对象 D 没有任何引用来源。在分析中，A 作为 GC Roots 可直接达，B 和 C 通过引用链可达，因此三者均存活；D 不可达，将被回收。
代码视角观察引用链
我们可以通过一段 Java 代码来直观理解对象间引用与根的关系：
public class ReachabilityDemo {
// 静态变量属于 GC Roots 之一
private static Object staticRef = new Object();
public static void main(String[] args) {
// 局部变量 localRef 属于虚拟机栈中的 GC Roots
Object localRef = new Object();
Object middle = new Object();
localRef = middle; // localRef 指向 middle，middle 可达
Object unused = new Object();
unused = null; // 原对象失去引用，不可达
}
}
为什么不用引用计数
引用计数法无法处理循环引用。例如对象 X 和 Y 互相引用，但已不被任何 GC Roots 指向，计数均不为 0，却实际是垃圾。可达性分析通过根追溯，能自然忽略这种孤岛。
只有从 GC Roots 出发可触及的对象，才被认定为活跃对象。
实际排查中的意义
在发生内存泄漏时，往往是因为某些对象被意外的静态变量或长生命周期集合持续引用，导致本应释放的对象始终挂在引用链上。掌握 GC Roots 类型，可以帮助我们在 dump 分析中快速识别异常的根引用。
| GC Roots 类型 | 常见场景 |
|---|---|
| 栈局部变量 | 方法正在执行时的参数与本地变量 |
| 静态变量 | 类级别缓存、单例持有 |
| 常量 | 字符串字面量、final 对象 |
| JNI 引用 | 本地代码中创建的对象 |
小结
可达性分析算法以 GC Roots 为锚点，利用引用链完成对象存活判定。它解决了循环引用问题，也成为主流语言运行时垃圾回收的基石。日常开发中减少不必要的静态持有、及时清理容器引用，是避免内存压力的有效手段。