如果我们证明没有饥饿，我们不需要证明没有死锁或活锁(进步)吗？

Question

我在谷歌上搜索了Peterson算法证明，注意到大多数网站都懒得证明进度要求，这是为什么？有人可以解释一下吗？

Answer 1

如果我理解你的问题是正确的，那么答案很简单，没有饥饿意味着没有死锁/活锁：如果没有饥饿的进程，所以每个愿意进步的进程最终都在这样做，就不会有死锁/活锁。这很容易从各自概念的定义中得出。