c++ - 对内存中同一地址的写入之间可能存在数据竞争

Question

考虑以下代码段。

T data;
T* ptr1 = &data;
T* ptr2 = &data;
*ptr1 = ...;
std::thread thread([ptr2]() {
    *ptr2 = ...;
});
thread.join();

问题:它是否引入了数据竞争？

我的想法:由于 ptr1 和 ptr2 是不同的变量，赋值和按值捕获需要重新排序。因此，存在数据竞赛。

这是正确的吗？

Answer 1

线程创建意味着先于 关系，即给定代码中没有数据竞争。事实上，对 *ptr1 的赋值实际上发生在下一条语句之前。如果您在线程创建后重新排序代码以将赋值给 *ptr1，您将遇到数据竞争:使用哪个指针引用来访问对象以创建数据竞争并不重要。