Deadlock

Deadlock

Em sistema multiprogramado, deadlock é um bloqueio perpétuo ou impasse. Dizemos que um processo está em deadlock quando espera por um evento particular que jamais irá acontecer.
Igualmente dizemos que um sistema está em deadlock quando um ou mais processos estão nesta situação.
Segundo Tanenbaum: "Um conjunto de processos está em deadlock quando cada processo do conjunto está esperando por um evento que apenas outro processo do conjunto pode causar".
Caracterização das deadlocks
Uma deadlock pode ocorrer de diferentes maneiras: * quando um processo é colocado em espera por algo, e o sistema operacional não inclui qualquer previsão para o atendimento desta espera. É o deadlock de um único processo [one-process deadlock]; * quando se forma uma cadeia sucessiva de solicitações de recursos que culminam num arranjo circular, onde um processo P1 segura [holding] um recurso R2 e requisita um recurso R1 alocado para um processo P2, que por sua vez está solicitando o recurso R2, em uso por P1. Como nenhum desses processos se dispõe a liberar o recurso que detêm isso configura uma situação de deadlock.

Independentemente do tipo, os deadlocks causam serios prejuízos ao sistema, pois mesmo num one-process deadlock, recursos ficam alocados desnecessariamente, o que significa que restarão menos recursos para os demais processos. Nos deadlocks circulares, além da alocação desnecessária de recursos, podem ser formadas filas de esperas pelos recursos envolvidos, deteriorando o tempo de resposta do sistema, podendo até causar situações de instabilidade ou crash do sistema operacional.
Quando um processo é bloqueado indefinidamente, ficando em espera por um recurso, dizemos que está ocorrendo um adiamento indefinido ou bloqueio indefinido (respectivamente indefinite postponement, indefinite blocking). Como um processo nessa situação não pode prosseguir com a sua execução devido à ausência de recursos, também dizemos que ele está em starvation