各位大大好
正在讀implementing monitor using semaphore遇到一點問題
我假設現在有三個processes
Pa,Pb,Pc依先後順序進monitor
前兩個執行x.wait（）被卡住
後一個執行x.signal ()
想問一下我這樣假設是對的嗎？
第一個問題
這三個processes都是在monitor procedure內執行x.wait or x.signal的嗎
第二個問題
當process執行x.wait後 他是被卡在condition variable x之waiting queue中嗎
我用以上假設去run了一遍
寫起來很像哪裏怪怪的
Pb好像沒有被成功救到
是要等下一個呼叫x.signal才會救到Pb還是我哪裡理解錯誤了
先感謝各位了！
http://imgur.com/I7gRNDr
http://imgur.com/ma9STU6
http://imgur.com/tlgyYmH