有人可以帮我理解彼得森的解决方案如何满足无饥饿、进步和互斥条件吗？

Question

我也对while循环部分感到困惑，如果while中的条件不成立，那么它将如何进入CS？

这个彼得森的解决方案如何满足互斥、无饥饿和进步条件的条件？

谢谢！

Answer 1

这里的 while 循环就像一个“陷阱”。如果条件为真，则意味着另一个进程在关键部分内。 看P0，如果轮到1，并且flag为真，说明P1在CS里面，当P1和CS做完后，它会将flag标记为False，这样就使得while循环中的条件错误的。所以P0会进入CS。

为了进入 CS，代码必须使 while 循环为“假”。希望对你有帮助。