Please enable JavaScript.
Coggle requires JavaScript to display documents.
Deadlocks, MAPA MENTAL 7 Disciplina: SO 2025/1 Aluno: Arthur de Moraes…
Deadlocks
Evitação de Deadlock
Precisa de info extra a priori
Algoritmo verifica dinamicamente o estado de alocação
Garante que nunca haverá espera circular
Estado do sistema definido por
Recursos disponíveis
Recursos alocados
Demandas máximas dos processos
Estado Seguro
Processo solicita recurso
Verificado se a alocação mantém o sistema seguro
Só aloca se o sistema continuar em estado seguro
Prevenção de Deadlock
Exclusão Mútua
Necessária para recursos não compartilháveis
Manter e Esperar
Evitar que processo mantenha recursos enquanto espera
Duas estratégias
Solicitar todos os recursos de uma vez
Solicitar apenas quando não estiver com nenhum recurso
Possível starvation
Não-Preempção
Processo não pode obter um novo recurso
Deve liberar todos os que já tem
Recursos são colocados na lista de espera do processo
Espera Circular
Impõe ordem numérica aos recursos
Processos devem pedir recursos em ordem crescente
Métodos para Tratamento de Deadlocks
Prevenção ou Evitação
Negar pelo menos uma das 4 condições necessárias
Detecção e Recuperação
Permitir deadlock
Sistema detecta e corrige
Ignorar o Problema
"Fingir que deadlocks não existem"
Usado em muitos sistemas
UNIX
Windows
Menos custo tratar como exceção
O Problema do Deadlock
"Impasse"
Processos podem competir por um número finito de recursos
Cada um segura um recurso
Nenhum processo pode continuar
Espera por outro recurso usado por outro processo
Caracterização do Deadlock
Condições Necessárias
Exclusão Mútua
Apenas um processo usa um recurso de cada vez
Manter e Esperar
Processo com um recurso espera por outro que está com outro processo
Não Preempção
Recursos liberados voluntariamente pelo processo que os possui
Espera Circular
Existe um ciclo de processos
Cada um esperando por um recurso do próximo
Grafo de Alocação de Recursos
Grafo não contém ciclos
Não há deadlock
Grafo possui ciclos
Uma instância por tipo de recurso
Deadlock certo
Várias instâncias por tipo de recurso
Possibilidade de deadlock
Modelo do Sistema
Sistema
Conjunto finito de recursos
Distribuídos entre processos concorrentes
Ciclos de CPU
Espaço de memória
MAPA MENTAL 7
Disciplina: SO 2025/1
Aluno: Arthur de Moraes Andrade Corrêa