java中的同步重排序

Question

众所周知，JVM 不应该将语句从同步块重新排序到同步块之外。考虑到这一点，是否允许 JVM 重新排序分配 y = 7 以发生在以下 sn-p 中的 synchronized 块之后？

x = 5;
y = 7;
synchronized (this) {
    x = 6;
}

我们知道，同步块之前的变量赋值可以重新排序以发生在块内。所以以下应该是对初始代码的有效重新排序：

x = 5;
synchronized (this) {
    x = 6;
    y = 7;
}

有人可能会争辩说，因为这是一个有效的排序，y 分配不能发生在 synchronized 块之后，因为它违反了来自同步块中的代码不得重新排序以发生在块之后的规则，并且推断出同步块的y happens-before end。

另一方面，可能所有的排序都不等价，哪个排序才是实际排序很重要。具体来说，如果 y 分配最初是在同步块内完成的，则它不能在该块之后发生，否则它可以。

综上所述，next ordering是第一个sn-p的有效排序吗？

x = 5;
synchronized (this) {
    x = 6;
}
y = 7;

Answer 1

JLS 17.4.5:

• 如果 x 和 y 是同一线程的操作，并且 x 在程序顺序中位于 y 之前，则为 hb(x, y)。

...

• 如果动作 x 与后续动作 y 同步，那么我们也有 hb(x, y)。

只有在假设y 的值在当前线程之外可见时，您的问题才有意义。如果是这种情况，这两个规则的组合要求在同步块之后不会重新排序分配。

Answer 2

是的，你的推理有缺陷；这不可能发生。

监视器输入就像volatile load（不完全正确，但我理解它更简单 - 将插入两个障碍：LoadLoad|LoadStore）和 before 的操作可以不要飘过那道屏障。

我很确定，这是由 JLS 指定的，虽然我想链接到它，但另一个答案已经做了 - 去投票吧。