Linux原理与结构 作者 郭玉东 全书 第9章.pptVIP

　　虽然进程有各自独立的虚拟地址空间，一般情况下不会出现交叉引用的问题，但由于它们运行在同一个计算环境中，共用同一个内核，不可避免地会发生一些相互作用，如竞争独占资源、访问共享对象、协调多方动作等。独占资源(如处理器、外部设备等)同时只能由一个进程使用，对独占资源竞争的结果是一个进程获得，其它进程等待。共享对象(如共用的数据结构等)允许多个进程访问，但访问操作应是原子的，不应出现交叉重叠。相互协作的进程(如生产者与消费者进程)之间需要协调动作，以便保持步调一致。 　　为了使进程之间能够和谐共处、有序竞争，操作系统需要提供保证机制，大致包括互斥(Mutual Exclusion)与同步(Synchronization)。互斥是一种竞争机制，用于保护共享的独占资源。同步是一种协调机制，用于统一进程的步调。互斥是排外的、封闭的，表示资源属于自己，不许别的进程再动，因而多使用锁(Lock)。同步是开放的、合作的，在自己完成某个动作或用完某个资源之后会主动通知合作者或唤醒等待者，因而常使用信号灯或信号量(Semaphore)。　　Linux内核提供了多种互斥与同步机制，如自旋锁、序号锁、RCU、信号量、信号量集合等。除信号量集合之外，其余机制都是内核自己使用的， 用于保护被所有进程共用的内核资源、协调核内进程的动作。可以说没有互斥与同步机制，就无法保证内核的和谐与稳定。 　　　　为了实现多处理器或并发环境中的互斥与同步机制，内核需要提供一些基础操作，如格栅操作、原子操作、抢占屏蔽操作、进程等待操作等。格栅操作用于设定一些特殊的控制点，以保证点后指令不会在点前指令完全完成之前开始执行，从而控制指令的执行顺序。原子操作是对单个内存变量的不可分割的基本操作(如变量加、减等)，用于保证某些特殊内存操作的完整性。抢占屏蔽操作用于控制进程的调度时机，如禁止某些场合下的进程调度等。进程睡眠与等待操作用于管理进程等待队列，以便在条件成熟时唤醒其中的进程。 9.1.1 格栅操作　　正常情况下，编译或汇编器按序生成程序代码，处理器也按序执行程序代码，不会出现乱序现象。然而，为了提高执行速度，目前的汇编和编译器通常会对程序进行优化，如调整指令顺序等，处理器在执行指令期间也会采取一些加速措施，如高速缓存、乱序发射、并行执行等，因而进程对内存的实际访问顺序可能与程序的预定顺序不一致。大部分情况下，指令顺序的调整不会改变程序的行为，但也有一些例外，如将临界区内的指令移到临界区外执行就可能产生难以预料的后果。为了保证程序行为的一致性，Intel处理器提供了特殊指令、GCC编译器提供了优化格栅、Linux操作系统提供了内存格栅操作，用于控制指令的执行顺序。 　　优化格栅用于防止编译器的过度优化，以保证所生成代码的正确性。Linux实现的优化格式是宏barrier，定义如下：　　#define barrier() _asm_ _volatile_(: : :memory)　　宏barrier告诉编译器三件事：将要插入一段汇编代码(_asm_)、不要将这段代码与其它代码重组(_volatile_)、所有的内存位置都已改变(memory)，因而此前保存在寄存器中的所有内存单元的内容都已失效，此后对内存的访问需要重新读入，不能用已有的寄存器内容对程序进行优化。 　　内存格栅用于保证指令的执行顺序。在Intel处理器中，有些指令是串行执行的，可以作为内存格栅，如I/O指令、带lock前缀的指令、写控制寄存器的指令等。另外，Intel处理器还专门引入了三条格栅指令，其中lfence(读格栅)保证其后的读操作不会在其前的读操作完全完成之前开始，sfence(写格栅)保证其后的写操作不会在其前的写操作完全完成之前开始，mfence(读写格栅)保证其后的读写操作不会在其前的读写操作完全完成之前开始。　　Linux提供了多个内存格栅宏，它们其实就是对上述三条指令的包装，如下：　　#define mb() asm volatile(mfence:::memory) // 读写内存格栅 　　#define rmb() asm volatile(lfence:::memory) // 读内存格栅　　#define wmb() asm volatile(sfence ::: memory) // 写内存格栅　　因而，格栅就是屏障，只有当前面的指令完全执行完之后其后的指令才会开始执行。在程序中插入格栅可以保证程序的执行顺序，虽然会影响程序的执行性能。 9.1.2 原子操作　　由于机器指令的功能过于简单，一个稍微复杂的操作通常都必须用多条指令完成。如操作x=x+3通常被翻译成三条指令：将x的值读入到某个寄存器、将寄存器的值加3、将寄存器的内容写回x。考虑如下