如果我们证明没有饥饿，我们不需要证明没有死锁或活锁（进展）？

Question

我用谷歌搜索了Peterson算法证明并注意到大多数网站都不打算证明进度要求，为什么呢？有人可以解释一下吗？

Answer 1

如果我理解你的问题是正确的，那么答案很简单，没有饥饿意味着没有死锁/活锁：如果没有进程挨饿，那么每个愿意进步的进程最终都会这样做，可能会有没有死锁/活锁。这很容易遵循各自概念的定义。