Thuật giải nhà băng

Một hệ thống có 3 ổ băng từ và 3 tiến trình P1,P2,P3 với trạng thái cấp phát tài nguyên ở thời điểm Ti thể hiện bằng vectơ Allocation=(1,0,1) và Mã=(1,2,2):
Dùng thuật giả nhà băng để:
Chứng minh trạng thái này an toàn
Xác định có nên đáp ứng hay không yêu cầu xin them 1 ổ nữa cảu P3
Giải:
a. Xét tại thời điểm Ti mà 3 tiến trình được cấp phát như đề bài ta có:
P[i] Allocation[i] Max[i] Nedd[i] Available
P1 1 1 0
1
P2 0 2 2
P3 1 2 1

Với Need[i]=Max[i]-Allocation[i] và Available=3-(1+0+1)=1
Tìm chuỗi an toàn:
Work>= Nedd[i] P[i] Allocation[i]
1 0 P1 1
2 2 P2 0
2 1 P3 1

Vậy tại thời điểm T0 tồn tại chuỗi an toàn {P1,P2,P3}. Suy ra hệ thống tại thời điểm Ti ở trạng thái an toàn
b. Ta thấy, yêu cầu thêm 1 ổ nữa cảu P3 thỏa các điều kiện:
request 3<=Need3 và Request1<=Available
hơn nữa việc cấp phát them 1 ổ nuwaxcho P3 thì hệ thống vẫn ở trạng thái an toàn vì tồn tại chuỗi an toàn {P1,P2,P3} trong khi tài nguyên trong hệ thống không còn nữa. Thật vậy:
Work>= Nedd[i] P[i] Allocation[i]
0 0 P1 1
1 0 P3 2
3 2 P2 0

Do vậy ta có thể cấp thêm cho yêu cầu xin them 1 của P3 tại thời điểm này

ok