MadeEasy Test Series 2018: Operating System - Process Syncronization

Question

does this satisfy progress , if no then why?

Comments

Here deadlock so no progress

Answer 1

There is no progress as there is a possibility of a DEADLOCK. 

I'll show how.

Suppose the buffer is empty.

Then empty=N and full=0

Suppose producer runs first and it runs till the line down(empty) and then it got preempted.

Now the consumer runs.

Mutex was initially 1

Down(Mutex) makes it 0

Down(full) suspends the consumer as full is 0

Now the producer runs again. When it executes down(mutex) it gets suspended too.

--->>Producer and consumer both are suspended-->>Deadlock---> No Progress 

Comments

if there is dead lock it means no progress as I read defination of progress is if a process p1 wants to go to critical section then it should depend on other process say p2