临界区域问题

问题:

教材：operating system concepts [sixth edition]的汉化版，高等教育出版社

原著：Abraham Silberschatz
问题：临界区域问题（7章2小节）
描述：书中对解决两个进程的临界区域问题提出以下这样1个解决方案，并给出
         评述，在下关键对评述不理解。
         解决方案：让两个进程共享一个 普通变量turn，其初值为0或1。如果  
              turn == i,那么进程Pi（i为0或1）允许在其临界区内执行。进程Pi的
              结构如下：

           do{
               while (turn != i);
               临界区
               turn = j;
               剩余区
           }while(1)
        
         评注说这一方案确保了每一个时刻只有一个进程处于临界区域。然而，它
      不满足前进要求（按书就是有空让进的意思），因为它要求进程在临界区中
      执行时要严格交替。例如，如果turn == 0且P1就绪要进入其临界区，那么
      尽管P0可能在其 剩余区段 ，P1并不能这样做 。  （哪样做啊，是指P1不能
      进入自己的 临界区吗？这又怎么可能，不是有turn = j 吗 ，另一个进程肯
      定可以检测到这一改变，马上进入相应临界区，根本不会管这个进程在不在

     剩余区，又怎么会不能呢？）

解答:

这个关键是要理解文中所说的:
"执行时要严格交替",
也就是说P1不能连续执行两次临界区,
比如,对于P1而言:
               while (turn != 1);
               临界区
               turn = 0; //turn被赋了0后,P0还在长期执行于其剩余区中,可是P1要继续下走
               剩余区
               while (turn != 1);  //这个时刻就是所谓的"P1并不能这样做"的状态
               临界区
               turn = 0;
               剩余区