Deadlocks

Deadlocks

Caracterização
1. Exclusão mútua
2. Manter e esperar
3. Não preempção
4. Espera circular
Grafo de alocação de recursos
1. Não contem ciclos
  1. Sem deadlock
2. Contem ciclos
  1. apenas uma instância (por tipo de recurso) = deadlock
  2. Varias instâncias (por tipo de recurso) = possivel deadlock
Tratamento
1. Garantir que nunca entrara no deadlock
  1. Não atender uma condição necessaria
2. entrar e se recuperar do deadlock
  1. SO determina se ocorreu DL
3. Ignorar
  1. Por ser raro ocorrer
Prevenção
1. Garantir que pelomenos uma das 4 codinções nao possa ser atendida
  1. Exclusão mutua
  2. Manter e esperar
  3. Não-preempção
  4. Espera circular
Evitar
1. Exige que o sistema tenha informação adicional a priori
2. Algoritmo examina o estado de alocação de recurso para que nao haja espera circular
3. processo precisa declara o numero maximo de recursos que vai usar
detecção
1. se o SO não prevenir, O sistema precisa precisa criar um algoritmo
  1. um algoritmo para se recuperar do deadlock
  2. Um algoritmo que examine o estado do sistema (verificar se ocorreu um deadlock)
2. Recuperação
  1. Solução manual
  2. Abortar um por um (processos) ate finalizar o deadlock
    1. seguindo a ordem: Prioridade do processo > Tempo de execução > Recursos utilizados
  3. Preemptar alguns recursos de 1 ou + processos
    1. Seleciona a vitima
    2. Retornar a algum estado seguro (Rollback)
  4. Abortar todos os processos

Resource summary

	Created by Luiz Antonio Roque Guzzo about 9 years ago