在主流的语言（Java，C#） 的主流实现中，都是通过可达性分析来判断对象是否存活的。这个算法的基本思路就是通过一系列的称为“GCRoots”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链（reference chain），当一个对象到 GC Roots 没有任何引用链相连时，则证明对象是不可用的。
在 Java 语言中，可以作为 GCRoots 的对象包括下面几种：
- 虚拟机栈（栈帧中的本地变量）中引用的对象。
- 方法区中静态属性引用的对象
- 方法区中常量引用的对象
- 本地方法栈中 JNI（Native 方法）引用的对象。