generated at
dining philosophers problem