许多C11 CAS操作(例如,atomic_compare_exchange_weak,atomic_compare_exchange_strong)取两个指针和一个值,即:
bool atomic_compare_exchange(T* pointer,T* expected,// pseudodeclaration!
T desired);
相比之下,来自Microsoft,gcc和Intel的CAS操作都采用一个指针和两个值:
long InterlockedCompareExchange(long* pointer,long desired,// Microsoft
long expected);
int __sync_bool_compare_and_swap (T* pointer,T expected,// gcc and
T desired); // Intel
为什么C11 CAS函数需要两个指针和一个值,而不是一个更常规的一个指针和两个值呢?
解决方法
C 11方式更有用:如果交换失败,则*预期将更新为新的当前值.这使得在循环中使用该功能变得容易:
T value = x.load();
T newvalue = frob(value);
while (!atomic_compare_exchange(&x,&value,newvalue))
{
newvalue = frob(value);
}
使用Microsoft签名,测试操作是否成功是否更为繁琐,并且同样适用于GCC的__sync_type版本.使用GCC的__sync_bool,您甚至每次交换失败时都需要执行另一个负载.