critical sections conceptual

Question

Consider the following two-process synchronization solution.

Process 0 --------- Entry: loop while (turn == 1); (critical section) Exit: turn = 1;

Process 1 ---------- Entry: loop while (turn == 0); (critical section) Exit: turn = 0;

The shared variable turn is initialized to zero. Which one of the following is TRUE?

(A) This is a correct two-process synchronization solution.
(B) This solution violates mutual exclusion requirement.
(C) This solution violates progress requirement.
(D) This solution violates bounded wait requirement.

Comments

Thanks @Shubhanshu for explaining,I misunderstood the question but I have one more question.

I get that if P0 never wants to execute in it's critical section but that should be blocked by some condition only, na??? like there is some resource or lock used by some other process as it is not given in the question or we can suppose that any process can by choice not go into it's CS.

Please explain.

---

It is not necessary. Suppose process p0 never enters into Ready queue means never invoked, as a result p1 never execute its cs. Leads to progress failure.

---

Got that, thanks Shubhanshu.