无锁数据结构lock-free 的 本质

 无锁算法的精髓在于 CAS(compare-and-swap)，一条指令完成比较和替换，为原子操作，通过此操作来实现系统从一个状态到另一个状态的转变。CAS操作的对象可以是数字也可以是指针（指针才是关键）。

它的用法和普通的锁不同，普通的锁需要 先获得锁(需进出内核态)->修改系统状态->再释放锁(也需进出内核态)这三个步骤来实现系统状态的改变，对普通锁的外部而言，只有锁被释放，其他过程才能看到状态的改变，而在锁没有释放前，其他等待的过程（例如线程）被操作系统调度给“定住”了。

无锁算法 没有获得锁和释放锁的步骤，由CPU自身实现，直接互斥地实现系统状态的改变，它的使用基本方式是copy-on-write——在准备好对象的副本之后再用CAS操作将副本替换为正本，如果替换失败（应该是正本已经在你准备副本的过程中被其他过程改变），则重新在新的正本基础上构建副本，再替换，直到替换成功为止。

CAS之所以没有一般锁的弊端，完全是因为一般没有像一般的锁那样被使用，反之如果把无锁实现成一个普通锁的方式，那么获得锁要lock，释放锁也要free，中间的过程如果还有其他的锁获得过程，同样可能存在其他锁的问题——比如互锁（这里的互锁可是CPU真的在死循环了）。

由于需要保证多核间CACHE的一致性，CAS指令本身的开销就比一般的直接赋值指令大，且在高度竞争的情况下（多核经常修改同一块数据）CPU需要run多次循环才能修改成功，此时使用lock-free所获得的性能提升会大打折扣，甚至不如带锁的。

使用锁的方式也可以优化，例如windows的CRITICAL_SECTION，只有在发生访问冲突且自旋锁（也是循环等待）到期时才进入内核态，减少了系统的开销。

顺便说一句，前面所说的“系统”指进程中所有线程、数据的集合，普通锁需要挂起线程等待，lock-free需要循环等待；一个需要操作系统支持一个不需要(需要CPU支持)。