Diapositiva 1 Three semaphores empty (i.v. N) full (i.v. O) mutex (i.v. 1) 7 { while (TRUE) {< generate one message to be put into the buffer >; P (empty); P (mutex);…