Simulation of the dining philosophers problem.