linux内核 lock free
//
同步问题：
对共享数据的访问，需要同步，互斥。
在中断，抢占，多CPU，多线程 环境下尤其重要。
同步分为: 阻塞同步，非阻塞同步
阻塞同步有许多实现方式了：mutex, semaphore. 阻塞同步使用不当就可能造成死锁，活锁，优先级反转。
非阻塞同步：（现在流行三种）
wait free 很难实现，思想是本线程有限步就完成，完全不用理其余线程。
lock free 确保多个线程中，总有一个线程是运行着的。在全局上看就是这个模块一直运行中。
obstruction free 线程持续运行，当发现共享数据被改，回滚。
不难得出 Obstruction-free 是 Non-blocking synchronization 中性能最差的，而 Wait-free 性能是最好的，但实现难度也是最大的，因此 Lock-free 算法开始被重视，并广泛运用于当今正在运行的程序中，比如 linux 内核。
linux内核中就主要是实现了lock free
一般采用原子级的 read-modify-write 原语来实现 Lock-Free 算法，根据此理论，业界在原子操作的基础上提出了著名的 CAS（Compare - And - Swap）操作来实现 Lock-Free 算法，Intel 实现了一条类似该操作的指令：cmpxchg8。
//原语
CAS 原语负责将某处内存地址的值（1 个字节）与一个期望值进行比较，如果相等，则将该内存地址处的值替换为新值，CAS 操作伪码描述如下：
清单 1. CAS 伪码
Bool CAS(T* addr, T expected, T newValue)
{
if( *addr == expected )
{
*addr = newValue;
return true;
}
else
return false;
}
在实际开发过程中，利用 CAS 进行同步，代码如下所示：
清单 2. CAS 实际操作
do{
备份旧数据；
基于旧数据构造新数据；
}while(!CAS( 内存地址，备份的旧数据，新数据 ))
就是指当两者进行比较时，如果相等，则证明共享数据没有被修改，替换成新值，然后继续往下运行；如果不相等，说明共享数据已经被修改，放弃已经所做的操作，然后重新执行刚才的操作。容易看出 CAS 操作是基于共享数据不会被修改的假设，采用�
相关文档：
Linux各发行版本 优缺点 简介
来源: ChinaUnix博客 日期： 2008.01.21 13:43 (共有25条评论) 我要评论
Linux最早由Linus Benedict Torvalds在1991年开始编写。在这之前，Richard
Stallman创建了Free Software
Foundation（FSF）组织以及GNU项目，并不断的编写创建GNU程序（此类程序的许可方式均为 ......
本文并非解释什么是非阻塞socket，也不是介绍socket API的用法， 取而代替的是让你感受实际工作中的代码编写。虽然很简陋，但你可以通过man手册与其它资源非富你的代码。请注意本教程所说的主题，如果细说，内容可以达到一本书内容，你会发现本教程很有用。
本教程内容如下：
......
#define EPERM 1 /* Operation not permitted */
#define ENOENT 2 /* No such file or directory */
#define ESRCH&nbs ......
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章 原始出处 、作者信息和本声明。否则将追究法律责任。http://blog.csdn.net/Neverland2012
我们经常会去下载别 ......
