可达性分析算法是用来判断对象是否存活的方法，与之相同的算法还有引用计数法。
Java、C#使用的是可达性分析算法，在一些脚本语言中会使用引用计数法，例如：Python,Squirrel。
引用计数法:
原理：有一个地方引用对象，则此对象计数器 +1，引用失效则-1，计数器为0则不能使用
优缺点：判断效率高，实现简单，但是难以解决对象互相循环引用问题。
可达性分析算法：
原理：首先从GC Roots的对象作为起点开始，然后向下搜索，搜索走过的路径称为引用链，如果一个对象没有任何引用链相连，则判断为对象不可用，作为可回收对象，通过finalize()自救。
优缺点：解决相互循环引用问题。
GC Roots的对象包括：
虚拟机栈中本地变量表引用的对象
方法区中类静态属性引用，常量引用的对象
本地方法栈中JNI引用的对象
参考资料：《深入理解Java虚拟机》——周志明
