Single Instance

Detect deadlocks via Resource Allocation Graph cycles.

Multi Instance

Detect deadlocks via matrices (Banker’s logic).