设系统有一类数量为M的独占性资源，系统中N个进程竞争该类资源，每个进程对资源的最大需求为W。当M、N、W满足N（W-1）+1 ≤ M时，系统处于安全状态，不会发生死锁。可理解为：先给N个进程都分配W-1个资源，这时如果要保证不发生死锁，系统中必须至少还有1个可分配资源。
代入公式可得：5*(W-1)+1 ≤ 12，解得W ≤ 3.2，且W是整数，故W的最大值是3。
时系统一定不会死锁。