n
However, if from the initial state, P1
request Q = (1,0,1). The resulting state
would be:
Claimed
Allocated
Available
R1
R2
R3
R1
R2
R3
R1
R2
R3
P1
P2
P3
P4
3
2
2
6
1
3
3
1
4
4
2
2
2
0
1
5
1
1
2
1
1
0
0
2
0
1
1