ch32deadlock概要1.pptVIP

3.7 死锁的避免 死锁避免不是通过对进程随意强加一些规则，而是通过对每一次资源申请进行认真的分析来判断它是否能安全地分配。 允许进程动态的申请资源，但在分配前，应先计算分配的安全性。 Safe State When a process requests an available resource, system must decide if immediate allocation leaves the system in a safe state. System is in safe state if there exists a safe sequence of all processes. (所谓安全状态，是指系统能按某种进程顺序如P1, P2, …, Pn ，为每个进程分配其所需的资源，直至最大需求，使每个进程都可以顺利完成。) Basic Facts If a system is in safe state ? no deadlocks. If a system is in unsafe state ? possibility of deadlock. Avoidance ? ensure that a system will never enter an unsafe state. 不安全状态不一定发生死锁，但死锁一定属于不安全状态。 Safe, Unsafe, Deadlock State 北京理工大学2002年考研题 判断题 当由于为进程分配资源使系统处于不安全状态时，系统一定会导致死锁。（） 答案：错 北京理工大学2006年考研题： 死锁的避免是根据（ ）采取措施实现的。 A. 配置足够的系统资源 B. 使进程的推进顺序合理 C. 破坏死锁的4个必要条件之一 D. 防止系统进入不安全状态 答案：D 北京理工大学2005年考研题： 死锁的避免是根据（ ）采取措施实现的。 A. 配置足够的系统资源 B. 使进程的推进顺序合理 C. 破坏死锁的4个必要条件之一 D. 防止系统进入不安全状态 答案：D 进程 最大需求 已分配 系统可用 P1 P2 P3 10 4 9 5 2 2 3 系统资源总数：12 进程 最大需求 已分配 系统可用 P1 P2 P3 10 4 9 5 2 3 2 系统资源总数：12 2、安全状态之例： 转化 安 全 状 态 不 安 全 状 态 该算法能用于银行系统现金贷款的发放而得名 银行家算法的实质就是要设法保证系统动态分配资源后仍然保持安全状态，从而避免死锁的发生。 要求进程预先告知自己的最大资源需求，并且假设系统拥有固定的资源总量。 3.7.2、利用银行家算法避免死锁 3.7.2 银行家算法 问题是：是否存在一种算法总能做出正确的选择从而避免死锁？ 答案是肯定的，但条件是必须事先获得与进程有关的一些特定信息。 本节将讨论使用银行家算法（banker’s algorithm）避免死锁的方法。 Banker’s Algorithm Multiple instances. Each process must a priori claim maximum use. When a process requests a resource it may have to wait. When a process gets all its resources it must return them in a finite amount of time. 银行家算法 避免死锁算法中最有代表性的算法是Dijkstra E.W 于1968年提出的银行家算法： 它的模型基于一个小城镇的银行家，现将该算法描述如下：假定一个银行家拥有资金，数量为∑，被N个客户共享。银行家对客户提出下列约束条件： 银行家算法 每个客户必须预先说明自己所要求的最大资金量； 每个客户每次提出部分资金量申请和获得分配； 如果银行满足了某客户对资金的最大需求量，那么，客户在资金运作后，应在有限时间内全部归还银行。 银行家算法 在银行家算法中，客户可看作进程，资金可看作资源，银行家可看作操作系统 下面先看单资源银行家算法： 单资源的银行家算法 一个状态被称为是安全的，其条件是存在一个状态序列能够使所有的客户均得到其所有的贷款(即所有的进程得到所需的全部资源并终止)。 当一个银行家的余额不能满足任何一个客户的贷款需求时： 由于贷不到款，客户生意做不成，破产死； 贷出款得不到归还，银行家破产死——死锁。 单资源的银行家算法 6 5 4 7 还需 5 4 2 3 还需 5 3 2 3 还需 0 5 4 7 还需 在上图a中