Linux操作系统第七章技巧.ppt

第七章 内核中的同步 什么是临界区（critical regions）? 就是访问和操作共享数据的代码段,这段代码必须被原子地执行 什么是竞争状态? 多个内核任务同时访问同一临界区 什么是同步? 避免并发和防止竞争状态称为同步（synchronization） 考虑一个非常简单的共享资源的例子：一个全局整型变量和一个简单的临界区，其中的操作仅仅是将整型变量的值增加1： i++ 该操作可以转化成下面三条机器指令序列： (1) 得到当前变量i的值并拷贝到一个寄存器中 (2)将寄存器中的值加1 (3) 把i的新值写回到内存中 内核任务1 内核任务2 获得i(1) --- 增加 i(1-2) --- 写回 i(2) --- 获得 i(2) 增加 i(2-3) 写回 i(3) 同步 进程之间的一种通信方式，有时序上的制约关系，或者说是进程之间为了协同工作而存在的一种等待关系。 互斥 进程之间对临界资源的一种竞争关系，排他性地对资源的访问方式。 当共享资源是一个复杂的数据结构时，竞争状态往往会使该数据结构遭到破坏。 对于这种情况，锁机制可以避免竞争状态正如门锁和门一样，门后的房间可想象成一个临界区。 在一个指定时间内，房间里只能有个一个内核任务存在，当一个任务进入房间后，它会锁住身后的房门；当它结束对共享数据的操作后，就会走出房间，打开门锁。如果另一个任务在房门上锁时来了,那么它就必须等待房间内的任务出来并打开门锁后，才能进入房间。 任何要访问队列的代码首先都需要占住相应的锁，这样该锁就能阻止来自其它内核任务的并发访问： 找出哪些数据需要保护是关键所在 内核任务的局部数据仅仅被它本身访问，显然不需要保护 如果数据只会被特定的进程访问，也不需加锁 大多数内核数据结构都需要加锁：若有其它内核任务可以访问这些数据，那么就给这些数据加上某种形式的锁；若任何其它东西能看到它，那么就要锁住它 死锁产生的条件：有一个或多个并发执行的内核任务和一个或多个资源，每个任务都在等待其中的一个资源，但所有的资源都已经被占用。所有任务都在相互等待，但它们永远不会释放已经占有的资源，于是任何任务都无法继续。 典型的死锁： 四路交通堵塞 自死锁：一个执行任务试图去获得一个自己已经持有的锁 加锁的顺序是关键。使用嵌套的锁时必须保证以相同的顺序获取锁，这样可以阻止致命拥抱类型的死锁 防止发生饥饿 不要重复请求同一个锁。 越复杂的加锁方案越有可能造成死锁，因此设计应力求简单 中断——中断几乎可以在任何时刻异步发生，也可能随时打断正在执行的代码。 内核抢占——若内核具有抢占性，内核中的任务就可能会被另一任务抢占。 睡眠及与用户空间的同步——在内核执行的进程可能会睡眠，这将唤醒调度程序，导致调度一个新的用户进程执行。 对称多处理——两个或多个处理器可以同时执行代码 。 为了避免并发，防止竞争。内核提供了一组同步方法来提供对共享数据的保护 原子操作 自旋锁 信号量 原子操作可以保证指令以原子的方式 被执行。 两个原子操作绝对不可能并发地访问同一个变量。 Linux内核提供了一个专门的atomic_t类型（一个24位原子访问计数器）和一些专门的函数 ，这些函数作用于atomic_t类型的变量。 Linux中的原子操作，见表7.1。 例子： atomic_t v=ATOMIC_INIT(0)； atomic_set(v,4); atomic_add(2,v); atomic_inc(v); printk(“%d\n”, atomic_read(v)); 打印结果为7。 大部分同步方案均采用某个物理实体（如锁、信号灯等）实现通信，进程通信原语中关锁（lock）和开锁（unlock）是最简单的原语。 在这两个原语中设置一个公共变量x代表某个临界资源的状态。如：x=0，表示资源可用，x=1，表示资源正在使用。 关锁原语1ock（x）： L：if x＝1 then goto L else x：=1； 开锁原语unlock（x）： x：=0； 自旋锁是专为防止多处理器并发而引入的一种锁，它在内核中大量应用于中断处理等部分，而对于单处理器来说，可简单采用关闭中断的方式防止中断处理程序的并发执行 。 自旋锁最多只能被一个内核任务持有，若一个内核任