操作系统证明题，关于死锁的某系统有同类资源m个供n个进程共享，如果每个进程最多申请x个资源（1

Question

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

Answer 1

证明：
若系统会死锁，则n(x-1)+1≤m一定不成立，即n(x-1)+1＞m成立。
于是nx＞m+n-1，推得nx≥m+n，与题意nx＜m+n矛盾，故系统不会死锁。