问题
问答题
p个进程共享m个同类资源，每一个资源在任一时刻只能供一个进程使用．每一进程对任一资源都只能使用一有限时间，使用完便立即释放。并且每个进程对该类资源的最大需求量小于该类资源的数目。设所有进程对资源的最大需要数目之和小于p+m。试证：在该系统中不会发生死锁。
答案
参考答案：证：
m＞Needi＞0；(Needi表示第i个进程还需要的资源量)
；(Maxi表示第i个进程的最大资源需求量，
由已知条件，所有进程对资源最大需要数目之和小于p+m)
；(Allocationi表示第i个进程已分配的资源量，
假设现在系统发生死锁，则m个资源全部分配出去，
则此时所有进程都应该陷入无限等待状态中，即所有的进程的need都大于0)
(但由公式可看出，此时p个进程还需要的资源量之和小于p，即至少存在一个进程，其需求量等于0，即它获得了所需要的全部资源，完成的珂释放所有占有的资源，与前面假设系统死锁矛盾，即证明这个系统中不可能发生死锁。)