这是原始问题,但我的问题有些不同。 C ++内存模型 – 此示例是否包含数据竞争?
我的问题:
//CODE-1: initially, x == 0 and y == 0 if (x) y++; // pthread 1 if (y) x++; // pthread 2
注意:上面的代码是用C语言编写的,而不是用C ++编写的(没有内存模型)。 那么它是否包含数据竞争?
从我的观点来看:如果我们在顺序一致性内存模型中查看代码,则没有数据竞争,因为x和y将永远不会同时为非零。 但是,我们永远不能假设顺序一致性内存模型,因此编译器重新排序可以进行相对于线程内正确性的转换,因为编译器不知道线程的存在…….对吗?
所以代码可以转换为:
//CODE-2 y++; if (!x) y--; x++; if (!y) x--;
上面的转换并没有违反顺序正确性所以它是正确的。这不是编译器的错,对吧? 所以我同意CODE-1包含数据竞争的观点。你呢?
我有一个额外的问题,带有内存模型的C ++ 11可以解决这个数据竞争因为编译器知道线程,所以他们会根据内存模型类型进行重新排序,对吧?
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的可能结果是:
这与内存模型无关。 它只是在任何不同步的环境中的竞赛。
以上就是c/c++开发分享此示例是否包含数据竞争?相关内容,想了解更多C/C++开发(异常处理)及C/C++游戏开发关注计算机技术网(www.ctvol.com)!)。
本文来自网络收集,不代表计算机技术网立场,如涉及侵权请联系管理员删除。
ctvol管理联系方式QQ:251552304
本文章地址:https://www.ctvol.com/c-cdevelopment/559792.html