Question

某系统有同类资源m 个，供n 个进程共享。如果每个进程至少申请一个资源

某系统有同类资源m 个，供n 个进程共享。如果每个进程至少申请一个资源，且所有进
程对资源的最大需求量之和小于（m + n），证明该系统不会发生死锁。

Answer 1

设n个进程共需要x个资源，假设系统发生死锁，即每个进程都少了一个资源，则资源共有x-n个，m-（x-n）为剩余资源，由题意x<m+n,所以剩余资源大于0,所以系统不会发生死锁。

Answer 2

例如11个同类资源被5个进程共享，每个进程最多可以请求多3个资源才能保证系统不会发生死锁。 因为如每个进程都已分配到2个资源，系统还剩下一个资源，就能保证某一个进程能分配到全部3个资源，并能运行到底，最终释放这3个资源。 当m＞n时，设一