Condizioni di Coffman

Le quattro condizioni necessarie che devono valere contemporaneamente perché si verifichi un deadlock: mutua esclusione, possesso e attesa (hold and wait), assenza di prelazione e attesa circolare; negarne anche una sola previene lo stallo.