操作系统-第3章-处理机调度与死锁.ppt

* * 图3-21　资源分配图的简化 * * 　　(2) p1释放资源后，便可使p2获得资源而继续运行，直至p2完成后又释放出它所占有的全部资源，形成图(c)所示的情况。 　　(3) 在进行一系列的简化后，若能消去图中所有的边，使所有的进程结点都成为孤立结点，则称该图是可完全简化的；若不能通过任何过程使该图完全简化，则称该图是不可完全简化的。 　　对于较复杂的资源分配图，可能有多个既未阻塞，又非孤立的进程结点，不同的简化顺序是否会得到不同的简化图？有关文献已经证明，所有的简化顺序，都将得到相同的不可简化图。同样可以证明：S为死锁状态的充分条件是：当且仅当S状态的资源分配图是不可完全简化的。该充分条件被称为死锁定理。 * * 　3．死锁检测中的数据结构 　　死锁检测中的数据结构类似于银行家算法中的数据结构： 　　(1) 可利用资源向量Available，它表示了m类资源中每一类资源的可用数目。 　　(2) 把不占用资源的进程(向量Allocationi:=0)记入L表中，即Li∪L。 　　(3) 从进程集合中找到一个Requesti≤Work的进程，做如下处理： 　　① 将其资源分配图简化，释放出资源，增加工作向量Work:=Work + Allocation i。 　　② 将它记入L表中。 * * 　　(4) 若不能把所有进程都记入L表中，便表明系统状态S的资源分配图是不可完