在《JAVA并发编程实战》Goetz 2012年2月第1版中,3.1.4小节(31页)中有如下描述:
volatile变量对可见性的影响比volatile变量本身更为重要(1)。当线程A首先写入一个volatile变量并且线程B随后读取该变量时,在写入volatile变量之前对A可见的所有变量的值(2),在B读取了volatile变量后,对B也是可见的。因此,从内存可见性的角度来看,写入volatile变量相当于(3)退出同步代码块,而读取volatile变量就相当于进入同步代码块。
1、“volatile变量对可见性的影响比volatile变量本身更为重要。这句话从语法结构分析,“volatile变量对可见性”是定语,“影响”是主语,“比”是谓语,“volatile变量”是宾语,“重要”是补语。简化为“主谓宾补”后,这句话是这样的:“影响比volatile变量重要”,这是在拿两个不同的事物在进行比较。你可以类似举例,比如“火对生活的影响比火本身更重要”,让人困惑。
2、“在写入volatile变量之前对A可见的所有变量的值”,这里所说的所有变量的值,这个范围可大了,试想如果A线程在写入volatile变量之前,持有C变量的锁,而这些锁在A线程写入volatile变量之后也没有施放,那么在B读取了volatile变量后,那么C变量对B就是不可见的。请看如下的代码(JAVA8):
class A implements Runnable {
private static int c = 99;
public static Object cLock = new Object();
public void run() {
synchronized (cLock) {
//持有C变量的锁
c++;
B.isRunning = false;
try {
TimeUnit.SECONDS.sleep(10); //意思是不施放C变量的锁
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
public static int getC() {
synchronized (cLock