→ polomoss:意思是該process完工後，至少要有釋放資源給其他P 01/15 01:23
→ ieric:可是不管它有沒有釋放 會影響其他process 完工嗎? 01/15 01:26
※ 編輯: ieric 來自: 118.160.179.86 (01/15 01:33)
這證明是由推到Σneedi < n
再繼續說明 因為有N的 process 但是Σneedi < n
故存在 >=1個process needi=0 此process可完工
又因為(1)// 1<= MAXi <= M
故此process 完工後會釋放>=1的resouece
而這些resource 又會讓剩下的process 中至少有>=1個process
﹋﹋﹋﹋﹋﹋﹋﹋
之needi為0 而可完工 以此類推 所以process皆可完工
我問題:剩下的 process 之所以完工 之前的process所釋放的資源>=1 有何關聯?
我想法:Σneedi都小於n了 那現在剩下n-1個process Σneedi必也小於n
當然一定也可以完工 這和完工的process釋放出的resource有何影響?
想法哪裡有錯 請幫我更正一下 感謝!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.160.179.86