[理工] OS critical section问题 ben4562002 PTT批踢踢实业坊

楼主: ben4562002 (Bin) 2020-01-18 16:27:22

https://i.imgur.com/s9nLW1m.jpg
想请问一下这题的progress应该如何判断有无满足？
麻烦高手解惑ㄌ

楼主: ben4562002 (Bin) 2020-01-18 16:30:00

补一下答案给No 但我看不出来哪些地方不满足@@

作者: zuchang (chang) 2020-01-18 16:37:00

这是笔记的Peter solution 判断式但没对称修改

作者: ccapricorntw (Eating) 2020-01-18 16:42:00

第3行应该是flag[i] 不然flag[i]如果是False j一样卡在第3行就不符合progress

楼主: ben4562002 (Bin) 2020-01-18 16:47:00

阿我写Pj的时候while判断写错了xd所以如果 Pi在R.S里面时，Pj会一直卡住，因为要等Pi拿到权杖设成i，Pj才可继续执行嗯嗯懂了感谢两位解惑～～

作者: zuchang (chang) 2020-01-18 16:48:00

分析：如果Pi不想进 turn就会一直是j所以Pi不想做但卡住想做的Pj所以不满足progress

继续阅读