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

Question

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

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

谢谢！

Answer 1

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

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