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下的信号处理函数.
Linux下的信号处理函数:
1.信号的产生
2.信号的处理
3.其它信号函数
--------------------------------------------------------------------------------
一个实例
1。信号的产生 ......
总结章节：第三节 字符设备驱动
这一章主要是讲一些字符设备驱动程序的相关知识。在进行字符设备驱动程序学习之前，我们必须得弄明白一个问题：驱动程序时给谁用的。
很多驱动程序的初学者，按照一般编程语言（C，java等等）编写应用程序的经验，函数就是用来调用的。这种调用关系，在应用空间来看，限制不是很明显。很多 ......
1. Linus和Bill
似乎在一夜之间，这个名字突然变得同象比尔。盖茨一样的耳熟能详。但是比尔。盖茨，哪怕身价有数不清倍的百万美金，也永远不会变成Linux Torvalds。这位29岁的芬兰人，简单而强大的Linux操作系统的创造者，超越了盖茨的神话。也有传闻说盖茨是一个卓越的程序员，但Linus是货真价实的高� ......
<!--
@page { margin: 2cm }
P { margin-bottom: 0.21cm }
-->
在现实生活中被人们称为大师级的人物确实很少见。
Brian
Proffitt
先生就是一位全球知名、受人尊敬的
Linux
大师。此言有何根据？近日，他向我们推荐了什么？
......
一个程序的开发离不开许多库函数的支持，可是库如此之多，有开源免费的也有收费的。很希望熟悉编程的前辈把自己的经验整理下，常用的库都包含哪些功能。下文是在网上找的一个类似的资料。期待更多更全的内容。
---------------------------------------------------------------------------------------------------
看� ......
