while true do begin
     <noncritical section>
      b_i := true;
     while k != i do begin
          while b_j do skip;
          k := i;
     end;
     <critical section>
     b_i := false;
end;