algorithm - 兰波特互斥

Question

鉴于 lamport 的快速互斥算法，我试图理解为什么等待在那里。

算法:

start: b[i] = true
      x = i 
      if y != 0 then b[i] = false
                          await y = 0
                          goto start 
      fi
      y = i
      if x != i then b[i] = false
                         for j = 1 to n do await b[j] = false od
                         if y != i then await y = 0
                                            goto start 
                         fi 
      fi
      critical section
      y = 0
      b[i] = false 

我们不能同时删除它们吗？

Answer 1

当其他进程/线程处于临界区时，您想等待(阻塞)而不是自旋(持续执行可用性检查)，否则您将占用可在其他地方使用的资源。如果一次只能运行一个线程，那么您将阻止关键部分中的线程在整个时间片内运行，从而导致程序需要更长的时间才能完成。