nThe shared variable turn is initialized (to 0 or 1) before executing any Pi
nPi’s critical section is executed iff turn = i
nPi is busy waiting if Pj is in CS: mutual exclusion is satisfied
nProgress requirement is not satisfied since it requires strict alternation of CSs
nEx: if turn=0 and P0 is in it’s RS, P1 can never enter it’s CS
