作者nypgand1 (祈附‧征前御祭)
看板Grad-ProbAsk
標題Re: [理工] [OS] - critical section problem
時間Sat Aug 21 16:19:18 2010
: : 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)
推 christianSK:我前一篇好像不太對 我想一下! 08/21 16:49
推 christianSK:我覺得某些人那裡應該是對的 不過全部的地方我不很確 08/21 16:55
→ christianSK:定 08/21 16:55
→ nypgand1:期待c大的回文!!! 08/22 02:09
推 christianSK:我想全部人都starvation的情況應該不會發生 08/22 22:44
→ christianSK:因為starvation應該是說有人持續運作而有人得不到資源 08/22 22:45
→ christianSK:所以全部人都沒在運作的情況應該是deadlock 08/22 22:46
→ christianSK:這樣就違反了progress 08/22 22:46
→ nypgand1:我記得課本是寫說 deadlock是starvation的一種耶 08/23 01:11
→ nypgand1:所以目前看起來是可以這樣推囉XD 總算有點心得了!! 08/23 01:15
推 christianSK:可以問一下是哪裡說到是starvation的一種嗎? 沒印象@@ 08/23 11:37