ネストされたアトミック操作はアトミックであることが保証されていますか？

Question

これは既に答えられている場合、または私は何かが明らかでない場合は謝罪します。

私は、アトミック性の保証がどれほど深いのかを理解しようとしています。std::atomicです。例えば、我々が持っているなら、

std::atomic<int> a(0); 
a.store(1); 

があります。しかし、我々はこのようなアトミック操作を、入れ子になった場合はどうなるか：

std::atomic<int> a(0); 
std::atomic<int> b(1); 
a.store(++b); 

私の理解では、++bがアトミックであるということである、とそうstore()です。これがにアトミックに2を格納することが保証されていると仮定するのは正しいですか？

aと bスレッド T1と T2間で共有される場合にさらに重要なことに、それは両方のスレッドによって実行される a.store(++b);がそれぞれアトミック aに（それぞれのスレッドで見られるように） bのインクリメント値を格納しようとしていることが保証される

糸？言い換えれば、「バット」T2スレッドとbをインクリメントすることができますもう一度T1後には既に一度それをインクリメントしているが、前に結果がT1でaに格納されていますか？

Answer 1

インクリメントはアトミックであり、ストアはアトミックですが、2つの操作は一緒ではありません。最初のスレッドがbをインクリメントし、一時停止し、別のスレッドがbをインクリメントしてその値をaに格納すると、最初のスレッドが再開し、bの値をaに保存します。

Answer 2

原子性は構成されません。可能性は読み込み、誰もが今までaとbに書き込むことはありませんし、別のスレッドが読み取ろうとするの両方が存在する後と仮定すると、彼らはaその後、bを読ん

は正確です：

{b,a} 
{1,0} 
{2,0} 
{2,2} 

彼らはその後、bをaを読めば：この場合b次いでa同じである

{a,b} 
{0,1} 
{0,2} 
{2,2} 

。

Answer 3

a.store(++b); 

が

int temp = ++b; 
/* other threads can modify `b` but its value has been save in temp ... */ 
a.store(temp);