本文通过数学分析证明了一个系统如果有m个资源供n个进程使用，在特定条件下不会发生死锁。关键在于当所有进程的最大资源需求总和小于m+n时，系统能够避免死锁的发生。
某系统有同类资源m个供n个进程共享，如果每个进程最多申请x个资源(1<=x<=m)，且各进程的最大需求量之和小于(m+n)，试证明该系统不会发生死锁。
分析：当每个进程都申请x-1个资源，这个时候如果系统没有资源了，它们中任何一个进程，如果再提出申请1个资源的要求，就会死锁。如果系统还有1个资源，就满足了提出申请资源的某一个进程，它释放所持有的x-1个资源，死锁局面被打破。
所以如果系统死锁必有
n(x−1)+1>m
n(x-1)+1>m
n(x−1)+1>m
化简一下可以得到
nx>m+n−1
nx>m+n-1
nx>m+n−1
进一步由不等式可以推出
nx>m+n
nx>m+n
nx>m+n
这和题目中的条件nx < (m+n)矛盾。
再来一道作业题：
扫一扫
482
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
