请问这个进程同步的算法为何不满足 有空让进（前进）的原则？

Question

进程P、Q共享变量 turn
其中 turn == true 代表P进入临界区 turn == false代表Q进入临界区

P进程程序：

while(not turn);
   临界区
   turn == false;

Q进程程序：

while(turn);
   临界区
   turn == true;