use the manual

example

ABC 332 Example: P1 Request (1,0,2) First, we Check that RequestAvailable (that is, (1,0,2) (3,3,2) true) Allocation Need Available ABC ABC ABC PO 010 743 23 0 P1 302 020 P2 302 600 P3 211 011 P4 002 431 Second, We must determine whether this new system state is safe. So, we execute our safety algorithm and find that the sequence satisfies the safety requirement Aach Aar ABC ABC A010 753 R200 322 A 302 902 A 211 222 A 002 433 . Can request for (3,3,0) by P4 be granted? no. (2,3,0) or sequence satisfies safety criteria