Java实例变量可见性（ThreadLocal）

Question

在类中 ReentrantReadWriteLock 是以下好奇的评论：

transient ThreadLocalHoldCounter readHolds;

Sync() {
    readHolds = new ThreadLocalHoldCounter();
    setState(getState()); // ensures visibility of readHolds
}

“确保可见性”是什么意思？我问的原因是我遇到了一种情况，看起来线程本地 readHolds 正在被重置（线程本地被实现为 WeakReferences，因此只要包含的 Sync 对象仍然存在，就不会发生这种情况）。 setState/getState 只是更改另一个实例变量并且不触及 readHolds。

Answer 1

setState(int) 方法执行对易失性变量的赋值。这会导致当前线程执行的任何分配（包括 readHolds）被刷新到“主内存”。

其他调用 getState() 的线程读取这个相同的易失性变量。由于变量是易失性的，因此线程的缓存首先被清除，强制后续的读取操作转到主内存，在那里它们将找到 readHolds 的最新值。