易变变量，在订购前发生

Question

我有两个线程：

线程数：1

a = 1;
x = b;

线程数：2

b = 1
y = a

在这里，a和b被声明为volatile。我不了解如何在a = 1之间创建“先发生”边；y = a; 在x = b之间; 并且b = 1;

我知道通过使用volatile变量可以防止从线程缓存中读取过时的值。但是，可变变量如何才能确保在订购前发生。

具体来说，我不明白这一点：

后续每次读取同一字段之前，都会对易失字段进行写操作。

e头有效吗？

Answer 1

后续每次读取同一字段之前，都会对易失字段进行写操作。

这里的重要词是“后续”。

这是Java语言规范17.4.4同步顺序的相关部分：

每个执行都有一个同步顺序。同步顺序是执行中所有同步动作的总顺序。对于每个线程t，t中的同步动作（第17.4.2节）的同步顺序与t的程序顺序（第17.4.3节）一致。同步动作在动作上引发了同步关系，定义如下：

• […]
• 对volatile变量（第8.3.1.4节）的写操作将与任何线程对v的所有后续读取进行同步（其中，后续操作是根据同步顺序定义的）。
  
  

注意最后一部分。因此，这就是说，如果您考虑程序动作的任何总排序，那么对volatile变量的任何读取（在该总排序中都比写入晚）将无法“忽略”该写入。