nInitialization: flag[0]:=flag[1]:=false turn:= 0 or
1
nWillingness to enter CS specified by flag[i]:=true
nIf both processes attempt to enter their CS
simultaneously, only one turn
value will
last
nExit section: specifies that Pi is
unwilling to enter CS