Describe what changes would be necessary to the producer and consumer processes in Figure 7.1 and Figure 7.2 so that a mutex lock could be used instead of a binary semaphore.

while (true) { /* produce an item in next_produced */ wait (empty); wait (mutex); /* add next_produced to the buffer */ signal (mutex); signal(full); } Figure 7.1 The structure of the producer process. while (true) { wait (full); wait (mutex); /* remove an item from buffer to next_consumed */ } signal(mutex); signal(empty); /* consume the item in next_consumed */ Figure 7.2 The structure of the consumer process.