Critical section problem

[prashantgolu]

Shared variables:
– var turn: (0..1);

initially turn = 0
– turn = i - Pi can enter its critical section

Process Pi

repeat
while turn != i do no-op;
critical section
turn := j;
remainder section
until false;


Satisfies mutual exclusion, but not progress.

does this satisfy Bounded Waiting Condition...?