Linux 同步方法剖析
文章来源:http://www.ibm.com/developerworks/cn/linux/l-linux-synchronization.html
级别： 中级
M. Tim Jones, 顾问工程师, Emulex
2007 年 11 月 19 日
在学习 Linux® 的过程中，您也许接触过并发（concurrency）、临界段（critical section）和锁定，但是如何在内核中使用这些概念呢？本文讨论了 2.6 版内核中可用的锁定机制，包括原子运算符（atomic operator）、自旋锁（spinlock）、读/写锁（reader/writer lock）和内核信号量（kernel semaphore）。 本文还探讨了每种机制最适合应用到哪些地方，以构建安全高效的内核代码。
本文讨论了 Linux 内核中可用的大量同步或锁定机制。这些机制为 2.6.23 版内核的许多可用方法提供了应用程序接口（API）。但是在深入学习 API 之前，首先需要明白将要解决的问题。
developerWorks 上 Tim 的更多 剖析... 系列
Linux 文件系统剖析
Linux 网络堆栈剖析
Linux 内核剖析
Linux slab 分配器剖析
Tim 的所有 Anatomy of... 文章
并发和锁定
当存在并发特性时，必须使用同步方法。当在同一时间段出现两个或更多进程并且这些进程彼此交互（例如，共享相同的资源）时，就存在并发 现象。
在单处理器（uniprocessor，UP）主机上可能发生并发，在这种主机中多个线程共享同一个 CPU 并且抢占（preemption）创建竞态条件。抢占 通过临时中断一个线程以执行另一个线程的方式来实现 CPU 共享。竞态条件 发生在两个或更多线程操纵一个共享数据项时，其结果取决于执行的时间。在多处理器（MP）计算机中也存在并发，其中每个处理器中共享相同数据的线程同时执行。注意在 MP 情况下存在真正的并行（parallelism），因为线程是同时执行的。而在 UP 情形中，并行是通过抢占创建的。两种模式中实现并发都较为困难。
Linux 内核在两种模式中都支持并发。内核本身是动态的，而且有许多创建竞态条件的方法。Linux 内核也支持多处理（multiprocessing），称为对称多处理（SMP）。可以在本文后面的 参考资料 部分学到更多关于 SMP 的知识。
临界段概念是为解决竞态条件问题而产生的。一个临界段 是一段不允许多路访问的受保护的代码。这段代码可以操纵共享数据或共享服务（例如硬件外围设备）。临界段操作时坚持互斥锁（mutual exclusion）原则（当一个线程处于临界段中时，其他所有线程都不能进入临界段）。
临界段中需要解决的一个问题是死锁条件。考虑两个独立的临界段，各自保护不同的资源。每个资
相关文档：
linux下apache+php安装常见问题
configure: error: Unable to find libgd.(a|so)
如果使用的是ubuntu或debian就很简单了，直接sudo apt-get install apache2 libapache2-mod-php5 php5 php5-gd 就基本上搞定，但是用源代码安装还是很麻烦～
wget http://www.boutell.com/gd/http/gd-2.0.11.tar.gz
tar zxvf gd-2.0.11 ......
注意该方法是计算的自开机以来的使用率，是一个全局的，没多大意义，每一次计算CPU利用率 = 100 *（user + nice + system）/（user + nice + system + idle） 这里要减去一定时间以前方可计算出这一段时间内的cpu使用率。 "proc文件系统是一个伪文件系统，它只存在内存当中，而不占用外存空间。它以文件系统的方式为访问系� ......
学习操作系统时我们都了解到文件系统是操作系统的重要组成部分之一。文件系统有很多种类型，比Windows的fat、fat32；Linux的ext、ext2或ext3；FreeBSD的ufs等等。在使用Linux的过程，也常常Linux操作系统使用虚拟文件系统VFS，通过VFS可以直接存取其它已被内核支持的各种文件系统，用起来就像是在普通的 Linux的ext系列文 ......
在linux的驱动程序中，都会使用大量的outb、outw、inb、inw等等宏来访问硬件或寄存器。这些宏的定义都在相应处理器体系下的include\asm目录下的io.h中定义。追究下去，这些宏最终就是一个volatile变量的的赋值：
#define __arch_putb(v,a) (*(volatile unsi ......
一、tast_struct结构
它是一个数据结构，可以说，它代表了一个进程。它有很多字段，大体有一下几种：
标识号：进程标识、用户标识、组标识。
状态： Linux的进程的四种基本状态
调度信息：优先级、时间片等
进程链信息：父进程、子进程的指针
文件信息：打开文件、虚拟文件系统
上下文信息：进程的运行环境
......
