c++ - 在 C++ 的宽松内存模型中是否存在依赖循环的非因果行为？

Question

假设x和y是用0初始化的原子整数。

现在，线程 A 运行以下代码:

if (x.load(memory_order_relaxed) == 1) {
    y.store(1, memory_order_relaxed);
}

线程 B 运行这段代码:

if (y.load(memory_order_relaxed) == 1) {
    x.store(1, memory_order_relaxed);
}

在 C++ 中，是否有可能达到 (x == 1 and y == 1) 的情况？如果它是可能的，为什么？

我在 https://people.mpi-sws.org/~viktor/slides/2014-07-ec2.pdf 中看到过这种说法(依赖循环部分)。

Answer 1

好问题!

这些被称为“凭空”值，因为没有值 1 的来源。这些在 C++11 中被忽略，由论文 N3710 指出并在 C++14 中被禁止。

如 N3710 所述，

No known implementations actually produce such results.