OPERATING SYSTEM [NEED STEP BYSTEP SOLUTION WITH ANSWERS]

SEMAPHORE

Following is the solution of the Producer-consumer problem using semaphores. Producers produce new items and put those items in the buffer, where Consumers consume items from the buffer and empty the buffer. 3 semaphores have been used in this solution - mutex, countEmpty, and countFull. procedure producer() { while(true) { item - producedItem(); wait (countEmpty); wait (mutex); put IntoBuffer(item); signal (mutex); signal (count Full); } procedure consumer while(true) { wait (countFull); wait (mutex)? item = removeFromBuffer(); signal (mutex); signal (count Empty); consumeItem(item); ) The definition of wait and signal function of semaphores are given below. Definition of wait(): Definition of signal(): walt(semaphores) { S->value if (S->value list: block0: signal (semaphore "S) { S-> value++: if (S-> value list) of semaphore. At a certain point of the execution, following are the values of the semaphores: mutex=1, countEmpty=1, countFull=9 Find the output of the following sequence of commands. At time 0: P1 started At time 0: P2 started Value of countEmpty: Value of countFull: Processes in the waiting queue of the semaphore: [Write process names with Capital letter, For example: P7. If there are multiple process writes their names using comma, For example: P6 P7. If there is no process the semaphore's list, write EMPTY in the box] At time 10: C1 started At time 10: C2 started At time 15:P3 started At time 15: P4 started Value of countEmpty: Value of countEmpty: Value of countFull: Processes in the waiting queue of the semaphore: [Write process names with Capital letter, For example: P7. If there are multiple process writes their names using comma, For example: P6 P7. If there is no process in the semaphore's list, write EMPTY in the box]