05第五章 死锁及饥饿1.pptVIP

例子 例1. M=15； N=4；P1(4); P2(6); P3(1); P4(7) ?=4+6+1+7=18M+N=19 无死锁可能性。 例2. M=15; N=4；P1(5); P2(6); P3(1); P4(7) ?=5+6+1+7=19?M+N=19 有死锁可能性。死锁情况： P1：a a a a a P2：a a a a a a P3：a P4：a a a a a a a 作业 #5 P170. 9 P170.10 * * 银行家算法(Cont.) 设X,Y为下标1..l的一维数组： X?Y ? ?j (1?j?l), X[j]?Y[j] X:=Y ? ?j (1?j?l), X[j]:=Y[j] X:=c ? ?j (1?j?l), X[j]:=c X±Y ? ?j (1?j?l), X[j]±Y[j] 资源分配 Pi请求资源 Request[I]?Need[I] 请求超量，错返 Request[I]?Available 不满足，等待 Available:=Available-Request[I] Allocation[I]:=Allocation[I]+Request[I] Need[I]:=Need[I]-Request[I] 安全 确认，pi继续 Available:=Available+Request[I] Allocation[I]:=Allocation[I]-Request[I] Need[I]:=Need[I]+Request[I] pi等待 F T F T T F 安全性检测算法 F Work:=Available; Finish:=false; 有满足条件的j: Finish[j]=false Need[j]?Work Finish[j]:=true; Work:=Work+Allocation[j] T ?j ,finish[j]=true T F 安全 不安全 银行家算法例子 R={A(10),B(5),C(7)} P={p0,p1,p2,p3,p4} Claim Allocation Need Available Work Finish A B C A B C A B C A B C A B C 7 5 3 0 1 1 7 4 2 3 3 3 3 2 2 2 0 0 1 2 2 9 0 2 3 0 0 6 0 2 2 2 2 2 1 1 0 1 1 4 3 3 0 0 2 4 3 1 P0: p1: p2: p3: p4: 安全进程序列：p1,p3,p4,p2,p0 p2请求：Request[2]=(1,0,2) 银行家算法例子 Claim Allocation Need Available Work Finish A B C A B C A B C A B C A B C 7 5 3 0 1 1 7 4 2 2 3 1 3 2 2 2 0 0 1 2 2 9 0 2 4 0 2 5 0 0 2 2 2 2 1 1 0 1 1 4 3 3 0 0 2 4 3 1 P0: p1: p2: p3: p4: 假定分配： 安全进程序列：p3,p1,p4,p0,p2，确认分配； p4请求：Request[4]=(3,3,0), 不能满足，等待； p0请求：Request[0]=(0,2,1), 不安全，取消分配，等待。 例子：R={A,B}, 申请a, b; 释放a, b P={p1,p2}, p