The dining philosophers problem was invented by E.W. Dijkstra, a con-currency pioneer, to clarify the notions of deadlock- and starvation-freedom. Imagine five philosophers who spend their lives just...

The dining philosophers problem was invented by E.W. Dijkstra, a con-currency pioneer, to clarify the notions of deadlock- and starvation-freedom. Imagine five philosophers who spend their lives just thinking and feasting on rice. They sita round a circular table, illustrated in Fig.1.5. However, there are only five chopsticks