关于无锁编程

Lock-free 算法通常比基于锁的算法要好：

• 从其定义来看，它们是 wait-free 的，可以确保线程永远不会阻塞。
• 状态转变是原子性的，以至于在任何点失败都不会恶化数据结构。
• 因为线程永远不会阻塞，所以当同步的细粒度是单一原子写或比较交换时，它们通常可以带来更高的吞吐量。
• 在某些情况下，lock-free 算法会有更少的同步写操作（比如 Interlocked 操作），因此纯粹从性能来看，它可能更便宜。

但是 lock-freedom 并不是万能药。下面是一些很明显的不利因素：

• 乐观的并发使用会对 hot data structures 导致 livelock。
• 代码需要大量困难的测试。通常其正确性取决于对目标机器内存模型的正确解释。
• 基于众多原因，lock-free 代码很难编写和维护。