3. Does the following implementation of producer/consumer problem work correctly? Justify your answer. (20 points) Semaphore S=1; in=0; out=0; PRODUCER While (TRUE) { } WAIT(S); While (count= buf_size) (}:// do nothing count= count + 1; SIGNAL(S); buffer[in] = next_produced; in = (in+1) mod buf_size; CONSUMER While (TRUE) { } WAIT(S): While (count=0) (). // do nothing count= count-1. SIGNAL(S): consumed buffer[out]; out= (out+1) mod buf_size, =