prashantgolu
Solid State Member
- Messages
- 15
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...?
– 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...?