g++cas的奇怪行为

来自GCC文件:

bool __sync_bool_compare_and_swap (type *ptr, type oldval type newval, ...) type __sync_val_compare_and_swap (type *ptr, type oldval type newval, ...)

这些内置组件执行原子比较和交换。也就是说,如果*ptr的当前值是oldval,那么将newval写入*ptr。

如果比较成功并且写入了newval,则__bool_157;版本返回true。__val_157;版本返回操作前的*ptr内容。

在我看来,0是正确的值。我认为你错误地分配了“…的内容 *ptr 操作前“至 lock .

这将产生合理的结果:

#include <iostream>
using namespace std;

int main()
{
   bool lock = false;
   bool oldvalue = __sync_val_compare_and_swap( &lock, false, true );
   cout << lock << ", " << oldvalue << endl;
}

你在用你的 lock 变量作为参数 __sync_val_compare_and_swap (指向) 锁 和收件人的返回值为 _同步值比较和交换 . 这似乎没什么意义。你对什么价值感兴趣?通过第一个参数返回的那个?或者作为返回值返回的 _同步值比较和交换 ?相应地决定你需要哪一个动作。

现在看起来 _同步值比较和交换 存储在 锁 最后。这个值应该是 0 ,根据规范 _同步值比较和交换 . 这就是你在实验中看到的价值。