atomic_compare_exchange

atomic_compare_exchange 分为两个版本 atomic_compare_exchange_strong 和 atomic_compare_exchange_weak，语义如下

bool atomic_compare_exchange( volatile A *obj, C* expected, C desired, memory_order succ, memory_order fail );
{
    fence_before(succ); // fence 1
    if(*obj == expected)
    {
        *obj = desired;
        fence_after(succ); // fence 2
        return true;
    }
    else
    {
        *expected = *obj; // strong 保证此语义一定发生；weak 依平台而定，某些平台
        fence_after(fail); // fence 3
        return false;
    }
}

各 fence 语义：

fence 1：写之前的 release；

fence 2：如果 memory order 不是 memory_order_seq_cst ，则无语义；

fence 3：读之后的 acquire；

 

两个版本 CAS 使用场合：

1）如果 CAS 被应用在一个循环当中，weak 版本在某些平台上会获得更好的性能——比如x86上两个版本语义一致，而ppc上不一致；

2）如果存在某场合，如用 weak 版本需要一个循环，而用 strong 版本不需要循环，则 strong 版本是更好的选择；