Re: [理工] [OS] - critical section problem
: : 3.starvation分成兩種
: : (1)可能"全部人"都進不去
: : (2)可能"某些人"都進不去(像前例)
: : 我想問說如果發現了code會造成上面其中一種情況
: : 4.progress的定義中有提到the selection cannot be postponed indefinitely
: : 這邊的無限延遲是跟bounded waiting一樣指等待process"個數"? 還是指時間?
: : (如果是"時間"的話 "全部人"starvation就一定違背progress了)
我再稍微解釋一下我的問題好了
如果這邊progress定義中postponed indefinitely指的是時間
starvation"全部人"進不去 => 違背BW ; 違背progress，因為一直沒人進去
"某些人" => 違背BW ; 但是都有作selection，且沒有被在RS的人卡住
所以符合progress
我現在傾向是可以這樣推
但是不確定對不對
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.230.126.34
※ 編輯: nypgand1 來自: 61.230.126.34 (08/21 16:22)
推
08/21 16:49, , 1F
08/21 16:49, 1F
推
08/21 16:55, , 2F
08/21 16:55, 2F
→
08/21 16:55, , 3F
08/21 16:55, 3F
→
08/22 02:09, , 4F
08/22 02:09, 4F
推
08/22 22:44, , 5F
08/22 22:44, 5F
→
08/22 22:45, , 6F
08/22 22:45, 6F
→
08/22 22:46, , 7F
08/22 22:46, 7F
→
08/22 22:46, , 8F
08/22 22:46, 8F
→
08/23 01:11, , 9F
08/23 01:11, 9F
→
08/23 01:15, , 10F
08/23 01:15, 10F
推
08/23 11:37, , 11F
08/23 11:37, 11F
→
12/15 00:23,
7年前
, 12F
12/15 00:23, 12F
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 5 之 6 篇)：