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)方法执行对volatile变量的赋值。这会导致当前线程—（包括readHolds —）执行的任何分配都被刷新到“主内存”。

其他线程调用getState()读取这个相同的volatile变量。由于该变量是易失性的，所以线程的缓存先被清除，迫使后续的读取操作到达主内存，在那里他们将找到最近的值readHolds。