188
Deadlock detection: comments
nProcess j is not
deadlocked when Q(j,i) <= W(i) for all
i.
nThen we are optimistic and assume that process j will require no more resources to complete its task
nIt will thus soon return all of its allocated resources. Thus: W(i) = W(i) + A(j,i) for all i
nIf this assumption is incorrect, a deadlock may occur later
nThis deadlock will
be detected the next time the deadlock
detection algorithm is invoked