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

【参考答案】

正确答案：(注：可用反证法) 证：若系统会死锁，则n(x—1)+1≤m一定不成立 即n(x—1)+1>m成立 于是nx＞......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)