操作系统原理与实践教程04.pptVIP

§4.8 死锁的检测和解除 4.8.1 死锁的检测 资源分配图可以形象直观地描述出进程的死锁状态，因此，可以利用资源分配图化简的方法来检测系统处于某一时刻的状态是否是死锁状态。资源分配图的化简方法如下： （1）在资源分配图中，找出一个既不阻塞又非独立的进程结点Pi.在顺利的情况下，Pi可获得所需资源而继续运行，直至运行完毕，再释放其所占用的全部资源，这相当于消去Pi所有的请求边和分配边，使其成为孤立结点。 （2）再把相应的资源分配给一个等待该资源的进程，即将某进程的申请边变为分配边。 （3）在进行了一系列的简化后，若能消去图中所有的边，使所有进程结点都成为孤立结点，则称该图是可完全简化的；若不能通过任何过程使该图完全简化，则称该图是不可完全简化的。 * §4.8 死锁的检测和解除 对于较复杂的资源分配图，可能有多个既未阻塞，又非孤立的进程结点，有关文献已经证明，所有的简化顺序，都将得到相同的不可化简图。同样可以证明：S状态为死锁状态的充分条件是当且仅当S状态的资源分配图是不可完全简化的。该充分条件被称为死锁定理。 * §4.8 死锁的检测和解除 4.8.2 死锁的解除 通过抢占资源实现恢复和通过杀掉进程解除死锁。 1．通过抢占资源实现恢复 即临时性地把资源从当前占有它的进程那里拿过来，分给另外某些进程，直至死锁环路被打破。 2．通过杀掉进程实现恢