Classic problem introduced by Dijkstra
- Five philosophers live in a house together, and they always dine together at the same table, sitting in the same place.
- They always eat a special kind of spaghetti which requires two forks.
- There are two forks next to each plate, which means that no two neighbours can be eating at the same time.