while (true) { Local_section(1); while (turn != 1) { // }; Critical_section(1); turn = 2; }
while (true) { Local_section(2); while (turn != 2) { // }; Critical_section(2); turn = 1; }