Starvation and Deadlock
Starvation
Deadlock
Dining Philosophers
Four Preconditions for Deadlock
Resource Graphs
Not All Schedules Lead to Collisions
Resource Trajectory Graphs
RTG for Two Philosophers
Two Philosophers Living Dangerously
The Inevitable Result
Dealing with Deadlock
Extending the Resource Graph Model
Banker’s Algorithm
Home Page: http://www.cs.duke.edu/~chase/cps212