monitor DiningPhilosophers enum THINKING, HUNGRY, EATING) state C51 condition self [5] void pickup (int i) state [il HUNGRY test (i); if (state [i] EATING) self Lil wait(); void putdown (int i) f state [i] THINKING test (i 4) 5) test (i 1) 5); void test (int i) if ((state [(i 4) 5] EATING) && (state [i] HUNGRY) && (state Cli 1) %5] EATING)) state [i] EATING self [i] signal initialization code for (int i 0; i 5; i++) state Cil THINKING Figure 5.18 A monitor solution to the dining-philosopher