Java内存模型-令人惊讶的行为

Question

谁能解释一下吗？

Answer 1

8.1记忆模型允许的令人惊讶的行为

图12显示了一个小而有趣的示例。行为r1==2和r2==1是一种合法行为，尽管很难看出它是如何发生的。编译器不会对每个线程中的语句重新排序；此代码绝不能导致r1==1或r2==2。然而，行为r1==2和r2==1可能被提前执行写操作的处理器体系结构所允许，但它们对于按照程序顺序出现在它们之前的本地读操作是不可见的。这种行为虽然令人惊讶，但却是Java内存模型所允许的。为了在内存模型中得到这个结果，我们先提交两次写，然后再提交两次读。

CPU决定在读取X之前写入X。这个例子所说的是，这是有效的行为，或多或少，这是一个被接受为有效行为的例外。

//Thread 1
int x = 0;
int r1 = x;
x = 1;

//Thread 2
int x = 0;
int r2 = x;
x = 2;

//Thread 1
int x = 0;
x = 1;
int r1 = x;

//Thread 2
int x = 0;
x = 2;
int r2 = x;