计算机操作系统原理解答.ppt

* 例：一个周期为10ms，执行5ms,一个周期为15ms, 执行10ms: (5/10)+(10/15)=35/30,系统处理不了，画图说明 Page * * ③系统先假定可为P0分配资源，并修改Available, Allocation0和Need0向量，由此形成的资源变化情况如图所示。 Request0(0, 1, 0)  0 C 3 B 1 1 0 0 3 C 3 1 0 2 4 B 2 1 2 2 0 C 0 1 0 0 1 B 3 2 2 2 3 C 3 2 0 2 5 B 4 0 4 P4 6 3 9 P2 2 7 0 7 P0 0 2 2 P3 0 3 3 P1 A A A A Available Need Allocation Max 7 3 3 2 2 0 0 2 0 银行家算法之例 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 存在安全序列：P1-P3-P4-P0-P2， 系统处于安全状态，可以满足P0资源分配请求。 银行家算法之例 Page * * 3.7 死锁的检测与解除 死锁的检测 死锁的解除 Page * * 死锁的检测 允许死锁发生，操作系统不断监视系统进展情况，判断死锁是否发生。 一旦死锁发生则采取专门的措施，解除死锁并以最小的代价恢复操作系统运行。 Page * * 死锁的检测 检测时机 当进程等待时检测死锁 其缺点是系统的开销大 定时检测 系统资源利用率下降时检测死锁 Page * * 死锁的检测 资源分配图(Resource Allocation Graph) 用有向图描述进程的死锁 优点：准确、形象 系统由若干类资源构成，一类资源称为一个资源类；每个资源类中包含若干个同种资源，称为资源实例 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