Current state - AVAIL [1 1 2]

P1 P2 P3 P4 P1 P2 P3 P4

R1 3 6 3 4 1 5 2 0

R2 2 1 1 2 0 1 1 0

R3 2 3 4 2 0 1 1 2

CLAIM MATRIX ALLOCATION MATRIX

Request of [1 0 1] by P2 can be safely allocated. Proof: Above example.

But the same request from P1 at this state given above is unsafe. So cannot be allocated.

Previous slide

Next slide

Back to first slide

View graphic version