algorithm - 通过比较两种算法来满足进程进度的临界区算法？

Question

这是临界区的两种算法。第一个是不满足渐进的要求，第二个是解决方案。我认为第二个有问题，但我的讲师不承认。在每个进程进入提醒部分后，我们需要以某种方式将 turn 分配给新值吗？对吗？

boolean flag[2];
initially flag [0] = flag [1] = false.
flag [i] = true 
//Pi ready to enter its critical section
//Process Pi
do {
   flag[i] = true;
   while (flag[j]) ;
   critical section
   flag [i] = false;
   remainder section
} while ( … );

它满足互斥但不满足进步，现在通过将其更改为我们满足进步的需要:

int turn;
boolean flag[2];
initially flag [0] = flag [1] = false, turn = i (or j)
Process Pi
do {
   flag [i] = true;
   turn = j;
   while (flag [j] and turn = j) ;
   critical section
   flag [i] = false;
remainder section
while(...);

Answer 1

第二种算法是正确的。

turn变量仅在两个 进程正在等待彼此的标志时才相关。

不需要重新设置turn在退出临界区时，因为它会在再次测试其值之前被重置——由下一个试图进入临界区的进程进行。