在原子布尔变量的一个语句中多次赋值

Question

继Multiple assignment in one line后，我很想知道这对原子数据类型是如何工作的，特别是对于布尔类型的例子。

考虑：

class foo { 
    std::atomic<bool> a; 
    std::atomic<bool> b; 
    public: 
    void reset(); 
    [...] //Other methods that might change a and b 
} 

是否有任何区别：

void foo::reset() { 
    a = false; 
    b = false; 
} 

和：

void foo::reset() { 
    a = b = false; 
} 

也就是说，在第二种情况下，可以在发生b分配后false，另一个线程集b到true在读取b之前将其值分配给a，以便在指令结束时a的值为true？

（这也意味着后者的版本似乎是低效率）

Answer 1

是的，有

a = false; 
b = false; 

和

a = b = false; 

如果a和b是原子之间的差。由于分配从右到左进行，后者相当于

b = false; 
a = false; // since atomic::operator= (from above) returns its argument 

从第一个版本不同，因为a和b是原子和assignment is done仿佛std::atomic::store被称为与存储顺序memory_order_seq_cst。从而，存储器模型guarantees

a single total modification order of all atomic operations that are so tagged. 

其结果是，第二线程在反向顺序存储（a = b = false;）的可观察的以下三种方式一个的变化执行原子负载（bool a_observed = a.load(); bool b_observed = b.load();） ：两个b和

• 旧值a
  • 负载a，负载b，店b，店a
为 b和旧值
• 新价值a
  • 店b，负载a，店a，负载b
  • 店面b，加载a，负载b，商店a
  • 负载a，存储b，商店a，负载b
  • 负载a，存储b，负载b，商店a
• 为新值b和a
  • 商店b，存储a，负载a，负载b

相反，memory_order_seq_cst为前b保证前a同时存储b（在其他线程）装载a该以下从未观察到：

为 a
• 新的价值和b

Answer 2

Godbolt link

有两者之间的差异很小。唯一真正的区别是分配顺序被翻转。如果打开优化，则无法区分。