PW Process Synchronization dpp question

Question

Answer 1

If the lock variable is initialized to False, then mutual exclusion is satisfied because only one process can enter the critical section at a time, but progress is not satisfied because a process may keep waiting even when the other process is not interested, and bounded waiting is also not satisfied.

This is an example of strict alternation.

Answer: A

Comments

A,C is answer

Answer 2

Mutual exclusion is satisfied there is no dout becuase atmost one process at a time in a critical section
Mutual Exclusion => Atmost 1 process in critical section at any time. 
Progress is  not satisfied because one process is in critical section another process try it wait until Lock becomes true but it blocked in while loop .

Progress => If a process is in critical section. another process try to enter critical section it can wait but once it come out from critical section another process couldn't blocked unnessarly it is then it is no progress here else progress satisfied.

Bounded waiting is satisfied Because it is not waiting independently.

Bounded waiting (No process waits indefinetly)

I hope u like it .

here A,B,C

Comments

Progress is  not satisfied. So B is not in the answer

 

---

Progress is not satisfied in strict alteration so B is wrong.

---

yes, bro you are correct i did a mistake while i am learning this is one month ago knowledge i really sorry for wrong solution yeah progress not satified becuase of unnesseary wait

Answer 3

Answer is A and C