c/c++语言开发共享此示例是否包含数据竞争？

C ++标准将数据争用（触发未定义的行为）定义为：

§1.10.1-2[intro.races]
如果其中一个修改内存位置（..）而另一个读取或修改相同的内存位置，则两个表达式评估会发生冲突。

根据C ++内存模型规则，您的第一个代码片段不包含数据竞争，因为C ++标准禁止编译器转换引入这样的竞争：

§1.10.1-21[intro.races]
本国际标准通常排除了将引用分配给可能由抽象机器修改的潜在共享内存位置的编译器转换，因为在抽象机器执行不执行的情况下，这样的分配可能会覆盖另一个线程的另一个分配遇到了数据竞赛。

所以它说如果if语句（ x ）中的条件产生错误，则不允许修改y ，即使最终结果是y看起来未修改。

第二个例子显然包含数据竞争，因为2个线程可以同时写入和读取x （同样适用于y ）。

请注意，自版本11以来，C ++和C都具有内存模型。如果使用不支持C11的编译器，则不会正式定义multithreading行为。

这是一个显示非法编译器转换示例的问题 。

// CODE-1：最初，x == 0和y == 0
if（x）y ++; // pthread 1
if（y）x ++; // pthread 2

没有未定义的行为，因为x和y都不会改变它们的值。
但是，仍然存在竞争条件，因为在一个线程中的读访问与另一个线程中的写访问之间没有定义的序列。

// CODE-2
ÿ++; if（！x）y–; // pthread 1
X ++; if（！y）x–; // pthread 2

现在你有一个数据争用和未定义的行为，因为在线程1中的y++和线程2中的if（！y）之间没有序列，反之亦然。 所以y的可能结果是：

这与内存模型无关。 它只是在任何不同步的环境中的竞赛。