Professional Documents
Culture Documents
A B C D A B C D A B C D A B C D
P0 3 0 1 4 5 1 1 7 1 0 0 2 2 1 0 3
P1 2 2 1 0 3 2 1 1 3 2 1 2 1 0 0 1
P2 3 1 2 1 3 3 2 1 6 3 3 3 0 2 0 0
P3 0 5 1 0 4 6 1 2 6 8 4 3 4 1 0 2
P4 4 2 1 2 6 3 2 5 10 10 5 5 2 1 1 3
13 10 6 9 13 10 6 9
A B C D A B C D A B C D A B C D
P0 2 0 0 1 4 2 1 2 3 3 2 1 2 2 1 1
P1 3 1 2 1 5 2 5 2 2 1 3 1
P2 2 1 0 3 2 3 1 6 0 2 1 3
P3 1 3 1 2 1 4 2 4 0 1 1 2
P4 1 4 3 2 3 6 6 5 2 2 3 3
a, Nếu P1 yêu cầu thêm (1,1,0,0), yêu cầu này có được đáp ứng không ?
A B C D
A B C D A B C D A B C D
P0 3 1 0 1 4 2 1 2 2 2 2 1 1 1 1 1
P1 3 1 2 1 5 2 5 2 5 3 2 2 2 1 3 1
P2 2 1 0 3 2 3 1 6 6 6 3 4 0 2 1 3
P3 1 3 1 2 1 4 2 4 7 10 6 6 0 1 1 2
P4 1 4 3 2 3 6 6 5 9 11 6 9
2 2 3 3
12 12 8 10 12 12 8 10
Thỏa điều kiện.
Tồn tại chuỗi an toàn : P0 -> P3 -> P4 -> P2 -> P1 , hệ thống an toàn.
Yêu cầu cấp phát của P1 được chấp nhận.
b, Nếu P4 yêu cầu thêm (0,2,0,0), yêu cầu này có được đáp ứng không ?
Need
Allocation Max Available
A B C D
A B C D A B C D A B C D
2 2 1 1
P0 2 0 0 1 4 2 1 2 3 3 2 1
2 1 3 1
P1 3 1 2 1 5 2 5 2
0 2 1 3
P2 2 1 0 3 2 3 1 6
0 1 1 2
P3 1 3 1 2 1 4 2 4
2 2 3 3
P4 1 4 3 2 3 6 6 5
Need
A B C D
Allocation Max Available
2 2 1 1
A B C D A B C D A B C D
2 1 3 1
P0 2 0 0 1 4 2 1 2 3 1 2 1
0 2 1 3
P1 3 1 2 1 5 2 5 2
0 1 1 2
P2 2 1 0 3 2 3 1 6
2 0 3 3
P3 1 3 1 2 1 4 2 4
P4 1 6 3 2 3 6 6 5
Thỏa điều kiện
12 12 8 10 Nhưng không tồn tại
chuỗi an toàn , hệ
thống unsafe.
Yêu cầu cấp phát của P4 không được chấp nhận.