为什么标记[其他进程] == true 彼得森的解决方案

Question

我最近正在研究彼得森的关键部分问题的解决方案。 让 i 和 j 两个进程进入临界区， 我不明白为什么我们在 While 循环中设置 flag[j] == true 轮到我进入临界区了。

do
{
    flag[i] = true;
    turn = j;
    while(**flag[j] == true** && turn == j);
    Critical Section
    flag[i] = false;
} 
while(true);

Answer 1

while(flag[j] == true && turn == j);

这一行说如果另一个进程正在执行它的临界区，那么第一个进程应该继续等待，直到第二个进程将其标志变量（共享变量）设置为 false。

只有在第二个进程执行其临界区，并将其标志变量（共享变量）设置为 false 后，第一个进程才会开始执行其临界区。