如果我們證明沒有飢餓，我們不需要證明沒有死鎖或活鎖（進展）？

Question

我用Google搜索Peterson算法證明並注意到大多數網站不打擾證明進度要求，爲什麼？有人可以解釋嗎？

Answer 1

如果我理解你的問題是正確的，那麼答案很簡單：沒有飢餓意味着沒有死鎖/活鎖：如果沒有飢餓的進程，那麼每個願意進步的進程最終都會這樣做，沒有死鎖/活鎖。這很容易從各自概念的定義中得出。