Java易失性重排序防止范围

Question

对易失性字段的写和读分别防止了在易失性字段之前和之后的读/写的重新排序。在写到易失性变量之前的变量读/写不能被重新排序为在它之后发生，在从易失性变量读到之后的读/写不能被重新排序为在它之前发生。但是这种禁止的范围是什么呢？正如我所理解的，volatile变量只能在使用它的块内防止重新排序，对吗？

为了清楚起见，让我举一个具体的例子。假设我们有这样的代码：

int i,j,k;
volatile int l;
boolean flag = true;

void someMethod() {
    int i = 1;
    if (flag) {
        j = 2;
    }
    if (flag) {
        k = 3;
        l = 4;
    }
}

让我再举一个具体的例子来说明范围以澄清事情：

setVolatile() {
   l = 5;
} 

callTheSet() {
   i = 6;
   setVolatile();
}

在这种情况下，编译器会禁止重新排序iwrite吗？或者编译器不能/没有被编程来跟踪其他方法在volatile情况下发生的事情，并且iwrite可以被重新排序为在setvolatile()之前发生？或者编译器根本不重新排序方法调用？

我的意思是，一定有一个点，当编译器将无法跟踪一些代码是否应该发生在一些易失性字段写入之前。否则，一个易失性字段写/读可能会影响一半程序的排序，如果不是更多的话。这是一个罕见的病例，但这是可能的。

Answer 1

显然，写到l会阻止写到k的重新排序，但它会阻止写到i和J的重新排序吗？

你说的重新排序是什么意思并不完全清楚；见我上面的评论。

但是，在Java5+内存模型中，我们可以说，在写到L之前发生的写到I和J对于另一个线程在读取L...之后是可见的，前提是在写到L之后没有写到I和J。

这确实会限制写入I和J的指令的任何重新排序。具体地说，不能将它们移到写到L之后的内存写屏障之后，因为这可能导致它们对第二个线程不可见。

但是这种禁止的范围是什么呢？

本身没有禁令。

在每个线程t执行的所有线程间操作中，t的程序顺序是一个总顺序，它反映了根据t的线程内语义执行这些操作的顺序。

如果所有动作都以与程序顺序一致的总顺序（执行顺序）发生，那么一组动作是顺序一致的，而且，变量v的每次读r看到写w到v所写的值，这样：

>

w在执行顺序中位于r之前，并且

注意，在这个定义中没有提到块或作用域。