计算机操作系统原理白金版教程第8章死锁.ppt

* 8.6 死锁检测 对于不采用死锁预防和死锁避免但处理死锁的系统应提供： 一个用来检查系统状态从而确定是否出现了死锁的算法 一个用来从死锁状态中恢复的算法 检测恢复方案会有额外的开销 * 1、每种资源类型只有单个实例 思想：将资源分配图转换成对应的等待图，看是否有环。 转换方法举例如下： P1 P2 P4 P3 P5 R1 R5 R4 R3 R2 P4 P5 P3 P2 P1 资源分配图 对应的等待图 * 2、每种资源类型有多个实例 思想：类似于银行家算法，描述如下 设Work和Finish分别是长度为m和n的向量，初始化Work:=Available，若 Allocationi不为0，则 Finish[i] = false，否则，Finish[i] = true (i=1,2,…,n) 查找 i 使其满足 Finish[i] = false Requesti =Work 若没有这样的 i 存在，转到4）。 Work := Work + Allocationi Finish[i] := true 返回到2） 如果对某个 i，Finish[i] = false，则系统死锁（进程Pi死锁） * 例 说明： 5个进程P0…P4， 3种资源类型A、B、C，且实例个数分别为7、2、6 T0时刻状态如下 Allocation Request Available A B C A B C A B C P0 0 1 0 0 0 0 0 0 0 P1 2 0 0 2 0 2 P2 3 0 3 0 0 0 P3 2 1 1 1 0 0 P4 0 0 2 0 0 2 * 问题： T0时刻是否处于死锁状态？为什么？ 若在T0时刻进程P2请求资源（0，0，1），新的状态是否处于死锁状态？为什么？ * （1）T0时刻是安全的，存在安全序列P0，P2，P3，P1，P4 0 0 2 True 7 2 6 0 0 2 7 2 4 P4 2 0 0 True 7 2 4 2 0 2 5 2 4 P1 2 1 1 True 5 2 4 1 0 0 3 1 3 P3 3 0 3 True 3 1 3 0 0 0 0 1 0 P2 0 1 0 True 0 1 0 0 0 0 0 0 0 P0 Allocation A B C finish Work+allocation A B C Request A B C Work A B C * Allocation Request Available A B C A B C A B C P0 0 1 0 0 0 0 0 0 0 P1 2 0 0 2 0 2 P2 3 0 3 0 0 1 P3 2 1 1 1 0 0 P4 0 0 2 0 0 2 （2）P2请求资源（0，0，1）后的新状态： Work A B C Request A B C Allocation A B C Work+