可以证明，m个同类资源被n个进程共享时，只要不等式 成立，则系统一定不会发生死锁，其中x为每个进程申请该类资源的最大量。