在原子布爾變量的一個語句中多次賦值

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

有兩者之間的差異很小。唯一真正的區別是分配順序被翻轉。如果打開優化，則無法區分。