Starving Philosophers Simulator
Four demos are available here from SIGCSE 2001.
Demo 1
This is a basic demo showing how monitors work.
It is suitable for use in class to illustrate how processes move
among the monitor queues in the standard "solution" to the
Dining Philosophers problem.
It starts with the animation turned on.
The thinking and eating times of the philosophers are chosen to
show how starvation can take place.
Push the Show Info button to show a window giving a running
commentary of the first few steps of the simulation shown.
Demo 2
This is the same as Demo 1, but using the polite algorithm which avoids
starvation.
Demo 3
This is a combination of the first two demos.
Two simulation windows appear, one using the classical algorithm and the
other using the polite algorithm.
Demo 4
This shows what happens if you specify a finite starvation time
for the philosophers.