各位大大好
正在读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