3.3.2 例题解析(10)
(2)进程D提出申请(1,2,0,3),按银行家算法进行检查:
RequestD(1,2,0,3)
RequestD(1,2,0,3)
此时存在一个安全序列{A、D、E、B、C},如表3.26所示,故该状态是安全的,可以立即将D进程所申请的资源分配给它。
表3.26 D进程请求资源后的安全性检测表
进程
Work
Need
Allocation
Work+Allocation
Finish
R1 R2 R3 R4
R1 R2 R3 R4
R1 R2 R3 R4
R1 R2 R3 R4
A
2 1 0 0
0 0 0 0
0 0 1 2
2 1 1 2
true
D
2 1 1 2
2 0 0 2
2 3 5 4
4 4 6 6
true
E
4 4 6 6
0 3 2 0
0 3 3 2
4 7 9 8
true
B
4 7 9 8
0 7 5 0
2 0 0 0
6 7 9 8
true
C
6 7 9 8
6 6 2 2
0 0 3 4
6 7 12 12
true
【例3-3-53】假定某计算机系统有R1和R2两类可再使用资源(其中R1有两个单位,R2有一