为什么这个包含两个 volatile 写入数据的 Java 程序没有竞争？

Question

考虑以下 Java 程序：

static volatile int shared;

public static void main(final String[] args) {
  final Runnable r = () -> {
    shared = 1;
  };

  new Thread(r).start();
  new Thread(r).start();
}

因为shared 被标记为volatile，我想说这个程序没有数据竞争。但是，如何基于 JLS（例如版本 11）来激发这一点？

第 17 章告诉我们：

当一个程序包含两个冲突的访问（第 17.4.1 节）时，这些访问没有按发生前的关系排序，则称为包含数据竞争。

我认为这是 JLS 提供的数据竞争的定义。然后我们有第 17.4.1 节告诉我们：

如果至少有一次访问是写入，则对同一变量的两次访问（读取或写入）称为冲突。

好的，因为我们有两次写入shared，所以我们在这里有冲突的访问。现在我们必须在两个写入之间建立起之前发生的关系，否则我们就会有比赛。然而，我没有设法找到为什么我们在这里有这种关系。第 17 章告诉我：

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

同一章告诉我：

对 volatile 变量 v（第 8.3.1.4 节）的写入与任何线程对 v 的所有后续读取同步（其中“后续”根据同步顺序定义）。

但在将写入关联到易失性变量之前，我还没有发现任何事情发生。这是为什么呢？

Answer 1

对 volatile 变量的访问从不受到数据竞争的影响。

从 JLS 看不是很明显，而是在短语中

（第 17.4.1 节）如果至少有一次访问是写入，则对同一变量的两次访问（读取或写入）称为冲突。

术语“读取”和“写入”不是通用术语，但在下一节“17.4.2 操作”中描述为对非易失性变量的访问：

• 读取（正常或非易失性）。读取变量。

• 写入（正常或非易失性）。写一个变量。

在该部分中，对 volatile 变量的访问被归类为 同步操作 的一部分，具有不同的术语“易失性读取”和“易失性写入”：

– 易失性读取。变量的易失性读取。

– 易失性写入。变量的易失性写入。

因为只有（非易失性）读取和写入可能会发生冲突，所以只有那些访问可能包含数据竞争。 易失性读取和写入永远不会发生冲突，并且永远不会包含数据竞争。