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 版本是更好的选择;