Java文档中的易变变量说明

Question

当线程读取一个volatile变量时，它不仅看到volatile的最新更改，还看到导致该更改的代码的副作用

在http://docs.oracle.com/javase/tutorial/essential/concurrency/atomic.html中提到了这一点

有人可以提供一个例子吗？

这首先给我的印象是，读取一个volatile变量的线程将与writer线程同步，并等待写入完成。但这显然不是事实。

一个例子将大有帮助，将不胜感激。

谢谢，穆斯塔法

Answer 1

假设您有以下课程：

public class Shared {
    public int a;
    public int b;
    public volatile int c;
}

现在假设线程A引用了此类的实例，并且

shared.a = 1;
shared.b = 2;
shared.c = 3;

假设线程B引用了同一个实例，并且

display(c);
display(b);
display(a);

然后，如果为c显示的值为3（即，如果在读取线程B之前发生了线程A的写操作），那么Java内存模型可以确保分别为b和a显示2和1，因为保证了在写易失性c之前执行的线程A的所有操作对于读取了c的新值的线程是可见的。