2. Read the explanation of Table 5.4 on textbook page 224 or the notes of slides page 68. First, understand the possible scenario that the consumer consumes an item from the buffer that does not exist. You don't need to explain it in the assignment. Then explain why "It would not do simply to move the conditional statement inside the critical section of the consumer because this could lead to deadlock". The modified code that "move the conditional statement inside the critical section" is shown in Fig. 2. Show the scenario that causes deadlock. (40 points) /* program producerconsumer */ binary_semaphore s - 1, delay - 0; void producer() int n; while (true) { produce(); semwaitB(s); append(); n++: if (n==1) semsignalB(delay); semSignalB(s); void consumer() senWaitB(delay); while (true) { semwaitB(s); take(); consume( if (n==0) semwaitB(delay): semSignal() void main() n = 0; parbegin (producer, consumer); Fig.2 A modified version of binary semaphores solution with infinite buffer Producer/Consumer