[理工] [OS]-free deadlock 證明
這證明是由推到Σ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
→
01/15 01:23, , 1F
01/15 01:23, 1F
→
01/15 01:26, , 2F
01/15 01:26, 2F
※ 編輯: ieric 來自: 118.160.179.86 (01/15 01:33)