The Little Book of Semaphores 信號量小書 第四章 經典同步問題 4.3 無餓死互斥

第四章 經典同步問題   4.3 無餓死的互斥 在上一節中，我們討論了被稱之爲絕對飢餓的問題，其中一類線程（讀者）允許另一類別（寫者）捱餓。 在更基本的層面上，我們必須解決線程餓死的問題，即一個線程可能無限期地等待而其他線程繼續進行。 對於大多數併發應用程序，餓死是不可接受的，因此我們強制執行有限等待的要求，這意味着線程等待信號量（或其他任何地方，就此而言）的時間必須可證明爲是有限的。 在某種程度

>>阅读原文<<