操作系统第3章操作系统3章.ppt

调度算法 习题 资源分配 安全性检测算法 银行家算法例子 银行家算法例子 银行家算法示例 1.时刻是否安全 1.时刻是否安全 例(补2) R={A(10),B(5),C(7)} P={p0,p1,p2,p3,p4} Max 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 0 7 4 3 3 3 2 3 2 2 2 0 0 1 2 2 9 0 2 3 0 2 6 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: (1)当前系统是否安全? ★银行家算法之例 ★银行家算法之例 (1)T0时刻的安全性： (2)p1请求：Request[1]=(1,0,2) 安全进程序列：p1,p3,p4,p2,p0 ★银行家算法之例 (2)P1请求资源：P1发出请求向量Request1(1，0，2)，系统按银行家算法进行检查： ① Request1(1, 0, 2)≤Need1(1, 2, 2) ② Request1(1, 0, 2)≤Available1(3, 3, 2) ③ 系统先假定可为P1分配资源，并修改Available, Allocation1和Need1向量，由此形成的资源变化情况如图 3-15 中的圆括号所示。 ④ 再利用安全性算法检查此时系统是否安全。 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 0 7 4 3 2 3 0 3 2 2 3 0 2 0 2 0 9 0 2 3 0 2 6 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: 假定分配： 安全进程序列:p1,p3,p4,p0,p2 (3) p4请求:Request[4]=(3,3,0), 能否分配? (4) P0请求资源:P0发出请求向量Requst0(0，2，0)，能否分配? ★银行家算法之例 (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)≤Need0(7, 4, 3); ② Request0(0, 2, 0)≤Available(2, 3, 0); ③ 系统暂时先假定可为P0分配资源，并修改有关数据，如图所示。 例(补1) 假定系统中有4个进程P1,P2,P3,P4和3类资源R1,R2,R3(资源数量分别为9,3,6),在t0时刻的资源分配情况如下表所示: 4 2 0 0 0 2 4 2 2 P4 1 0 3 2 1 1 3 1 4 P3 1 0 2 5 1 1 6 1 3 P2 1 1 2 2 2 2 1 0 0 3 2 2 P1 R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 available need allocation max 资源情况 进程 试问:1.时刻是