At an instant, the resource allocation state in a system is as follows:
4 processes P1–P4
4 resource types: R1–R4
R1 (5 instances), R2 (3 instances), R3 (3 instances), R4 (3 instance)
Snapshot at time T₀:

Run the deadlock detection algorithm and test whether the system is deadlocked or not. If it is, identify the processes that are deadlocked.

R1 P1 0 P2 2 P3 0 P4 1 Allocation Request Available R2 R3 R4 R1 R2 R3 R4 R1 R2 R3 R4 0 1 2 0 0 2 211 2 0 1 3 1 2 1 0 4 0 1 1 1 10 0 20100 013