719 views
1 votes
1 votes

If the P() and V() semaphore operations are not executed atomically, then which of the following are always correct?

  1. Mutual exclusion satisfied 
  2. Progress is not satisfied
  3. Bounded waiting is not satisfied
  4. None of the above

Can anyone help me in this A should not be the ans as there is no restriction on atomicity. What about b and c.

2 Answers

0 votes
0 votes
Mutual exclusion will not be satisfied since multiple processes can enter the critical section at the same time. Hence progress and bounded waiting would be trivially satisfied.

The option should be none of the above.
0 votes
0 votes

Atomicity of P() and V() ensures Mutual Exclusion(ME). And if they are not atomic then ME won’t be garunteed. So, option A is incorrect

Which mean any process, when want to execute Critical Section(CS) will enter into it. So, here Progress is satisfied as no process is holding any process to enter into CS. Option B is incorrect.

Semaphore ensures ME but may or may not provide bounded waitingBe it atomic or non-atomic we cannot say BW always satisfy or always not satisfy. option C is incorrect.

Option D is correct.

 

Related questions

4 votes
4 votes
4 answers
2
Satbir asked Jan 13, 2020
5,081 views
The hardware implementation which provides mutual exclusion isSemaphoresTest and set instructionsBoth optionsNone of the options
1 votes
1 votes
1 answer
3