信號量是否「完整」？

明智地使用信號量可以解決每個可想象的同步問題嗎？那麼弱信號量呢？信號量是否「完整」？

2009-12-23 sdcvvc

與其要求我們閱讀您的書籍，請提供您需要在您的問題中回答* here *的信息。 – jalf 2009-12-23 13:56:17

「能否通過合理使用信號量來解決每個可想象的同步問題？」問題是否清楚？我提到第4.3章引用弱信號量，如果你已經知道弱信號量是什麼，你不需要檢查pdf。（順便說一句，這不是「我的」書） – sdcvvc 2009-12-23 13:59:45

我刪除了參考書。下面是一個相關的問題：圖靈機可以解決每個計算問題嗎？答案是肯定的，因爲圖靈完備性/教會論點。這同樣的問題，但關於信號量的完整性。 – sdcvvc 2009-12-23 14:10:38

Agerwala認爲適當擴展的信號量是完整的。這並沒有回答我所有的問題，但是正確的道路。大衛塞勒也有一點。

2009-12-29 13:18:11 sdcvvc

編號只是例如，對於僅使用信號量進行同步的系統來說，在第三方代碼（例如插件）面前提供無等待保證或進步保證是不可能的。代碼中不正確的或者寫得不好的部分可以永遠拒絕每個人都可以訪問信號量守護的代碼部分。

2009-12-23 14:08:43

我不認爲這回答正確的問題。問題是信號量是否足以實現所有其他同步基元。我不認爲任何實現都可以承受在任意點注入不正確的代碼，無論是使用鎖還是信號量，或者你有什麼。 – 2010-08-17 19:24:06

回答