可以证明，m个同类资源被n个进程共享时，只要不等式____成立，则系统一定不会发生死锁，其中x为每个进程申请该类资源的最大量。
n(x-1)+1≤m
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
