É condição necessária para gerar uma situação de Deadlock (situação em que ocorre um impasse e dois ou mais processos ficam impedidos de continuar suas execuções) em um sistema operacional, EXCETO.