垃圾回收可达性分析算法多线程存在的问题

在极客时间 《深入拆解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 集合中，所以也会被垃圾回收器回收掉，这就导致另一个线程访问了被回收的对象。