Sistema operacionais

DEADLOCK
Francisco José Alves

Caracterização: Deadlock pode existir se quatro condições acontecem simultaneamente.
Exclusão Mútua:
− Cada recurso alocado a apenas um processo por vez ou livre. Somente um processo de cada vez pode usar um recurso.
Manter e esperar:
− processos mantendo recurso podem requisitar recursos adicionais. Um processo mantendo pelo menos um recurso e está esperando para adquirir recursos adicionais mantidos por outros processos.
Sem preempção:
− um recurso previamente garantido não pode ser retirado do processo um recurso só pode ser liberado voluntariamente pelo processo que o mantém, após o processo completar a sua tarefa.
Espera Circular:
− Deve haver uma cadeia circular de 2 ou mais processos
− Cada um está esperando por recurso mantido pelo próximo membro de cadeia. existe um conjunto {P0,, P1,, …,, P0} de processos esperando, tal que P0 está esperando por um recurso que está atribuído P1, P1 está esperando por um recurso que está atribuído a P2,, …,, Pn–1 está esperando por um recurso que está atribuído Pn, e Pn está esperando por um recurso que está atribuído a P0
Evitar ocorrência:
Requer que o sistema tenha alguma informação adicional disponível a priori
_ Modelo mais simples e útil requer que cada processo declare o número máximo de recursos de cada tipo que pode precisar
_ Algoritmo de deadlock-avoidance examina dinamicamente o estado de alocação de recursos para garantir que nunca ocorra uma condição de espera circular.
_ Estado de alocação de recursos é definido
_ pelo número de recursos disponíveis e alocados
_ demanda máxima dos processos
Detecção de Deadlock: para detectar um deadlock, o sistema deve apresentar uma estrutura de dados que armazene as informações sobre os processos e os recursos alocados a eles. Estas estruturas deverão ser utilizadas dinamicamente, de modo que reflitam realmente a situação de cada processos. Só o mero procedimento de atualização dessas estruturas já gera uma