Question: In bounded buffer problem Which of the following Assumption Stands TRUE: <ol> <li>I. We assume that the pool consists of n buffers, each capable of holding one item.</li> <li>II. The mutex semaphore provides mutual exclusion for accesses to the buffer pool and is initialized to the value 1.</li> <li>III. The mutex semaphore provides mutual exclusion for accesses to the buffer pool and is initialized to the value 0.</li> <li>IV. The empty and full semaphores count the number of empty and full buffers.The semaphore empty is initialized to the value n; the semaphore full is initialized to the value 0.</li> <li>V. The empty and full semaphores count the number of empty and full buffers.The semaphore empty is initialized to the value 0; the semaphore full is initialized to the value n.</li> </ol>  

Answer:

In problem, the producer and consumer processes share the following data structures:

int n;

semaphore mutex = 1;

semaphore empty = n;

semaphore full = 0

We assume that the pool consists of n buffers, each capable of holding one item.

The mutex semaphore provides mutual exclusion for accesses to the buffer pool and is initialized to the value 1. The empty and full semaphores count the number of empty and full buffers. The semaphore empty is initialized to the value n; the semaphore full is initialized to the value 0.