Uma situação de deadlock surge apenas nos casos em que há, simultaneamente, exclusão mútua, nãopreempção e espera circular.

O esquema de grafo wait-for aplica-se a sistemas de alocação de recursos, com várias instâncias de cada recurso, provendo o desempenho requisitado.

Em sistemas que usam preempção para tratar deadlocks, nos quais a seleção do processo-vítima se baseia em custos, é possível que o mesmo processo seja sempre escolhido como vítima.

Uma seqüência de processos P1 , P2 , ... , Pn é considerada segura para o estado atual de alocação, se para cada Pi, o recurso requisitar que Pi seja atendido pelos recursos disponíveis e por aqueles mantidos por todo Pj, com i > j.

Previne-se espera circular estabelecendo uma ordenação de todos os tipos de recursos, exigindo que cada processo requisite recursos em uma ordem decrescente de numeração.