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

Question

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

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

谢谢！

Answer 1

这里的while循环就像一个“陷阱”。如果条件为真，则意味着另一个过程在关键部分内。查看P0，如果转弯为1，且标志为true，则表示P1在CS内，当用CS完成P1时，它将标志标记为False，这将使条件成为while循环假。因此，P0将进入CS。

为了进入CS，代码必须使while循环为'False'。希望对您有所帮助。