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

时间：2021-09-02 15:31 关键词： 联大 河南理工大学 计算机科学与技术_操作