java - 在 ""attempts-before"order 示例中，以下 java 程序将如何运行？

Question

请参阅 JLS 的以下程序。

程序的解释在本节的最后: http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.5

我可以理解r1将为1，但是r2的值是多少。 x 的写入是否发生在 r2 读取 x 之前，使得 r2=1？

由于 x 未同步，它可能位于本地内存中，并且 r2 可能为 0？？我不清楚“发生在订单之前”的效果。

Answer 1

根据Happens-before Order (如果 hb(x, y) 和 hb(y, z)，则 hb(x, z) )，我们有 hb(x=1, y=1), hb(y=1, r1=y), hb (r1=y，r2=x)，因此hb(x=1，r2=x)。所以r2=1。