原子 CAS 中的后缀评估

Question

第一个问题，为什么 atomic_compare_exchange_weak 操作的参数中没有应用后缀评估 (++)？ a 的值在操作之前和之后是相同的。但是，当在 printf() 中使用时，正如预期的那样，该值会增加。

代码：

int main(){
  atomic<int> s(0);
  int a = 0;
  atomic_compare_exchange_weak(&s,&a,a++);
  printf("%d %d\n",s.load(),a++);
  printf("%d\n",a);
}

有以下输出：

0 0 
1

当我期望这个输出时：

0 1
2

其次，我想使用后缀评估来测试多线程情况下原子操作的顺序，我的方法是否存在某种悲剧性的缺陷？例如，即使增量运算符确实有效，是否会在第一个 CAS 和增量计算之间发生另一个 CAS 操作？

Answer 1

如果您将 a++ 作为第三个参数传递，则在函数调用开始时， a 会保留递增的值（请参阅 order of evaluation ）。 由于该值不再等于原子的值，因此 C++ CAS 从原子读取并写入第二个参数，这使得增量看起来“没有发生”。

检查 CAS 返回的值。