O deadlock pode ser definido formalmente como se segue: "Um conjunto de processos está em uma situação de deadlock, se cada processo do conjunto estiver esperando por um evento que somente outro processo pertencente ao conjunto poderá fazer acontecer."
O artigo de Coffman et al. (1971) , citado por TANNENBAUM (1996), mostra que quatro condições devem ocorrer para que se configure uma situação de deadlock. Assinale a opção que NÄO é uma condição para ocorrência de um deadlock.