Starvation and Deadlock

2/23/00


Click here to start


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