OS 關於信號量處理中的忙等待問題

直接看圖： 下面這張圖堪稱神奇： 問題描述–>套娃行爲 信號量爲了時臨界區問題不發生忙等待，使用臨界區mutex進行處理。臨界區mutux的value需要被P1和P2的wait（）指令進行操作，然而能否保證對mutex.value進行互斥的操作是一個問題。wait()操作理論上是需要原子的（atomically），實際上是有一些代碼構成，實現起來並不能保證互斥。這就產生了mutex.value訪問

>>阅读原文<<