作者ben4562002 (Bin)
看板Grad-ProbAsk
标题[理工] OS critical section问题
时间Sat Jan 18 16:27:22 2020
https://i.imgur.com/s9nLW1m.jpg
想请问一下这题的progress应该如何判断有无满足?
麻烦高手解惑ㄌ
----
Sent from
BePTT on my Sony G8142
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 42.75.51.245 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1579336044.A.951.html
1F:→ ben4562002: 补一下 答案给No 但我看不出来哪些地方不满足@@ 01/18 16:30
2F:推 zuchang: 这是笔记的Peter solution 判断式 但没对称修改 01/18 16:37
3F:推 ccapricorntw: 第3行应该是flag[i] 不然flag[i]如果是False j一样 01/18 16:42
4F:→ ccapricorntw: 卡在第3行 就不符合progress 01/18 16:42
5F:→ ben4562002: 阿 我写Pj的时候while判断写错了xd 01/18 16:47
6F:→ ben4562002: 所以如果 Pi在R.S里面时,Pj会一直卡住,因为要等Pi 01/18 16:47
7F:→ ben4562002: 拿到权杖设成i,Pj才可继续执行 01/18 16:47
8F:→ ben4562002: 嗯嗯懂了感谢两位解惑~~ 01/18 16:48
9F:→ zuchang: 分析:如果Pi不想进 turn就会一直是j 01/18 16:48
10F:→ zuchang: 所以Pi不想做但卡住想做的Pj所以 不满足progress 01/18 16:48