作者ieric (我要积极)
看板Grad-ProbAsk
标题[理工] [OS]-free deadlock 证明
时间Fri Jan 15 01:12:47 2010
这证明是由推到Σ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
1F：→ polomoss:意思是该process完工後，至少要有释放资源给其他P 01/15 01:23
2F：→ ieric:可是不管它有没有释放 会影响其他process 完工吗? 01/15 01:26
※ 编辑: ieric 来自: 118.160.179.86 (01/15 01:33)