操作系统原理-第3章-处理机调度和死锁.pptVIP

淮海工学院计算机科学系 3.7 死锁的检测与解除 资源分配图(Resource Allocation Graph) 资源分配图由二元组（N，E）构成，N是由进程和资源（按类划分）构成的结点集合，每一个进程或每一类资源作为图中一个结点；E是由连接结点的有向边组成的集合。其中，一个由进程指向资源的弧（箭头）表示该进程将申请一个单位的该类资源；反之，表示该进程已分配到一个单位的该类资源。 右图为一含有两个进程P1、P2和两类资源r1、r2所构成的资源分配图 。 一般可用资源分配图来描述系统的死锁状态。 淮海工学院计算机科学系 2. 死锁定理 利用资源分配图来检测系统是否处于死锁状态，步骤如下 ： 在资源分配图中，找出一个既不阻塞又不孤立的进程结点Pi，消去Pi所有的请求边和分配边，使其成为孤立结点。 将①释放的资源分配给一个等待该资源的进程Pk，若数量满足，则将Pk进程的申请边和分配边撤消，使其成为孤立结点。 重复①、②两步，若能消去资源分配图中所有的边，使所有进程结点都成为孤立结点，则称该图是可完全简化的；若不能通过任何过程使该图完全简化，则称该图是不可完全简化的。 死锁定理：S为死锁状态的充要条件是状态的资源分配图是不可完全简化的。 淮海工学院计算机科学系 资源分配图简化过程：非死锁状态。 淮海工学院计算机科学系 死锁检测中的数据结构及算法 （本算法所用数据结构与银行家算法类同） 可利用资源向量Available，它表示了m类资源中每一类资源的可用数目； 把不占用资源的进程(向量Allocation∶=0)记入L表中， 即Li∪L； 从进程集合中找到一个Requesti≤Work的进程，做如下处理：1）将其资源分配图简化，释放出资源，增加工作向量Work∶=Work +Allocationi； ② 将本进程记入L表中。 若不能把所有进程都记入L表中，便表明系统此时状态的资源分配图是不可完全简化的。 因此，该系统状态将发生死锁。 淮海工学院计算机科学系 利用资源分配图检测死锁状态的算法描述。 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}); 淮海工学院计算机科学系 3.7.2 死锁的解除 剥夺资源。 (2) 撤消进程。 为把系统从死锁状态中解脱出来，所花费的代价可表示为： R(S)min=min{Cui}+min{Cuj}+min{Cuk}+… 淮海工学院计算机科学系 付出代价最小的死锁解除方法 U 1 V 12 V 13 V 1k W 132 W 134 W 13k P 2 P 3 … P 2 P 4 P k … P k U 2 V 21 V 22 V 2k W 231 W 234 W 23k … P 1 P 4 … P k … U k V k1 V k2 V kk W k21 W k22 W k2k … … P k S P 1 (c u1 ) P k (c uk ) P 2 (c ud ) 淮海工学院计算机科学系 3.5 产生死锁的原因和必要条件 3.5.1 产生死锁的原因 1）竞争资源：当共享的资源数量不足以满足多个进程的请求时，引起进程对资源的竞争而产生死锁。 2）进程间推进顺序不当：在进程的推进过程中，请求和释放资源的顺序不当也会引起死锁。 死锁举例：设系统有一台打印机和一台扫描仪，进程P1、P2并发执行。在某时刻T，进程P1和P2分别占用了打印机和扫描仪。在时刻T1（T1T），P1又要申请扫描仪，但由于扫描仪被P2占用，P1只有等待。在时刻T2（T2T），P2又申请打印机，但由于打印机被P1占用，P2只有等待。由此，两个进程为竞争资源将处于无休止的等待状态，这就是死锁。 淮海工学院计算机科学系 1、竞争资源引起死锁 1）资源的分类：可剥夺和非剥夺性资源 可剥夺性资源： CPU和主存。 例如：高优先权进程可以剥夺低优先权进程的处理机。又如：中程调度程序把进程从一个存储区移至外存，剥夺了该进城原来占有的存储区。 不可剥夺性资源：磁带机、打印机等。 当系统把这类资源分配给某进程后，再不能强行收回，只能在