在极客时间 《深入拆解Java虚拟机》这门课的第11讲中,有一下一段话:
=======================
比如说,在多线程环境下,其他线程可能会更新已经访问过的对象中的引用,从而造成误报(将引用设置为 null)或者漏报(将引用设置为未被访问过的对象)。
误报并没有什么伤害,Java 虚拟机至多损失了部分垃圾回收的机会。漏报则比较麻烦,因为垃圾回收器可能回收事实上仍被引用的对象内存。一旦从原引用访问已经被回收了的对象,则很有可能会直接导致 Java 虚拟机崩溃。
=======================
这里我觉得讲的不太好,容易让人误解,特地加了下自己的理解,如有错误,忘指正。
原文中 “其他线程可能会更新已经访问过的对象中的引用”,这里已经访问过的对象,应该指的是已经被GC 回收器根据可达性分析算法标记过(标记成存活或者死亡)的对象。
然后误报跟漏报的场景,也没有讲清楚,我理了下具体可能存在的场景:
比如GC Roots集合:[a,b,c,d,e,f]其中a,b,c,d,e,f 都是存活对象,g,h,i,j,k,l 都是可回收对象,GC回收线程回收时,假如有另一个线程,将引用a 对象的引用设置为null,此时理论上a 对象也应该被回收,但是a 对象处于GC Roots集合中,所以只能等到下次GC回收。如果另一个线程,创建并引用了一个新的对象m, 因为m 不在GC Roots 集合中,所以也会被垃圾回收器回收掉,这就导致另一个线程访问了被回收的对象。