Please enable JavaScript.
Coggle requires JavaScript to display documents.
Deadlocks, Mapa Mental 07 SO 2025/2 Davi Campos Sutil - Coggle Diagram
Deadlocks
Métodos de Tratamento
Prevenção
elimina causas
Evitação
evita estados inseguros
Detecção e recuperação
permite e resolve
Ignorar
prática comum em sistemas como Unix
Prevenção de Deadlock
condição: Exclusão mútua
Prevenção: Tornar recurso compartilhável
condição: Manter e Esperar
Prevenção: Solicitar todos os recursos antes
condição: Não preempção
Prevenção: Forçar liberação e recomeço
condição: Espera circular
Prevenção: Ordem fixa de requisição
Introdução
Deadlock
processos bloqueados esperando recursos
Recursos limitados
dependência mútua
Exemplo
P1 tem R1, quer R2; P2 tem R2, quer R1
Modelo do Sistema
Recursos
CPU
E/S
memória
arquivos
Cada recurso
várias instâncias
Ciclo
Solicita
Usa
Libera
Evitação de Deadlock
Conceitos
Estado seguro
há sequência viável
Estado inseguro
risco de impasse
Requer conhecimento prévio dos recursos
Algoritmo do Banqueiro
Verifica se concessão mantém sistema seguro
Simulação antes de alocar
Concede apenas se houver sequência segura
Detecção de Deadlock
uma instância por recurso
Grafo de espera
ciclo indica impasse
múltiplas instâncias
Matrizes de alocação e requisição
Verificação periódica
Recuperação de Deadlock
Encerrar Processos
Abortar todos
rápido, drástico
Abortar um por vez
controlado
Critérios
Prioridade
Tempo de execução
Recursos usados
Preempção de Recursos
Retomar recursos de processos
Cuidados
Rollback (voltar estado)
Seleção da vítima
Evitar starvation
Caracterização do Deadlock
Condições Necessárias
Exclusão mútua
Manter e esperar
Não preempção
Espera circular
Mapa Mental 07
SO 2025/2
Davi Campos Sutil