T25 资源分配与死锁条件 鸽巢原理

共有 $\mathrm{R}$ 个资源，$\mathrm{P}$ 个进程，每个进程最多需要 $\mathrm{N}$ 个资源。

• 不发生死锁的充分条件：$\mathrm{R}\ge \mathrm{P}(\mathrm{N}-1)+1$
• 鸽巢原理：如果有 $n$ 个鸽巢和 $n+1$ 只鸽子，那么至少有一个鸽巢里有不止一只鸽子。