如何判断对象可以回收可达性分析算法
可达性分析算法
当前主流的商用程序语言(java, C#, 上至古老的Lisp)的内存管理子系统,都是通过可达性分析(Reachability Analysls)算法来判定对象是否存活的,这个算法的基本思路就是通过一系列被称为"GC Ro ots"的根对象作为起始节点集,从这些节点开始,根据引用关系乡下搜索,搜索过程所走过的路径称为"引用链"(Reference Chain),如果某个对象到GCRoots间没有任何引用链相连,或者用图论的话来说就是从GCRoots到这个对象不可达时,则证明此对象是不再被使用的
总结下就是:每一个对象,都分析下有谁再引用他,然后一层一层的往上去判断,看是否有一个GC Roots
GCRoots对象的概念
- 再java技术体系中,固定可作为GC Roots的对象包含下面几种
- 在虚拟机栈(栈帧中的本地变量表)中引用的对象,譬如各个线程被调用的方法堆栈中使用的参数,局部变量,临时变量等
- 在本地方法栈中JNI(即通常所说的Native方法)引用的对象
- 类静态属性引用的对象,譬如java类引用类型静态变量
- 常量引用的对象,如字符串常量池(String Table)里面的引用
- java虚拟机内部的引用,如基本数据类型对应的Class对象,一些常驻的异常对象(比如nullPointException,OutOfMemoryError)等,还有系统类加载器
- 所有被同步锁(Synchronized关键字)持有的对象
- 反应java虚拟机内部情况的JMXBean,JVMTI中注册的回调,本地代码缓存等
总结:当一个对象被栈帧中的局部变量引用或者是类的静态变量时,JVM就不会进行回收,而此时虚拟机栈中的局部变量引用,类中的静态变量引用 就叫做GCRoots。