操作系统 第三章_处理机调度及死锁.pptVIP

3.6 避免死锁——银行家算法 银行家算法举例 设系统有五个进程和三类资源，每类资源分别有10、5、7。在T0时刻资源分配情况如图： 资源情况 进程 Max A B C Allocation A B C Need A B C Available A B C P0 7 5 3 0 1 0 P1 3 2 2 2 0 0 P2 9 0 2 3 0 2 P3 2 2 2 2 1 1 P4 4 3 3 0 0 2 0 1 1 1 2 2 7 4 3 6 0 0 4 3 1 3 3 2 5 3 2 0 0 0 7 4 3 0 0 0 7 4 5 0 0 0 ① ⑤ ④ ② ③ 3.6 避免死锁——银行家算法 银行家算法举例 设系统有五个进程和三类资源，每类资源分别有10、5、7。在T0时刻资源分配情况如图： 资源情况 进程 Max A B C Allocation A B C Need A B C Available A B C P0 7 5 3 0 1 0 P1 3 2 2 2 0 0 P2 9 0 2 3 0 2 P3 2 2 2 2 1 1 P4 4 3 3 0 0 2 T0时刻可以找到一个安全序列{p1,p3,p4,p0,p2}, 系统是安全的 0 1 1 1 2 2 7 4 3 6 0 0 4 3 1 3 3 2 ① ⑤ ④ ② ③ 3.6 避免死锁——银行家算法 银行家算法举例 P1发出请求Request(1,0,2) Request=Need[i] Request=Available 资源情况 进程 Max A B C Allocation A B C Need A B C Available A B C P0 7 5 3 0 1 0 P1 3 2 2 P2 9 0 2 3 0 2 P3 2 2 2 2 1 1 P4 4 3 3 0 0 2 7 4 3 6 0 0 1 2 2 0 1 1 3 3 2 4 3 1 2 3 0 0 2 0 可以找到一个安全序列{p1,p3,p4,p0,p2}, 系统是安全的 3 0 2 2 0 0 3.6 避免死锁——银行家算法 银行家算法举例 P0发出请求Request(0,2,0) Request=Need[i] Request=Available 资源情况 进程 Max A B C Allocation A B C Need A B C Available A B C P0 7 5 3 P1 3 2 2 3 0 2 P2 9 0 2 3 0 2 P3 2 2 2 2 1 1 P4 4 3 3 0 0 2 7 4 3 6 0 0 0 2 0 0 1 1 2 3 0 4 3 1 找不到安全序列，系统不安全，P0的申请不能通过 2 1 0 0 3 0 0 1 0 7 2 3 3.7 死锁的检测与解除 死锁的检测 资源分配图 资源种类 资源数量 进程 分配边 申请边 3.7 死锁的检测与解除 死锁的检测 资源分配图简化 完全简化 不可完全简化 死锁定理 死锁状态的充要条件是：当且仅当资源分配图是不可完全简化的 死锁的检测 资源分配图例子 3.7 死锁的检测与解除 P0 P1 P2 P3 P4 R0 R1 R2 R3 R4 3.7 死锁的检测与解除 死锁的解除 剥夺资源 撤消进程 死锁的进程全部撤销 按某种顺序逐个撤销，直至死锁解除 撤销的进程数最少 撤销的代价最少 死锁的解除 撤销的进程数最少 3.7 死锁的检测与解除 3.7 死锁的检测与解除 死锁的解除 撤销的代价最少 短作业的周转时间通常比长作业的短 * 调度程序从就绪队列队首取出一个进程分配CPU，如果该进程用完了系统规定的时间片，但未完成要求的任务，则它自行释放自己所占有的CPU而排到就绪队列的末尾，等待下一次调度 * 越往后的就绪队列优先级越低，时间片越大 * 如下页PPT例子中，A1在10ms时刻的松弛度为0 * * * 缺点：增加用户编程时限制 * * 资源种类：用方框表示 资源实例：用方框中的黑圆点表示（每种类资源个数） 进程 ：用圆圈中加进程名表示 分配边：资源实例?进程的一条有向边 申请边：进程?资源类的一条有向边 * 简化过程：寻找能满足资源分配的非孤立结点，为其分配资源