信號量和互斥量在優先級反轉方面的區別（也可能是優先級繼承）

Question

嗯，這個主題並不像看起來那麼簡單。我們知道mutex可以通過一個信號量來實現，初始計數= 1。
但通過幾篇文章去，我還發現，努力大量已經進入分離這兩個，治療mutex作爲一個獨立的概念，從semaphore
問題Priority Inversion不同，其導致的priority inheritance一個新的概念，有點讓我感到困惑。

也有人提到ownership（如出現在what-is-mutex-and-semaphore-in-java-what-is-the-main-difference）的互斥體。那麼ownership是不好的名詞。 Mutex絕不是共享資源的所有者。 Holding a Lock和Releasing a Lock，是有效的信令，或許象方式，*Hey wait !! Till I complete and signal you*

尋找具有導致Mutex從分離Semaphore（與初始計數= 1）

Answer 1

所有權意味着您不能在一個線程中鎖定互斥並在另一個線程中釋放互斥。所以信號量更普遍。你可以用一個信號量來完成愚蠢的互斥量，但是你不能用一個互斥量來做信號量。

優先級反轉是以下情況：

1）高優先級線程，一種互斥

2）低優先級線程B保持該值，但不能執行，直到它釋放等待它引起

3）中間優先級的線程C-佔據CPU

爲了處理這種情況的調度應該有一定的邏輯：

到開始A更早地允許B執行而不是C

要理解B是誰停止A它必須知道互斥量的所有者。 對於信號燈來說，誰不能解鎖它：B或C.因此沒有辦法執行這種類型的邏輯。

Answer 2

互斥用Java（一些具體原因都以內部鎖和java.util.concurrent.Lock的形式）與事件通知機制很好地結合在一起。通過Semaphores實現這樣一個完整的互斥體是有問題的：它需要釋放一個信號量並獲取另一個作爲原子事務。