操作系统第3章处理机调度与死锁(3).pptVIP

Page * * 死锁的检测 资源分配图 表示法: 资源类:用方框表示（资源的不同类型） 资源实例:用方框中的圆点表示（存在于每个资源中） 进程 :用圆圈中加进程名表示 分配边：资源实例?进程的一条有向边 申请边：进程?资源类的一条有向边 P 1 P 2 r 1 r 2 获得 申请 Page * * 死锁的检测 死锁定理 如果资源分配图中没有环路，则系统中没有死锁，如果图中存在环路则系统中可能存在死锁。 如果每个资源类中只包含一个资源实例，则环路是死锁存在的充分必要条件。 Page * * 死锁的检测 死锁定理 有环有死锁 Page * * 死锁的检测 死锁定理 有环无死锁 Page * * 死锁的检测 死锁定理——资源分配图化简 找出一个既不阻塞又非独立的进程结点pi，在顺利的情况下pi可获得资源而继续运行，再释放所有资源。消去pi所有的请求边和分配边，将其变为孤立结点 再把相应的资源分配给一个等待该资源的进程，即将某进程的申请边变为分配边 在进行一系列化简后若能消去图中所有的边，使所有进程结点成为孤立结点，则称该图是可完全简化的；否则是不可完全简化的 已经证明：所有的化简顺序都得到相同的不可简化图。同样可以证明，S为死锁的充分条件是：当且仅当S状态的资源分配图是不可完全简化的。该充分条件称为死锁定理 Page * * 死锁的检测 死锁定理 资源分配图的简化 Page * * 死锁的检测 死锁检测中的数据结构 可利用资源向量Available 它表示了m类资源中每一类资源的可用数目 把不占用资源的进程(向量Allocation:=0)记入L表中， 即Li∪L 从进程集合中找到一个Requesti≤Work的进程，做如下处理： ① 将其资源分配图简化，释放出资源，增加工作向量Work∶=Work+Allocationi ② 将它记入L表中 Page * * 死锁的检测 若不能把所有进程都记入L表中， 便表明系统状态S的资源分配图是不可完全简化的。 因此，该系统状态将发生死锁 Work ∶=Available; L∶={Li|Allocationi=0∩Requesti=0} for all Li  L do begin for all Requesti≤Work do begin Work∶=Work+Allocationi; Li∪L; end end deadlock∶ = (L={p1, p2, …, pn}); Page * * 死锁的检测与解除 死锁的检测 死锁的解除 Page * * 死锁的检测 死锁的解除 当发现有进程死锁后，便应立即把它从死锁状态中解脱出来， 重要的是以最小的代价恢复系统的运行。方法如下： 重新启动 撤消进程 剥夺资源 进程回退 Page * * 死锁的解除 常用的方法 剥夺资源 从其他进程剥夺足够的资源给死锁进程，以解除死锁状态 撤消进程 撤消所有死锁进程 按照某种顺序逐个地撤消代价最小的进程，直至有足够的资源可用，使死锁状态消除；所谓代价是指优先级、运行代价、进程的重要性和价值等。 Page * * 死锁的解除 为把系统从死锁状态中解脱出来，所花费的代价可表示为： R(S)min=min{Cui}+min{Cuj}+min{Cuk}+… Page * * 处理死锁的基本方法 方法 资源分配策略 各种可能模式 主要优点 主要缺点 预防 Prevention 保守的；宁可资源闲置（从机制上使死锁条件不成立，即摒弃三个必要条件） 一次请求所有资源条件2 适用于作突发式处理的进程；不必剥夺 效率低；进程初始化时间延长 剥夺次数过多；多次对资源重新起动 不便灵活申请新资源 资源剥夺 条件3 适用于状态可以保存和恢复的资源 资源按序申请条件4 避免 Avoidance 是“预防”和“检测”的折衷（在运行时判断是否可能死锁） 寻找可能的安全的运行顺序 不必进行剥夺 使用条件：必须知道将来的资源需求；进程可能会长时间阻塞 检测 Detection 宽松的；只要允许，就分配资源 定期检查死锁是否已经发生 不延长进程初始化时间；允许对死锁进行现场处理 通过剥夺解除死锁，造成损失 可以在编译时（而不必在运行时）就进行检查 Page * * 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅