Example (contd.)
With the state of the system as given above and the current availability as given by AVAIL [R1 R2 R3 ] = 0 1 1, can you find a sequence of processor execution that will result in a safe state (no deadlock state)?
Some form of serializability. Quite common in data base applications.
Is the given state safe? YES. (means you have safe sequence)
What is the safe sequence? {P2, P1, P3, P4}