multithreading - __ATOMIC_RELAXED 是什么意思？

Question

在 GCC atomic 内置中，我发现 __atomic_exchange 函数确实有第三个参数 int memorder，它可以采用值之一 __ATOMIC_RELAXED , __ATOMIC_SEQ_CST , __ATOMIC_ACQUIRE , __ATOMIC_RELEASE , 和 __ATOMIC_ACQ_REL .

__ATOMIC_RELAXED: Implies no inter-thread ordering constraints.

我不确定这怎么会发生，这不应该是原子操作，因此不会有任何线程间排序吗？

Answer 1

所有这些内置函数都对应于新的 C11 标准原子性特性。标准包含对 memory_order_relaxed 排序模型的完美解释和一些示例(引用 7.17.3/14)

// Thread 1:
r1 = atomic_load_explicit(&y, memory_order_relaxed);
atomic_store_explicit(&x, r1, memory_order_relaxed);

// Thread 2:
r2 = atomic_load_explicit(&x, memory_order_relaxed);
atomic_store_explicit(&y, 42, memory_order_relaxed);

此代码允许产生 r1 == 42 && r2 == 42.因为线程 2 中的 y 存储可能会在加载 r2 之前重新排序。