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

Question

我用谷歌搜索了彼得森算法证明，发现大多数网站都懒得证明进度要求，这是为什么呢？有人可以解释吗？

Answer 1

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