Implementation of Dijkstra's famous dining philosophers problem