..

a solution to the dining philosophers problem