编译器能优化出两个原子负载吗？[副本]

Question

void run1() {
    auto a = atomic_var.load(std::memory_order_relaxed);
    auto b = atomic_var.load(std::memory_order_relaxed);
   // Some code using a and b;
}

void run2() {
    if (atomic_var.load(std::memory_order_relaxed) == 2 && /*some conditions*/ ...) {
         if (atomic_var.load(std::memory_order_relaxed) * somevar > 3) {
               /*...*/
         }
    }
}

run1()和run2()是使用同一原子变量的两个加载的两个场景。编译器可以将两个加载的场景折叠为一个加载并重用它吗？

Answer 1

run1()的实现可以安全地优化为

void run1() {
    auto a = atomic_var.load(std::memory_order_relaxed);
    auto b = a;
   // Some code using a and b;
}

在原始程序中，这两个加载可能按照每次调用run1()时对atomic_var访问的总顺序相邻。在这种情况下，相邻的load()操作将返回相同的结果。

由于不能排除这种可能性，编译器可以优化掉第二个load()。对于任何内存顺序参数都可以做到这一点，而不仅仅是对于松弛的原子。