Java是易变的，发生在作用域之前

Question

教程http://tutorials.jenkov.com/java-concurrency/volatile.html说

如果读取/写入最初发生在对易失性变量的写入之前，则不能将从其他变量的读取和写入重新排序为在对易失性变量的写入之后发生。写入挥发性变量之前的读取/写入保证在写入挥发性变量之前“发生”。

什么是“写入挥发性变量之前”？这是否意味着以前的读/写在相同的方法中，我们正在写入易失性变量？或者它是一个更大的范围（也在调用堆栈更高的方法中）？

Answer 1

JMM是根据发生在之前的关系定义的，我们称之为-

如果a是易失性写入，而b是同一变量的后续易失性读取，则a-

如果a出现在代码中b之前，则a-

如果a-

让我们把这个应用到一个简单的例子：

int a;
volatile int b;

thread1(){
    a=1;
    b=1
}

thread2(){
  int rb=b;
  int ra=a;
  if(rb==1 and ra==0) print("violation");
}

所以问题是如果thread2看到rb=1，它会看到ra=1吗？

a=1-

b=1-

rb=b-

现在我们可以应用及物性规则两次，我们可以得出结论，a=1-

这意味着：

• a=1和b=1不能重新排序。
• rb=b和ra=a不能重新排序

否则我们可能会得到一个rb=1和ra=0。

Answer 2

JVM确保对易失性变量的写入发生在读取之前。拿两条线。对于单个线程，执行遵循一个类似于串行的语义学。基本上，您可以假设在同一个线程中有一个隐式的事件发生在关系b/w之前两次执行（编译器仍然可以自由地重新排序指令）。基本上，一个线程的总顺序是b/w，它的指令由发生前关系控制。

多线程程序有许多这样的偏序（每个线程在本地指令集中有一个总的顺序，但在线程之间没有全局的顺序），但在全局指令集中没有总的顺序。同步就是给你的程序尽可能多的总顺序。

回到易失性变量，当线程从中读取时，JVM确保对它的所有写入都发生在读取之前。现在，由于这个顺序，写线程在写入变量之前所做的一切对于从中读取变量的线程来说都是可见的。所以是的，为了回答你的问题，即使是调用堆栈中的变量也应该对读取线程可见。

我会试着画一幅视觉效果图。这两个线程可以被想象成两条平行的轨道，对一个易失性变量的写入可以是其中的一条。你基本上得到了一个

        A -----
              |
              |
              ------- B

通过两条执行线形成总订单。由于这个总的顺序，A在卧铺之前的一切都应该在卧铺之后对B可见。

Answer 3

JVM可以重新排序操作。例如，如果我们有i，j变量和代码

i = 1;
j = 2;

JVM可以以重新排序的方式运行它

j = 2;
i = 1;

但是，如果j变量标记为易失性，则JVM仅以以下方式运行操作

i = 1;
j = 2;

写入i“发生在写入易失性变量“j之前。