- #1
prashantgolu
- 50
- 0
i read this as a solution to critical state problem in galwin
repeat
while turn!= i do no-op;
critical section
turn := j;
remainder section
until false;
now this algo does not meet the "progress" conditiion...
the book states the reason as...this requires strict alteration of processed in execution of their critical state
for ex...if turn =0 and p1 is ready to enter its critical section,it cannot do so...even though p0 maybe in its remainder section...
how can p1 be in its remainder section and turn still be 0...
how does this algo not meet the reqirement of progress?
repeat
while turn!= i do no-op;
critical section
turn := j;
remainder section
until false;
now this algo does not meet the "progress" conditiion...
the book states the reason as...this requires strict alteration of processed in execution of their critical state
for ex...if turn =0 and p1 is ready to enter its critical section,it cannot do so...even though p0 maybe in its remainder section...
how can p1 be in its remainder section and turn still be 0...
how does this algo not meet the reqirement of progress?