某系统有同类资源m个，它们供n个进程共享。如果每个进程最多申请x个资源（1≤x≤m），说明只要不等式n（x-1）+1≤m成立，该系统不会发生死锁。

某系统有同类资源m个，它们供n个进程共享。如果每个进程最多申请x个资源（1≤x≤m），说明只要不等式n（x-1）+1≤m成立，该系统不会发生死锁。

因为每个进程最多申请x个资源1≤x≤m，最坏的情况是每个进程都已得到了（x-1）个资源，现均要申请最后一个资源。
只要系统至少有一个资源，就可使其中一个进程得到所需的全部资源。
（已知n（x-1）+1≤m成立）。
在它执行结束后，归还的资源可供其他进程使用，因而不会发生死锁。