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

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

admin2012-09-30  26
问题 某系统有同类资源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://jikaoti.com/ti/BcEaFFFM
本试题收录于： 操作系统题库理工类分类
0

操作系统

理工类

相关试题推荐
随机试题
最新回复(0)