Next:
Deadlocks
Deadlocks
System Model
Deadlock Characterization
Necessary Conditions
Resource-Allocation Graph
Methods for Handling Deadlocks
Deadlock Prevention
Mutual Exclusion
Hold and Wait
No Preemption
Circular Wait
Deadlock Avoidance
Safe State
Deadlock Detection
Single Instance of Each Resource Type
Several Instances of a Resource Type
Detection-Algorithm Usage
Recovery From Deadlock
Process Termination
Resource Preemption
Main memory
Background
Basic Hardware
About this document ...
Cem Ozdogan 2010-04-19
