The dining philosophers problem