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 版本是更好的选择；
原文：http://www.cnblogs.com/JesseFang/p/3522174.html