某系统有同类资源m个,供n个进程共享,如果每个进程最多申请x(1≤x≤m)个资源,且各进程的最大需求量之和小于(m+n)个资源,证明该系统不会发生死锁。

admin2012-09-30  24

问题 某系统有同类资源m个,供n个进程共享,如果每个进程最多申请x(1≤x≤m)个资源,且各进程的最大需求量之和小于(m+n)个资源,证明该系统不会发生死锁。

选项

答案(注:可用反证法) 证:若系统会死锁,则n(x—1)+1≤m一定不成立 即n(x—1)+1>m成立 于是nx>m+n—l 推得nx≥m+n 与题意nx<m+n矛盾,故系统不会死锁。

解析
转载请注明原文地址:https://kaotiyun.com/show/P5Nx777K
本试题收录于: 操作系统题库理工类分类
0

最新回复(0)