p个进程共享m个同类资源，每一个资源在任一时刻只能供一个进程使用．每一进程对任一资源都只能使用一有限时间，使用完便立即释放。并且每个进程对该类资源的最大需求量小于该类资源的数目。设所有进程对资源的最大需要数目之和小于p+m。试证：在该系统中不会发生死锁。

【参考答案】

证：
m＞Need_i＞0；(Need_i表示第i个进程还需要的资源量......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)