As quatro condições necessárias para a ocorrência de deadlock são:

processo prende recurso já alocado enquanto espera pela liberação de outro recurso; semáforo; espera circular; preempção;

processo prende recurso já alocado enquanto espera pela liberação de outro recurso; exclusão mútua; não-preempção; espera circular;

processo prende recurso já alocado enquanto espera pela liberação de outro recurso; localidade de referência; exclusão mútua; não-preempção

memória virtual; processo prende recurso já alocado enquanto espera pela liberação de outro recurso; espera circular; não-preempção

thrashing; processo prende recurso já alocado enquanto espera pela liberação de outro recurso; semáforo; exclusão mútua.