Lab › Deadlock › Detection

Deadlock Detection

Enter a resource allocation matrix to detect if the system is in a deadlock state.

Deadlock: A set of processes are in deadlock if each process is waiting for a resource held by another process in the set — creating a circular wait.
4 Conditions (Coffman): Mutual Exclusion, Hold & Wait, No Preemption, Circular Wait. Deadlock iff all 4 conditions hold simultaneously
Deadlock Scenario Builder

This simulation uses the Banker's Algorithm foundation to detect deadlock via safety check. → Go to Banker's Algorithm for full simulation.

Available Resources
Allocation Matrix
Request/Need Matrix