for i++) { Mutex lock (&m); // pl // p2 When discussing the implementations of bounded buffer using condition variables, we have discussed the following solution using if. void *producer (void *arg) { (int i = 0; i < loops; if (numfull == max) void *consumer (void *arg) { while (1) { Mutex_lock (&m); if (numfull // cl == 0) // c2 Cond wait (& empty, &m); // p3 do_fill (i); // p4 Cond_wait (&fill, int tmp do_get(); &m); c3 c4 Cond_signal (&fill); // p5 Cond_signal (& empty); Mutex unlock (&m); // p } Mutex_unlock (&m); printf("%d ", tmp); // } } } We know it is buggy and we must change "if" to "while". Why? You are required to explain using a specific example (e.g., the tracing example in lecture) to show a problem that "if" - produces (Hint: assume two consumers and one producer).