Deadlocks

Deadlocks

Recursos
1. Requisitados
2. Usados
3. Liberados
4. Podem admitir uma ou mais instâncias
Grafos do Sistema
1. Grafo sem ciclos
  1. Deadlock impossível
2. Grafo com ciclos
  1. Possível deadlock
    1. Uma instância por recurso == Deadlock
    2. Múltiplas instâncias == Possível deadlock
Prevenção
1. Não exigir compartilhamento de recursos
2. Não solicitar recursos sem liberar os seus
3. Processos liberam recursos se os solicitados não forem alocáveis
4. Recursos com ordem de enumeração para serem alocados
Detecção
1. Algoritmo de verificação
  1. Identifica se há ciclos
2. Algoritmo de recuperação de deadlock
Resolução de deadlocks
1. Abortar processos
  1. Um de cada vez ou todos de uma vez
2. Passando a bola pro usuário
  1. Resolução manual
3. Preemptação de recursos
  1. Escolha da vítima
  2. Garantir rollback
  3. Evitar starvation
Definição
1. Impasse por necessidade de recursos mantidos por outros processos, que por sua vez necessitam de recursos também mantidos por outros, gerando um ciclo
Condições necessárias para surgimento
1. Exclusão mútua
  1. Um recurso por processo
2. Manter e Esperar
  1. Manter recursos enquanto solicita outros
3. Não preempção
  1. Esperar o processo terminar para liberar recursos
4. Espera circular
  1. Espera de recursos em sequência
Tratamento de deadlocks
1. Evitar entrar em deadlock
  1. Impossibilitar a ocorrência de ao menos uma condição
2. Entrar em deadlock e se recuperar
  1. Necessita que o deadlock seja localizado e resolvido
3. Ignorar o problema
  1. Menos custoso e mais utilizado pelos SO's
Estado seguro
1. Sistema verifica se esta seguro quando aloca os recursos
2. Não ocorrem deadlocks
3. Recursos livres e mantidos satisfazem processos
Mapa Mental 7 SO2016/1 Lucas Santos Sabino

Next up

Description

Resource summary

Similar

	Created by Lucas Sabino over 8 years ago