C 编程语言中的严格交替（来自 Tanenbaum）

Question

为什么不是严格交替测试进程 0 的第一个入口 while (turn == 0) //then Enter 进程0怎么能进入while (turn != 0)，这不是和while (turn == 1)一样吗？

turn = 0;
//process 0 to enter
while (TRUE) {
  while (turn != 0)
    critical_region();
  turn = 1;
  noncritical_region();
}

//process 1 to enter
while (TRUE) {
  while (turn != 1)
    critical_region();
  turn = 0;
  noncritical_region();
}

Answer 1

首先，你的代码是错误的。 Tanenbaum 的严格交替看起来像这样（他的示例是在没有块的情况下编写的，但我认为这种方式更容易遵循）：

while (TRUE) {
    while (turn != 0)
    {
        /* do nothing */
    }
    critical_region();
    turn = 1;
    noncritical_region();
}

严格交替的想法有两个方面：

1. 在任何给定的时刻，只有一个进程可以执行该函数Critical_region()
2. 两个进程轮流运行ritical_region()（即，一旦进程0运行了ritical_region()，它必须等待进程1运行ritical_region()，然后才能再次运行）。

Answer 2

如果您用括号展开您发布的代码，它看起来像这样：

turn = 0;
//process 0 to enter
while (TRUE) 
{
   while (turn != 0)
   {
      critical_region();
   }
   turn = 1;
   noncritical_region();
}

因此，第一次进入主循环时，它将 turn 设置为 1 并调用 nonritic_region。第二次它调用 ritic_region 并可能停留在那里。

Answer 3

我认为代码实际上是这样的

while (TRUE)   
{  
while (turn != 0) **;**  
critical_region;  
turn=1;  
noncritical_region;  
}  

请注意，在书中，分号位于注释 /* Loop */ 后面，写在内部 while 之后。

Answer 4

我怀疑正确的代码是：

turn = 0;
//process 0 to enter
while (TRUE) {
   while (turn != 0) critical_region();
   turn = 1;
   noncritical_region();
}

//process 1 to enter
while (TRUE) {
   while (turn != 1) critical_region();
   turn = 0;
   noncritical_region();
}