Detect deadlocks via Resource Allocation Graph cycles.
Detect deadlocks via matrices (Banker’s logic).