Uma situação de deadlock pode surgir se as 4 condições a seguir ocorrerem simultaneamente em um sistema:
I. Pelo menos um recurso deve ser alocado em modo não compartilhável, isto é, apenas um processo de cada vez pode
usar o recurso. Se outro processo solicitar este recurso, o processo solicitante deve ser atrasado até o recurso ter sido liberado.
II. Pelo menos um recurso deve estar alocado a um processo e este processo estar aguardando para adquirir recursos
adicionais que, no momento, estejam sendo mantidos por outros processos.
III. Recursos não podem ser interceptados, isto é, um recurso só pode ser liberado voluntariamente pelo processo que o
estiver mantendo após esse processo ter concluído sua tarefa.
IV. Deve existir um conjunto de processos (P1, P2, ...Pn) em espera, de tal modo que P1 esteja esperando por um recurso
que está alocado a P2, P2 esteja esperando por um recurso que está alocado a Pn-1, Pn-1 esteja esperando por um recurso que está alocado a Pn e Pn esteja esperando por um recurso que está alocado a P1.
As descrições das condições I, II, III e IV correspondem, correta e respectivamente, às denominações: