Question

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

Answer 1

证明：

若系统会死锁，则n(x-1)+1≤m一定不成立，即n(x-1)+1＞m成立。

于是nx＞m+n-1，推得nx≥m+n，与题意nx＜m+n矛盾，故系统不会死锁。