试题题干
设系统有一类数量为M的独占性资源，系统中4个进程竞争该类资源，每个进程对该类资源的最大需求为4。为确保系统不会发生死锁，M至少应该等于（ ）
参考答案
正确答案：
试题解析
设系统有一类数量为M的独占性资源，系统中N个进程竞争该类资源，每个进程对资源的最大需求为W。当M、N、W满足N（W-1）+1 ≤ M时，系统处于安全状态，不会发生死锁。可理解为：先给N个进程都分配W-1个资源，这时如果要保证不发生死锁，系统中必须至少还有1个可分配资源，待这1个进程执行完毕后释放W个资源，其他进程可顺利执行。
代入公式可得：4（4-1）+1 ≤ M，解得M ≥ 13，故M至少应该等于13。