引用计数算法
给对象中添加一个引用计数器,每当有一个地方引用它时,计数器就加 1 ;当引用失效时,计数器值就减 1 ;如果计数器值变为 0 ,对象就是没有被使用的。但是实际虚拟机中没有使用该算法,因为这个算法没有办法处理对象相互引用的问题。
可达性分析算法
通过一系列的称为“ GC Roots ”的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为 引用链( Reference Chain ) ,当一个对象到 GC Roots 没有任何引用链相关联时,则证明此对象是不可用的。因此即使有多个对象相互引用,只要没有被链接 GC Roots 的链接,就是不可以用的。
JAVA 中可作为 GC Roots 的对象包括以下
1. 虚拟机栈中引用的对象
2. 方法区中类静态属性引用的对象。
3. 方法区中常量引用的对象。
4. 本地方法栈中 JNI 引用的对象。
两次标记和 finalize 方法
即使在可达性分析算法中不可达的对象,也并非是“非死不可”的,这时候他们暂时处于“缓刑”阶段,要真正宣告一个对象死亡,至少要经历两次标记过程。如果对象在进行可达性分析后发现没有与 GC Roots 相连接的引用链,那它将会被第一次标记并且进行一次筛选。筛选的条件是此对象是否有必要执行 finalize() 方法。 当对象没有覆盖 finalize() 方法,或者 finalize() 已经被虚拟机调用过,虚拟机将这两种情况都视为“没有必要执行”。
如果这个对象被判定为有必要执行finalize()方法,那么这个对象将会被放置在一个叫做F-Queue的队列之中,并在稍后由一个虚拟机自动建立的,低优先级的Finalizer线程去执行它。这里所谓的“执行”是指虚拟机会触发这个方法,但并不承诺会等待它运行结束,这样做的原因是,如果一个对象在finalize()方法中执行缓慢,或者发生了死循环,将很可能会导致F-Queue队列中其他对象永久处于等待,甚至导致整个内存回收系统崩溃。
finalize() 是对象在第一次标记后,逃离第二次标记的最后一次机会,但是这个机会是不确定的,不可控的,如果在第二次标记前对象和 GC Roots 重新连接,那么对象就逃出生天了,否则就会被回收。
finalize() 方法在系统中只会调用一次,这意味即使对象只能通过 finalize() 获救一次,第二次就一定会被回收了。由于 finalize() 存在诸多不可确认性,所以不是很推荐使用。使用 try-finally 或其他方式是更好,更及时的选择。
回收方法区
方法区(永久代)的垃圾收集主要回收两部分内容: 废弃常量和无用的类 。
对于废弃常量,如果一个常量在常量池中,没有其他任何地方引用了这个常量,如果这是发生内存回收,而且必要的话,常量就会被系统清理除常量池。常量池中的其他类(接口)、方法、字段的符号引用也与此类似。
对于无用的类,必须满足以下条件:
1. 该类所有的实例都已经被回收,也就是 JAVA 堆中不存在该类的任何实例
2. 加载该类的 ClassLoader 已经被回收
3. 该类对应的 java.lang.Class 对象没有在任何地方被引用,且无法在任何地方通过反射访问该类的方法。
虚拟机可以对无用的类进行回收,但不是一定会回收。
参考文档:
《深入理解JAVA虚拟机》