可达性分析算法:
(当前主流语言的内存管理子系统都是通过可达性分析算法来判断对象是否存活,Java语言同样,没有使用引用计数法算法的)
基本思路:GC roots的对象作为起始节点集合,从这些节点开始,根据引用关系向下搜索,搜索过程所走过的路径称为 引用链,如果某个对象到GC roots没有任何引用链相连,那么这个对象就被认为是可以回收的对象。
GC Roots:
- 虚拟机栈中引用的对象(各个线程被调用的方法堆栈中使用到的参数,局部变量,临时变量等)
- 方法区中静态对象,常量对象,字符串常量池中的对象
- 本地方法栈中native方法中引用的对象
- JVM中常驻的异常对象(NullPointException,OutOfMemoryError等),基本类型对应的Class对象
- synchronized包含的对象
- 反应JVM内部情况的本地代码缓存、JMXBean、JVMTI中注册的回调等
- 还有一些较为复杂的情况(多个区域的关联对象)等等
对象是GC Roots非关联对象一定会被回收?
并不是非死不可的,如果该对象没有覆盖finalize()方法,或者finalize()方法已经被JVM调用过,那么JVM将这两种情况都视为非必要回收对象。
对象怎么被回收?
会被放在F-Queue队列中,接着JVM会自动建立一个低调度优先级的线程Finalizer执行队列中对象的finalize()方法(会保证开始执行,不保证一定会执行完毕(因为某些finalize()方法可能会出现问题,比如死循环等)),如果finalize()方法中没有问题,则会被回收。如果存在问题,比如将自己赋值给一个可以到达GC Roots的对象,那么这个对象会被移出 回收对象集合。