操作系统3_03.pptVIP

Page * * ④ 再利用安全性算法检查此时系统是否安全。 true true true true true Finish 7 5 5 3 2 C 5 5 3 3 2 B 2 0 2 1 2 C 0 2 0 1 0 B 0 3 1 1 0 C 0 3 3 1 2 B 5 5 3 2 0 C 5 3 3 2 2 B 10 3 6 7 P2 7 0 4 7 P4 5 3 0 2 P1 7 0 7 7 P0 7 2 0 5 P3 A A A A Work + Allocation Allocation Need Work 图 3-17 P1申请资源时的安全性检查 存在安全序列：P1-P3-P4-P0-P2， 系统处于安全状态，可以满足P0资源分配请求。 Page * * 第三章 处理机调度与死锁 处理机调度的基本概念 调度算法 实时调度 多处理机系统中的调度 产生死锁的原因和必要条件 预防死锁的方法 死锁的检测与解除 Page * * 死锁的检测与解除 死锁的检测 死锁的解除 Page * * 死锁的检测 允许死锁发生，操作系统不断监视系统进展情况，判断死锁是否发生 一旦死锁发生则采取专门的措施，解除死锁并以最小的代价恢复操作系统运行 Page * * 死锁的检测 检测时机 当进程等待时检测死锁 其缺点是系统的开销大 定时检测 系统资源利用率下降时检测死锁 Page * * 3.7 死锁的检测与解除 3.7.1 死锁的检测 当系统为进程分配资源时，若未采取任何限制性措施，则系统必须提供检测和解除死锁的手段，为此，系统必须： （1）保存有关资源的请求和分配信息； （2）提供一种算法，以利用这些信息来检测系统是否进入死锁状态。 Page * * 死锁的检测 资源分配图(Resource Allocation Graph) 用有向图描述进程的死锁 优点：准确、形象 系统由若干类资源构成，一类资源称为一个资源类；每个资源类中包含若干个同种资源，称为资源实例 Page * * 3.7 死锁的检测与解除 系统死锁可利用资源分配图来描述。该图是由一组结点N和一组边E所组成的一个对偶G =（N，E），具有下述形成的定义和限制： （1）N被分为两个互斥的子集，一组进程结点P=（p1，p2，…，pn），一组资源结点R={r1，r2，…，rn}，N=P∪R。在图3-19所示的例子中： 1. 资源分配图(Resource Allocation Graph) Page * * 3.7 死锁的检测与解除 3.7.1 死锁的检测 1. 资源分配图(Resource Allocation Graph) 图 3-19 每类资源有多个时的情况 P={p1，p2}，R={r1，r2}，N={r1，r2} ∪{p1，p2} P 1 P 2 r 1 r 2 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的进程，做如下处理： ① 将