[工学]03处理机调度与死锁-严军勇.ppt

4实例 Allocation A B C Need A B C Available A B C p0 p1 p2 p3 p4 为P0分配（0，2，0）后的情况（不安全） 0 3 0 7 2 3 3 0 2 0 2 0 3 0 2 6 0 0 2 1 1 0 1 1 0 0 2 4 3 1 2 1 0 3.7.1 死锁的检测 当系统为进程分配资源时，若没有采取任何限制性的措施，则系统必须提供检测和解除死锁的手段，为此，系统必须： （1）保存有关资源的请求和分配信息 （2）提供一种算法，以利用这些信息来监测系统是否进入死锁状态 3.7 死锁的检测与解除 1. 资源分配图(Resource Allocation Graph) 该图是由一组节点N和一组边E所组成的一个对偶G=(N,E),它具有下述形式的定义和限制： (1) 把节点N分成两个互斥的子集，即一组进程节点P和一组资源节点R, N=P U R。例如右图 P={p1,p2},R={r1,r2} ,N= {r1,r2}U {p1,p2} (2) 凡属于E中的一个边e∈E，