Figure 1: The dining philosophers