第3章处理机调度与死330锁研讨.ppt

3.6　预防死锁 破坏“请求和保持”条件 第一种协议 规定进程在执行前要一次性地申请运行所需全部资源。只有资源全部到手，进程方可运行 优点：简单、易于实现 缺点：资源利用率低；进程运行被延迟 第二种协议 允许进程只获得运行初期所需资源后，即可运行。进程运行中释放已占用资源后，再申请新的所需资源 3.6　预防死锁 破坏“不可抢占”条件 方法 保持资源的进程申请新资源失败时，在转为阻塞状态之前，必须释放其占用的全部资源。而该进程自身则必须等到重新获得原有资源及新资源后，才能重新运行 缺点 实现复杂，代价大 3.6　预防死锁 破坏“循环等待”条件 方法 将系统中所有资源赋予一个全局编号，进程申请资源时，必须按编号递增顺序进行 缺点 找不出一种人人满意的编号顺序 仍存在资源浪费 用户编程受到限制 3.7　避免死锁 思路 允许进程动态的申请资源 将系统状态分为 安全状态：不会发生死锁 不安全状态：可能发生死锁 ?避免系统进入不安全状态！ 做法 每次进行资源分配时，首先检测一下资源分配后系统处于何种状态，若处于安全状态，则正式实施本次分配；若处于不安全状态，则不予分配，申请资源的进程阻塞 3.7　避免死锁 系统的安全状态 安全状态 指系统能按某种进程顺序（P1，P2，…，Pn），来为每个进程 Pi 分配其所需资源，直至满足每个进程对资源的最大需求，使每个进程都可顺利地完成 此时称〈P1，P2，…，Pn〉序列为安全序列 如果系统无法找到这样一个安全序列，则称系统处于不安全状态 3.7　避免死锁 例，系统有三个进程P1、P2和P3 ，共用12台磁带机。在T0和T1时刻，系统的资源分配情况分别如下表a和b。 进程 最大需求 已分配 可用 P1 10 5 3 P2 4 2 P3 9 2 进程 最大需求 已分配 可用 P1 10 5 2 P2 4 2 P3 9 3 a b 3.7　避免死锁 结果：T0时刻系统处于安全状态。（安全序列 P2 ，P1，P3 ） P1 P2 P3 可用 5(5) 2(2) 2(7) 3 5(5) 4(0) 2(7) 1 5(5) ? 2(7) 5 10(0) ? 2(7) 0 ? ? 2(7) 10 ? ? 9(0) 3 ? ? ? 12 结果：T1时刻系统处于不安全状态。 P1 P2 P3 可用 5(5) 2(2) 3(6) 2 5(5) 4(0) 3(6) 0 5(5) ? 3(6) 4 3.7　避免死锁 利用银行家算法避免死锁 数据结构—n个进程 (P1, …, Pn)，m类资源(R1, …, Rm) 可利用资源向量Available（m） Available[j]表示 Rj 类资源的可用数目。 最大需求矩阵Max（n×m） Max[i, j]表示进程 Pi 对 Rj 类资源的最大需求量。 分配矩阵Allocation（n×m） Allocation [i, j]表示已分配给进程 Pi 的 Rj 类资源的数目。 需求矩阵Need（n×m） Need [i, j]表示进程 Pi 对 Rj 类资源的剩余需求量。 Requesti ：进程 Pi 的请求向量 3.7　避免死锁 银行家算法：进程 Pi 发出资源请求 Requesti Requesti ? Needi ? 执行安全性算法，检查分配后的系统状态 正式分配 安全状态 Requesti ? Available ? 是 试分配： Available:= Available ? Requesti Allocationi:= Allocationi + Requesti Needi:= Needi ? Requesti 是 将试分配作废； 恢复原资源分配状态； 进程Pi阻塞。 不安全 状态 错误 否 否 进程Pi 阻塞 3.7　避免死锁 安全性算法 Work:=Available; Finish[ i ]:=false ( i=1,2,…,n); 找一满足下列条件的进程： Finish[ i ]=false 且 Needi ?Work Work:=Work+Allocationi ; Finish[ i ]:=true; 找到 所有进程的 Finish[ i ]=true？ 找不到 是 系统 状态 安全 不是 系统 状态 不安全 3.7　避免死锁 例：系统中有五个进程{P0 ,