Похоже тут рассматривается некая упрощенная специфическая разновидность алгоритма Петерсона для реализации критической секции.
Похоже, что есть два процесса P0
и P1
.
P0:
while (turn != 0) { }
// критическая секция
turn = 0;
P1:
while (turn != 1) { }
// критическая секция
turn = 1;
Переменная turn
используется для передачи сигнала о том, что процесс вышел из критической секции. А значит второй процесс может продолжать выполнение и следовательно зайти в критическую секцию. Каждый процесс ждет, пока не наступит его очередь. А его очередь наступает, когда другой процесс разрешит. Т.е. P0
сможет выйти из цикла, когда процесс P1
закончит выполнение критической секции и установит turn=1
.