https://www.zhihu.com/question/62953438?from=profile_question_card
父类特性
整体逻辑,JVM将待回收对象对应的Reference对象放入pending列表,由ReferenceHandler将pending列表中的对象取出放入ReferenceQueue,以此作为一个通知机制。
Reference next;
Reference类型的对象类似链表的节点,每个Reference类型的对象持有下一个Reference类型的对象的引用,这样组成了单向链表(ReferenceQueue实际节点)。
private static Reference<Object> pending = null;
static字段,整个JVM只有唯一的一个。JVM的垃圾回收器会将所有被标记对象对应的Reference类型的对象添加到这里,组成Reference类型的对象的单向链表,这一步是JVM做的。
private static class ReferenceHandler extends Thread;
内部类线程,在Reference的static代码块创建,JVM全局唯一。
public void run() {
while (true) {
tryHandlePending(true);
}
}
### static boolean tryHandlePending(boolean waitForNotify)
不断从pending上的Reference类型的对象的单向链表上取出Reference类型对象,然后将改Reference类型对象放入Reference类型的对象自带的ReferenceQueue中。
如果Reference类型对象是Cleaner,调用Cleaner的clean()方法。
子类
SoftReference
WeakReference
-
WeakHashMap(应用)
通过查询queue中的数据,判断是否有对象被回收,被回收则删除map中对应的key。
-
ThreadLocalMap(应用)
构造WeakReference对象时未传入queue,通过不断调用get()方法判断是否为null来确定对象是否被回收。
PhantomReference
Finalizer vs. Cleaner
因为Finalizer也是一种Reference,所以前边Reference的处理逻辑是和Weak, Soft reference的逻辑十分相似的。
而且Finalizer和Cleaner的作用也十分相似,但有一个巨大的不同在于,finalize方法里可以使object 复活,而 Cleaner 的 clean 方法中不能使得对象复活。
这是因为 finalize 中,可以通过 this 指针访问到 object 对象,例如:
public void finalize() {
Other.ref = this;
}
这样的话,一个本来应该被回收的对象又在finalize之后复活了。但是Cleaner为什么不行呢?因为它的基类是一个PhantomReference,这个“鬼引用”的 get 方法是这样的:
public class PhantomReference<T> extends Reference<T> {
public T get() {
return null;
}
// 其它代码略
}
永远返回null,也就是说对于Cleaner,创建了以后,就再也不能访问它的referent了。
Cleaner(子类)
DirectByteBuffer(应用)
-
private static Cleaner first = null;
Cleaner.create方法会将Cleaner对象加到一个双向链表中去,这样做是为了保证在referent被回收之前这些Cleaner都是存活的。
FinalReference
FinalReference仅仅继承了Reference,没有做其他的逻辑,只是将访问权限声明为package,所以我们不能够直接使用它。
-
Finalizer(子类)
只要类覆写了Object 上的finalize方法,方法体非空。那么这个类的实例都会被Finalizer引用类型引用。这个工作是由虚拟机完成的,对于我们来说是透明的。
覆盖了finalize方法的对象至少需要两次GC才可能被回收。第一次GC把覆盖了finalize方法的对象对应的Finalizer reference加入referenceQueue等待FinalizerThread来执行finalize方法。第二次GC才有可能释放finalizee对象本身,前提是FinalizerThread已经执行完finalize方法了,并把Finalizer reference从Finalizer静态unfinalized链表中剔除,因为这个链表和Finalizer reference对finalizee构成的是一个强引用。
- private static ReferenceQueue queue = new ReferenceQueue();
- private static Finalizer unfinalized;
维护了一个未执行finalize方法的reference列表。维护静态字段unfinalized的目的是为了一直保持对未未执行finalize方法的reference的强引用,防止被gc回收掉。
- private static class FinalizerThread extends Thread;
Finalizer静态代码块里启动了一个deamon线程 FinalizerThread,FinalizerThread run方法不断的从queue中去取Finalizer类型的reference,然后调用Finalizer的runFinalizer方法,该方法最后执行了referent所重写的finalize方法。finalize方法执行之后移除unfinalized列表。