Table of Contents
Starvation and Deadlock
Another EventBarrier Example
Highway 110 with EventBarrier
Reader/Writer with Semaphores
Reader/Writer with Semaphores: Take 2
Reader/Writer with Semaphores: Take 2+
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
|
Author: Jeff Chase
Home Page: http://www.cs.duke.edu/~chase/cps110/slides
|