Deadlocks

Deadlocks

1. Caracterização

   • Exclusão mútua
   • Manter e esperar
   • Não preempção
   • Espera circular

2. Grafo de alocação de recursos

   • Não contem ciclos
     • Sem deadlock
   • Contem ciclos
     • apenas uma instância (por tipo de recurso) = deadlock
     • Varias instâncias (por tipo de recurso) = possivel deadlock

3. Tratamento

   • Garantir que nunca entrara no deadlock
     • Não atender uma condição necessaria
   • entrar e se recuperar do deadlock
     • SO determina se ocorreu DL
   • Ignorar
     • Por ser raro ocorrer

4. Prevenção

   • Garantir que pelomenos uma das 4 codinções nao possa ser atendida
     • Exclusão mutua
     • Manter e esperar
     • Não-preempção
     • Espera circular

5. Evitar

   • Exige que o sistema tenha informação adicional a priori
   • Algoritmo examina o estado de alocação de recurso para que nao haja espera circular
   • processo precisa declara o numero maximo de recursos que vai usar

6. detecção

   • se o SO não prevenir, O sistema precisa precisa criar um algoritmo
     • um algoritmo para se recuperar do deadlock
     • Um algoritmo que examine o estado do sistema (verificar se ocorreu um deadlock)
   • Recuperação
     • Solução manual
     • Abortar um por um (processos) ate finalizar o deadlock
       • seguindo a ordem: Prioridade do processo > Tempo de execução > Recursos utilizados
     • Preemptar alguns recursos de 1 ou + processos
       • Seleciona a vitima
       • Retornar a algum estado seguro (Rollback)
     • Abortar todos os processos