Go backward to
Go up to
Go forward to
Detect deadlocks and recover when they occur.
Use advance information about resource requests to control allocation.
Prove that next resource allocation may not cause deadlock.
Break one of the deadlock conditions.
Prevent deadlock cycle by ordering shared resources and force processes to request resources in that order.
Require processes to acquire all resources at once (may lead to resource underutilization).
Last modification: November 15, 1996