嵌套的原子操作保证是原子吗？

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？

更重要的是，如果a和b在线程T1和T2之间共享，是它保证由两个线程进行a.store(++b);将会原子存储b增加的值（由相应的螺纹如看到的）进入a在每个线？换句话说，可以跟帖T2“屁股”，并增加b一次后T1已经加过一次，但之前的结果是由T1存入a？

Answer 1

增量是原子，和实体店是原子，但两者操作起来都没有。第一个线程可能会增加b，暂停，然后另一个线程增加b并将该值存储在a中，则第一个线程将恢复并将其b的值（现在的陈旧值）存储到a中。

Answer 2

原子性不组成。

假设没有其他人曾经写到a和b而另一个线程试图同时读取后，他们的存在，他们读b然后a，能够读取正是：

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

如果他们读a然后b：

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

在这种情况下是一样的b然后a。

Answer 3

a.store(++b); 

相当于

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