Java文档中的易失性变量解释

Question

当线程读取易失性变量时，它不仅会看到易失性的最新更改，还会看到导致更改的代码的副作用

这是在http://docs.oracle.com/javase/tutorial/essential/concurrency/atomic.html提到的

有人可以举个例子吗？

这首先给我的印象是，读取可变变量的线程将与编写器线程同步，并等待写入完成。但事实显然并非如此。

举个例子会很有帮助，非常感谢。

谢谢，穆斯塔法

Answer 1

按照我对文档文本的理解，如果将volatile修饰符应用于字段，那么它保证了以下几点:如果在代码中更改了volatile-field，那么这种更改将在它之前的所有操作之后发生，在它之后的所有操作之前发生，这将适用于所有应用程序线程。

Answer 2

假设您有以下类：

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(即，如果线程A的写操作发生在线程B的读操作之前)，那么Java内存模型保证也将分别为B和A显示2和1，因为线程A在写入volatile c之前所做的所有操作都保证被读取了c的新值的线程看到。