操作系统第三章第二节.pptVIP

2、死锁预防 2、死锁预防 思考： （1）P0申请资源（1，1，2）是否安全； （2）P3申请资源（0，0，2）是否安全。 3、死锁的检测与解除 例： 3、死锁的检测与解除 思考1 思考2 思考2 系统有A、B、C、D共4种资源，在某时刻进程P0、P1、P2、P3和P4对资源的占有和需求情况如表，试解答下列问题： (1) 系统此时处于安全状态吗？ (2) 若此时P2发出request1(1, 2, 2, 2)，系统能分配资源给它吗？为什么？ 思考2 思考2 思考2 (1) 找到一个安全序列：P0, P3, P1, P2, P4，因此系统在此状态是安全的。 (2) 当前剩余资源能否满足P2的请求, 需假定将资源先分配给该进程，得到一个系统状态，然后判断该状态是否安全。 思考2 试用资源分配图化简方法解答问题 3、死锁的检测与解除 分配边： 资源实例?进程的一条有向边 申请边： 进程?资源类的一条有向边 3、死锁的检测与解除 有环有死锁 3、死锁的检测与解除 有环无死锁 3、死锁的检测与解除 死锁定理 如果资源分配图中没有环路，则系统中没有死锁，如果图中存在环路则系统中可能存在死锁 如果每个资源类中只包含一个资源实例，则环路是死锁存在的充分必要条件 3、死锁的检测与解除 资源分配图化简：方法如下 1）找一个非孤立点进程结点且只有分配边，去掉分配边，将其变为孤立结点；如没有符合要求的节点，则采取预分配方式找出符合要求的节点，否则结束； 2）把相应的资源分配给一个等待该资源的进程，即将某进程的申请边变为分配边 1 3 4 2 0 0 3 3 4 P4 1 1 0 1 1 2 2 2 2 P3 0 0 6 2 0 3 2 0 9 P2 2 2 1 0 0 2 2 2 3 P1 2 3 3 3 4 7 0 1 0 3 5 7 P0 C B A C B A C B A C B A Available Need Allocation Max 1 1 0 1 1 2 2 2 2 P3 1 0 0 2 0 3 3 0 3 P2 2 1 4 0 0 2 2 1 6 P1 2 3 3 1 3 5 0 1 0 1 4 5 P0 C B A C B A C B A C B A Available Need Allocation Max 0 6 6 10 0 0 1 4 P4 0 9 8 4 0 3 3 2 P3 3 6 10 10 1 3 5 4 P2 2 7 5 0 1 0 0 0 P1 1 6 2 2 0 0 4 4 0 0 3 2 P0 A B C D A B C D A B C D Available MAX Allocation Process 0 0 1 4 0 3 3 2 1 3 5 4 1 0 0 0 0 0 3 2 A B C D Allocation 3 12 14 14 1 9 8 6 3 12 13 10 2 9 8 6 1 6 5 4 A B C D Work:=Work+Allocation[i] ⑤ 0 6 5 6 3 12 13 10 P4 ② 0 6 5 2 1 6 5 4 P3 ④ 2 3 5 6 2 9 8 6 P2 ③ 1 7 5 0 1 9 8 6 P1 ① 0 0 1 2 1 6 2 2 P0 A B C D A B C D Order Need work Process (1)运用安全性检测算法，寻找安全序列 Available = (1, 6, 2, 2) * * 操作系统 第三章 调度与死锁 第二节 死锁相关问题 主要内容 死锁产生的原因和必要条件 死锁预防 死锁的检测与解除 1、死锁产生的原因和必要条件 死锁的概念 死锁的定义：多个进程循环等待它方占有的资源而无限期地僵持下去的局面称为死锁,即:行进中的进程,等待永远不可能发生的事件.死锁是一种cpu的状态 死锁是指一组进程中每一个进程都在等待被另一进程所占有的不能抢占的资源. 1、死锁产生的原因和必要条件 死锁（deadlock）是由于错误地使用锁或同步机制使得一个任务等待一个永远不可能发生的事件就称为死锁.经常碰到的死锁形式是两个任务互相等待对方完成某个动作； 多个进程因竞争资源而造成的一种僵局。若无外力作用，这些进程将无法向前推进。 1、死锁产生的原因和必要条件 死锁产生的原因 竞争资源 资源不充分 进程推进顺序不当 请求和释放资源