memory_order_relaxed 只保证原子性而不保证可见性？

Question

给定以下 C 代码：

static atomic_int a_i;

static void f() 
{
   for (int i = 0; i < 100; ++i)
     atomic_fetch_add_explicit(&a_i, 1, memory_order_relaxed);
}

两个线程同时调用f() 。

是否a_i最终可能会导致非200结果导致硬件平台具有宽松的缓存一致性协议（与 x86 不同）？ 换句话说，操作是原子的，但不能保证一个线程的写入会立即对另一个线程公开可见？

Answer 1

结果值保证为 200。

memory 顺序参数仅涉及哪些其他修改对其他线程可见。 memory_order_relaxed表示不做任何保证。 但是变量本身仍然是原子更新的。