JLS是否允许此指令重新排序？

Question

根据Java语言规范(实例17.4-1)，下面的片段(从A == B == 0开始).

Thread 1             Thread 2
--------             --------
r2 = A;              r1 = B;
B = 1;               A = 2;

..。可能导致r2 == 2和r1 == 1。这是因为执行B = 1;的结果并不取决于是否执行了r2 = A，因此JVM可以自由地交换执行这两个指令的顺序。换句话说，规范允许以下交错：

Thread 1             Thread 2
--------             --------
B = 1;
                     r1 = B;
                     A = 2;
r2 = A;

这显然导致了r2 == 1和r1 == 1。

我的问题是：

假设我们稍微修改了这个例子：

Thread 1             Thread 2
--------             --------
r2 = A;              r1 = B;
monitorenter obj     monitorenter obj
monitorexit obj      monitorexit obj
B = 1;               A = 2;

其中obj是线程之间共享的引用。

r2 = A 和 B = 1 仍然允许对进行重新排序？

JLS说。

但是，在不影响单独执行该线程的情况下，编译器可以重新排序任何一个线程中的指令。

...which某种程度上表示指令仍然可以被交换。另一方面，以下声明

监视器上的解锁发生在该监视器的每个后续锁之前。

指示在某些调度下，可能会发生两个线程中语句之间的关系，这可能不允许指令重新排序。

Answer 1

非正式地说，这是不允许的。这被称为“蟑螂汽车旅馆模型”。

http://jeremymanson.blogspot.com/2007/05/roach-motels-and-java-memory-model.html

特别是，操作不能跨同步块移动。

然而，在形式上，JMM并没有谈到重新排序的问题。在你的例子中，我们只能推理，

1. 同步块1按总同步顺序位于同步块2之前，因此r2=A发生在A=2之前；r2必须为0。但是B=1和r1=B之间没有约束；r1可以是0或1。
2. 或者是另一个方向。r1必须是0，r2可以是0或2。

因此，程序仍然包含数据竞争；但是，我们可以推断(r1,r2)只能是(0,0)，(1,0)，(0,2)；不可能是(1,2)。