Dining philosophers: Difference between revisions