Um impasse pode ser definido formalmente como “um conjunto
de processos está em situação de deadlock, se todo processo
pertencente ao conjunto estiver esperando por um evento que
somente outro processo desse mesmo conjunto poderá fazer
acontecer”. Em situações nas quais o deadlock ocorre, nenhum
processo consegue executar o recurso que necessita ou liberar o
recurso utilizado e nem mesmo ser acordado, pois o recurso
necessário está ocupado, causando uma situação de impasse.
São condições para entrar no estado de deadlock, EXCETO: