Chapter 7. Deadlocks

Hub: engineering

Part of the series

system model

deadlock characterization

1. necessary conditions
2. resource allocation graph

methods for handling _deadlocks

deadlock prevention

1. mutual exclusion
2. hold and wait
3. no preemption
4. circular wait

deadlock avoidance

1. safe-state
2. resource allocation graph algorithm
3. banker’s algorithm
   1. safety algorithm
   2. resource request algorithm

deadlock detection

1. single instance of each resource type
2. several instance of each resource type
3. detection algorithm usage

recovery from deadlock

1. process termination
2. resource preemption