关于无锁编程

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

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

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

  • 乐观的并发使用会对 hot data structures 导致 livelock。
  • 代码需要大量困难的测试。通常其正确性取决于对目标机器内存模型的正确解释。
  • 基于众多原因,lock-free 代码很难编写和维护。
posted @ 2008-03-16 12:09 Angel Lucifer 阅读(2943) 评论(4) 编辑 收藏

 回复 引用 查看   
#1楼 2008-03-18 01:39 路西菲尔      
据我研究和看老外的文章没看到比较好的无锁实际例子和应用
 回复 引用 查看   
#2楼 2008-06-18 09:50 alisx      
看不懂
 回复 引用 查看   
#3楼 2008-11-21 00:31 刘守照      
状态转变是原子性的,为什么不会block住呢 是不是原子粒度很小,一般在os schedule做context switch前能保证完成?