假定某系统有同类互斥资源m个，可并发执行且共享该类资源的进程有n个，而每个进程申请资源的最大量为x(n<=x<=m)，当不等式（）成立时，系统一定不会发生死锁。

假定某系统有同类互斥资源m个，可并发执行且共享该类资源的进程有n个，而每个进程申请资源的最大量为x(n<=x<=m)，当不等式（）成立时，系统一定不会发生死锁。
A.nx+1<=m
B.nx<=m
C.m(x-1)+1<=n
D.m-nx+n-1>=0
正确答案：D