chp8内核同步介绍课程.pptVIP

第8章 内核同步介绍 Topics 竞争条件 临界区 内核并发性 需要保护什么? 原子操作 自旋锁 信号量 死锁 竞争条件示例 进程A 读in, stores in local var slot. 定时中断发生. 调度器切换到进程B. 进程B reads in, stores in local var slot. 进程B stores filename in slot 7 (slot). 进程B updates in to be 8. 调度器 eventually switches to 进程A. 进程A writes filename in slot 7 (slot). 进程A computes in = slot + 1. 进程A updates in to be 8. 竞争条件示例 临界区 如何防止竞争条件? 禁止多个进程同时访问共享资源。 临界区: 访问共享资源的代码。 临界区 没有两个进程同时处于临界区. 不应对CPU的速度和数量作任何假设. 临界区之外的进程不能阻塞其他进程进入临界区. 不应该有进程永远等待进入临界区. 临界区 为什么需要原子性？ 进程A 读i(7) i+1 (7 - 8) - 写i(8) 进程B 读i(7) - i+1 (7 - 8) - 写i(8) 原子操作 进程A atomic_inc i (7-8) 进程B - atomic_inc i (8-9) Atomicity doesn’t provide Ordering 进程A atomic_inc i (7-8) 进程B - atomic_inc i (8-9) 锁 What if operation too complex to be atomic? CPU can’t have a dedicated instruction for every operation that might need to be atomic. Ex: adding a node to a doubly-linked list. Locking 需要线程在访问对象前先加锁. 其他线程必须等待对象解锁. Locking is simple enough to be atomic. Ex: Acquire lock before modifying linked list. Locking Example with 5 Processes 死锁 进程A down(A) down(B) 进程B down(B) down(A) 死锁防止 锁的顺序 If you acquire multiple locks, you must always acquire them in the same order. Don’t double acquire a lock. Always use interrupt-disabling variants of spin_lock() in interrupt context. Always release locks. Be sure that your code will always make appropriate calls to release locks. 并发的源 中断 Softirqs和tasklets 内核抢占 睡眠 SMP 内核抢占 进程在执行内核函数时，可被抢占 进程A正在运行异常处理程序时，如果更高优先级的进程B就绪，则会被抢占。 进程A正在运行异常处理程序时，其时间片到期 ，调度器会调度另一个 进程运行。 抢占 disabled when preempt_count 0: 中断处理程序 SoftIRQs和tasklets. Code that explicitly sets preempt_count. 什么需要保护? 什么需要保护? 全局的内核数据结构. 进程和中断上下文共享的数据. 中断处理程序之间共享的数据. 什么不需要保护? 正在执行线程的局部数据(即：栈) 局部变量. Dynamically allocated data w/ only local ptrs. Per-CPU data doesn’t need SMP protection. 什么地方需要同步？ An 中断处理程序 cannot be interrupted by the same interrupt that it handles. Kernel control path performing interrupt handling cannot be interrupted by a bottom half or system call service routine. S