第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}是资源分配边，由资源rj指向进程pi, 它表示把一个单位的资源rj分配给进程pi。 * 2. 死锁定理 图 3-20 资源分配图的简化 * 3. 死锁检测中的数据结构 (1) 可利用资源向量Available，它表示了m类资源中每一类资源的可用数目。 (2) 把不占用资源的进程(向量Allocation∶=0)记入L表中， 即Li∪L。 (3) 从进程集合中找到一个Requesti≤Work的进程，做如下处理：① 将其资源分配图简化，释放出资源，增加工作向量Work∶=Work+Allocationi。 ② 将它记入L表中。 * (4) 若不能把所有进程都记入L表中， 便表明系统状态S的资源分配图是不可完全简化的。 因此，该系统状态将发生死锁。 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}+… * 图 3-21 付出代价最小的死锁解除方法 * * * 　　2) 抢占式调度方式用于周期实时任务 　　图3-10示出了将最早截止时间优先算法用于抢占调度方式之例。在该例中有两个周期性任务，任务A的周期时间为20 ms，每个周期的处理时间为10 ms；任务B的周期时间为50 ms，每个周期的处理时间为25 ms。图中的第一行示出了两个任务的到达时间、最后期限和执行时间图。其中任务A的到达时间为0、20、40、…；任务A的最后期限为20、40、60、…；任务B的到达时间为0、50、100、…；任务B的最后期限为50、100、150、…(注：单位皆为ms)。 * 图3-10 最早截止时间优先算法用于抢占调度方式 * 　　为了说明通常的优先级调度不能适用于实时系统，该图特增加了第二和第三行。在第二行中假定任务A具有较高的优先级，所以在t=0 ms时，先调度A1执行，在A1完成后(t = 10 ms)才调度B1执行；在t = 20 ms时，调度A2执行；在t = 30 ms时，A2完成，又调度B1执行；在t = 40 ms时，调度A3执行；在t = 50 ms时，虽然A3已完成，但B1已错过了它的最后期限，这说明了利用通常的优先级调度已经失败。第三行与第二行类似，只是假定任务B具有较高的优先级。 * 　　第四行是采用最早截止时间优先算法的时间图。在t = 0时，A1和B1同时到达，由于A1的截止时间比B1早，故调度A1执行；在t =