Java内存模型：易变变量和发生之前

Question

我想说明 先发生的 关系如何与 volatile 变量一起使用。让我们有以下变量：

public static int i, iDst, vDst;
public static volatile int v;

和线程A：

i = 1;
v = 2;

和线程B：

vDst = v;
iDst = i;

根据Java内存模型（JMM），以下语句正确吗？ 如果没有，正确的解释是什么？

• i = 1总是在 发生之前 v = 2
• v = 2 __vDst = v仅在JMM中实际发生时才 发生- 在JMM中
• i = 1 __ 如果实际上发生在时间之前，则发生iDst = i在JMM中-before -before （并且iDst将可预测地分配1）v = 2``vDst = v
• 否则，i = 1和之间的顺序iDst = i不确定，并且的结果值iDst也不确定

逻辑错误：

有一个在JMM没有“挂钟时间”的概念，我们应该依靠 同步顺序 作为排序指南v = 2和vDst = v。有关更多详细信息，请参见所选答案。

Answer 1

• i = 1总是在 发生之前 v = 2

真正。根据JLS第17.4.5条，

如果 x 和 y 是同一线程的动作，并且 x 按程序顺序位于 y 之前，则 hb（x，y） 。

• v = 2 __vDst = v仅在JMM中实际发生时才 发生- 在JMM中
• i = 1 __ 如果实际上发生在时间之前，则发生iDst = i在JMM中-before -before （并且iDst将可预测地分配1）v = 2``vDst = v

假。先发生先后顺序不能保证事物在物理时间内先发生。在JLS的同一部分，

应该注意的是，两个动作之间存在先发生关系并不一定意味着在实现中它们必须按照该顺序进行。如果重新排序产生的结果与合法执行相符，则不合法。

它，然而，保证v = 2 之前发生 vDst = v和i = 1 之前发生 iDst = i，如果v = 2之前谈到vDst = v的同步顺序，在执行，往往是误认为是实时订单的同步动作的总订单。

• 否则，i = 1和之间的顺序iDst = i不确定，并且的结果值iDst也不确定

这是，如果情况vDst = v到来之前v = 2在同步顺序，但实际时间不来了进去。