é condição necessária e suficiente para ocorrer uma situação de deadlock quando houver um processo que esteja mantendo pelo menos um recurso e esteja esperando para obter recursos adicionais que estejam sendo mantidos por outros processos no momento.

é condição necessária e suficiente para ocorrer uma situação de deadlock quando houver pelo menos um recurso mantido em modo não-compartilhado.

é condição necessária e suficiente para ocorrer uma situação de deadlock a garantia da não-preempção em um dos recursos envolvidos.

uma forma de prevenção de deadlocks é garantir a não-preempção para todos os recursos.