无锁编程主要是通过一系列原子操作实现。
原子操作:
1. Read-Modify-Write(RMW)操作
Win32上的_InterlockedIncrement
and InterlockedDecrement,iOS
上的OSAtomicAdd32
以及C++11
中的std::atomic<int>::fetch_add
。需要注意的是,C++11
的原子标准不保证其在每个平台上的实现都是无锁的,因此最好要清楚你的平台和工具链的能力。你可以调用std::atomic<>::is_lock_free
来确认一下
。
不同的CPU
系列支持RMW
的方式也是不同的。例如,PowerPC
和ARM
提供load-link/store-conditional
指令,这实际上是允许你实现你自定义的底层RMW
操作。常用的RMW
操作就已经足够了。
2. CAS (Compare-And-Swap loop), also a spinlock
cmpxchg and InterlockedCompareExchange().
简介:http://m.blog.csdn.net/blog/sahusoft/9210029
全面介绍: http://hi.baidu.com/widebright/item/b4328f3af96c9c49033edcca