Consider the monitor based solution we had for the dining philosophers problem:

monitor DiningPhilosophers { enum { THINKING; HUNGRY, EATING) state[5]; cond_t self[5]; void pickup(int i) { state[i] = HUNGRY; test(i); if (state[i] != EATING) self[i].wait(); } void putdown(int i) { state[i] = THINKING; // test left and right neighbors test((i + 4) % 5); test((i + 1) % 5); } void test(int i) { if ((state[(i + 4) % 5] != EATING) && (state[i] == HUNGRY) && (state[(i + 1) % 5] != EATING)) { state[i] = EATING; self[i].signal(); // ----- THIS LINE ----- // } } void initialization_code() { for (int i = 0; i < 5; i++) state[i] = THINKING; } }

How would the functionality of this change if the commented line (THIS LINE) were removed? Justify your answer.