http://i.imgur.com/ZgQbPOn.jpg
各位大大小弟想问看看
有关conditional critical region 用 semaphore 实作的部分
图片中第二点
想问看看模拟部分
如果sleep中有P1 P2 P3的话
什么条件会触发P1进入retry 然后依序wakeup2 3呢？
因为是重考生所以读自己的笔记突然忘记怎么触发的
硬干了半个小时还是没有解答
再麻烦各位神人帮忙解答，谢谢

思考了一下,你们讨论的跟我思考的只有一点不同P_1是如何得到Signal(retry)的“第一个”进入retry的是直接进入没错而当“不同批”的Process进入时 若第一批的process已经在retry区 , 下一批才刚在mutex等时 就是如你们所说的 等到下一批的最后一个process进入retry区retry 才signal 由1变0

刚刚跟朋友讨论完，好像只要有一个人条件成立完成之后就会叫醒sleep中的人进入retry，接下来就会全部叫醒sleep的人，等到sleep中没有人之后最后一个进入retry的会signal第一个去check B条件

刚刚有试着TRACE 但太难呈现了直接放弃因为一开始retry 的初始值就是 0 了 P1直接进去当P1做完 end;之后 ....s;... 下方会if else判定要signal哪一个, mutex、sleep 会在做的过程中为0只剩下RETRY 为 2 因此signal(retry)P2 做完同上昨天混进模拟考考试太累所以没看 同为重考生加油 QQ看错 mutex 为 1 且不在if判定式内 所以无关