C ++中的原子操作和可见性[重复]

Question

考虑下面的代码：

static std::atomic<int> x;

// Thread 1
x.store(7, std::memory_order_relaxed);

// Thread 2
x.load(std::memory_order_relaxed);

进一步假设 线程 2 执行了 load 几个周期 em> 线程 1 执行了store。

是否保证 Thread 2 会在所有硬件平台上读取值 7？换句话说，在线程 1 执行 store 之后，是否保证值 7 对稍后执行相同变量的轻松加载的线程立即可见？

Answer 1

是的，它将是可见的。 关于宽松的记忆顺序以及与更强的记忆顺序相比它们的作用，这已成为一个普遍的问题。

一个比放松的记忆顺序更强的记忆顺序会做以下两件事：

• 同步非原子数据
• 防止在同一线程中重新排序指令

不同的顺序保证不同​​的同步策略（只读，只写，读和写）和不同的重排序预防（只在指令之前执行的，只在指令之后执行的或两者兼而有之）。内存顺序放宽不保证任何这些，它只保证原子变量在线程之间是可见的。

在您的示例中，除了一个线程中的存储和另一个线程中的加载之外，没有其他指令。另外，没有可跨线程同步的非原子内存，唯一的内存已经是原子的。

所以没有必要使用比memory_order_relaxed 更重的东西。上面的 sn-p 是有效的，会产生想要的结果。