Dining Philosophers

N processes share N resources
resource requests occur in pairs
random think times
hungry philosopher grabs a fork
...and doesn’t let go
...until the other fork is free
...and the linguine is eaten

while(true) {

Think();

AcquireForks();

Eat();

ReleaseForks();

}

Previous slide Next slide Back to first slide View graphic version