第3章(郝)2013-4-11精选.ppt

* 图 3-17 P1申请资源时的安全性检查 * (3) P4请求资源：P4发出请求向量Request4(3，3，0)，系统按银行家算法进行检查： ① Request4(3, 3, 0)≤Need4(4, 3, 1); ② Request4(3, 3, 0) Available(2, 3, 0)，让P4等待。 (4) P0请求资源：P0发出请求向量Requst0(0，2，0)，系统按银行家算法进行检查： ① Request0(0, 2, 0)≤Need0(7, 4, 3); ② Request0(0, 2, 0)≤Available(2, 3, 0); ③ 系统暂时先假定可为P0分配资源，并修改有关数据，如图 3-18 所示。 * 图 3-18 为P0分配资源后的有关资源数据 * 3.7 死锁的检测与解除 3.7.1 死锁的检测 1. 资源分配图(Resource Allocation Graph) 图 3-19 每类资源有多个时的情况 * (2) 凡属于E中的一个边e∈E，都连接着P中的一个结点和R中的一个结点，e={pi, rj}是资源请求边，由进程pi指向资源rj， 它表示进程pi请求一个单位的rj资源。e={rj, pi}是资源