小编Sky*_*mer的帖子

我基本上有以下代码片段：

size_t counter = atomic_fetch_sub_explicit(&atomicCounter, 1, memory_order_release);
if (counter - 1 == 0
    && atomic_load_explicit(&anotherAtomicCounter, 1, memory_order_relaxed) == 0 {
      //Some code
}

为了正确性，重要的是 的原子加载anotherAtomicCounter发生在 的 fetch-and-sub (FAS) 之后atomicCounter。对于给定的内存顺序，通常无法保证这一点，并且加载可能会在 FAS 之前发生。但是，我想知道序列点如何影响这个特定的代码。标准中提到

如果评估 A 在评估 B 之前排序，则 A 评估将在 B 评估开始之前完成。

与规则 2 结合

在以下二元运算符的第一个（左）操作数评估之后和第二个（右）操作数评估之前有一个序列点：&&（逻辑与）、|| （逻辑或），和，（逗号）。

这意味着原子加载必须在比较之后发生，但只有在知道 FAS 的结果后才能完成比较。

我的问题是这些规则是否保证原子加载始终发生在 FAS 之后，即使使用更宽松的内存顺序也是如此？

提前致谢！