堆中几乎存放着 Java 世界中所有的对象实例,垃圾收集器在对对象进行回收前,第一件事情就是要确定这些对象哪些还 “存活“着,哪些已经”死去”。
1. 引用计数算法
给对象中添加一个引用计数器,每当有一个地方引用它是,计数器值就加1,引用失效是,计数器值就减1,任何时刻计算器都为 0 的对象就是不可能再被使用的。
但是 Java 语言中并没有引用计数算法来管理内存,因为它很难解决对象之间相互循环引用的问题。
2. 根搜索算法
在主流的商用程序语言中,都是使用根搜索算法(GC Root Tracing)判断对象是否存活的。
算法基本思路:
通过一系列名为 “GC Roots“ 的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用链(Reference Chain),当一个对象到 GC Roots 没有任何引用链相连时,则证明此对象是不可用的。
如上图所示,对象 Object4、Object5、Object6 之间虽然有联系,但是他们到 GC Roots 是不可达的,所以它会被判定为是可回收的对象。
可以作为 GC Roots 的对象
-
虚拟机栈中引用的对象
-
方法区中的类静态属性引用的对象
-
方法区中的常量引用的对象
-
本地方法栈中 JNI 的引用的对象
3. 再谈引用
我们希望能描述这样一类对象,当内存空间还足够是,则能保留在内存中,如果内存在进行垃圾收集后还是非常紧张,则可以抛弃这些对象。
-
强引用
- 指在程序代码中普遍存在的,类似
Object obj = new Object()
这类的引用,只要强引用还存在的,垃圾收集器永远不会回收掉被引用的对象。
- 指在程序代码中普遍存在的,类似
-
软引用
- 用来描述一些还有用,但并非必需的对象。
- 对于软引用关联着的对象,在系统将要发生内存溢出异常之前,将会把这些对象列进回收范围之中并进行第二次回收。
- 如果这次回收还没有足够的内存,才会抛出内存溢出异常。
-
弱引用
- 用来描述非必需对象,但是强度要比软引用更弱一些。
- **被弱引用关联的对象只能生存到下一次垃圾收集发生之前。**当垃圾收集器工作时,无论当前内存是否足够,都会回收值被弱引用关联的对象。
-
虚引用
- 也称为幽灵引用或幻影引用,是最弱的一种引用关系。
- 一个对象是否有虚引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来取得一个对象实例。
- 为一个对象设置虚引用关联的唯一目的就是希望能在这个对象被垃圾收集器回收是收到一个系统通知。
4. 生存还是死亡?
在根搜索算法中不可达的对象,也并非是 “非死不可” 的,这时候他们暂时处于 “缓刑” 阶段,要真正宣告一个对象死亡,至少要经历两次标记过程:
- 如果对象在进行根搜索后发现没有与 GC Roots 相连接的引用链,那么它将会被第一次标记并且进行一次筛选,
- 筛选的条件是此对象是否有必要执行 finalize() 方法。
- 当对象没有覆盖 finalize() 方法,或者 finalize() 方法已经被虚拟机调用过(只会被执行一次),虚拟机将这两种情况都视为 ”没有必要执行“。
- 如果这个对象被判断为有必要执行 finalize() 方法, 那么这个对象将会被放置在一个名为 F-Queue 的队列中,并在稍后由一条虚拟机自动建立的、低优先级的 Finalzer 线程去执行。
- finalize() 方法是对象逃脱死亡命运的最后一次机会。
- 稍后GC 将会对 F-Queue 中的对象进行第二次小规模的标记。
5. 回收方法区
永久代的垃圾收集主要回收两部分内容:
- 废弃常量
- 回收废弃常量与回收 Java 对中的对象非常类似
- 以常量池中字面量的回收为例,若字符串 “abc” 进入常量池,但是当前系统没有任何一个 String 对象是叫做 “abc“,也即没有任何 String 对象引用常量池中的 ”abc“ 常量,也没有其他地方引用这个字面量,如果这个时候发生内存回收,而且必要的话,这个 ”abc“ 常量就会被系统请出常量池。
- 判断一个类是无用的类的条件
- 该类所有的实例都已经被回收,也就是 Java 堆中不存在该类的任何实例。
- 加载该类的 ClassLoader 已经被回收
- 该类对应的 java.lang.Class 对象没有在任何地方被引用,无法在任何地方通过反射访问该类的方法。