Consider the procedure below for the Producer-Consumer problem which uses semaphores: c semaphore n = 0; semaphore s = 1; void producer() void consumer() w

Question

Consider the procedure below for the Producer-Consumer problem which uses semaphores:

```c
semaphore n = 0;
semaphore s = 1;
void producer()                    void consumer()
{                                  {
    while(true)                        while(true)
    {                                  {
        produce();                         semWait(s);
        semWait(s);                        semWait(n);
        addToBuffer();                     removeFromBuffer();
        semSignal(s);                      semSignal(s);
        semSignal(n);                      consume();
    }                                  }
}                                  }
```

Which one of the following is TRUE?

Accepted Answer

C. Deadlock occurs if the consumer succeeds in acquiring semaphore s when the buffer is empty.

Related Operating Systems PYQs

Turn practice into measurable progress