atomic_compare_exchange

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

atomic_compare_exchange
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;
    }
}
atomic_compare_exchange

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

atomic_compare_exchange

上一篇:HDU - 1087 - Super Jumping! Jumping! Jumping!


下一篇:open/write/read