Suppose $n$ processes, $P_1, \dots P_n$ share $m$ identical resource units, which can be reserved and released one at a time. The maximum resource requirement of process $P_i$ is $s_i$, where $s_i > 0$. Which one of the following is a sufficient condition for ensuring that deadlock does not occur?
-
$\forall i,\: s_i, < m$
-
$\forall i, \:s_i <n$
-
$\displaystyle{\sum_{i=1}^n} \: s_i < (m+n)$
-
$\displaystyle{\sum_{i=1}^n} \: s_i < (m \times n)$