chp08内核同步导论.pptVIP

第 8 章. 内核同步导论 引言 在共享内存的应用中 并发访问的资源需要保护 因为如果多个执行线程可能会同时访问和操作数据 适当地对共享资源保护是比较困难的 多处理器支持意味着 内核代码可以同时运行在多个处理器上 本章讨论操作系统内核中的并发和同步 临界区和竞争条件 临界区 访问和处理共享的数据 多个线程同时访问共享的资源会存在不安全性 竞争条件(bug) 两个线程同时进入同一个 临界区会发生 同步 保证不安全的并发不发生，竞争条件不发生 共享变量 例如对共享变量进行修改: i++; 加锁 锁提供的机制：类似于门锁 什么导致了并发？在什么地方？ 中断 Softirqs和tasklets 内核抢占 用户空间的睡眠和同步 SMP 怎么知道那些东西需要保护? 编写内核代码时，应当多问如下问题： 是否全局变量? 这些数据是进程上下文和中断上下文之间共享的数据吗? 如果一个进程在访问这些数据时被抢占了，新调度的进程可以访问这些数据吗? 当前进程是否可以睡眠在(阻塞)在一些资源上? 怎样防止数据失控? 这个函数如果在另一个处理器调用，会发生什么事情? 你要对这些代码做什么? 死锁 多线程多资源 每一个线程都在等待其中的一个资源 但所有的资源都已被占用 死锁 死锁的例子 防止死锁死锁: 一些简单的方法 锁的顺序至关重要 防止饥饿 不要对同一个锁上两次锁 锁的方案过于复杂易导致死锁 争用和可扩充性 锁的竞争 用于描述一个锁当修门在被使用，但是另一个 线程正在试图获得 可扩充性 系统可被扩展的程度 考虑大量的进程，处理器以及内存 Kernel 2.6 内核锁粒度较小且可扩充性好 * 线程 2 - - - get i(8) increment i(8-9) write back i(9) 线程 1 get i (7) increment i(7 - 8) write back i(8) - - - 线程 1 get i (7) increment i(7 - 8) - write back i(8) -- 线程 2 get i(7) - increment i(7-8) - write back i(8) 线程 1 increment i(7 - 8) - Or: - increment i(8-9) 线程 2 - increment i(8-9) increment i(7-8) - 希望的顺序 可能的顺序 可能的顺序 线程 1 试图锁定队列 成功: 获得锁 访问队列... 解锁 ... 线程 2 试图锁定队列 失败: 等待.. 等待... 等待... 成功: 获得锁 访问队列... 解锁 锁的例子 线程 1 获得锁 A 试图获得锁B 等待锁B 线程 2 获得锁B 试图获得锁A 等待锁A a four-way traffic stop if 每一个car at the stop decides to wait for the other cars before going, no car will ever go and we have a traffic 死锁 self-死锁 if a 线程 of execution attempts to acquire a lock it already holds, it has to wait for the lock to be released * * *