Please enable JavaScript.
Coggle requires JavaScript to display documents.
Impasses - Coggle Diagram
Impasses
Condições necessárias para impasses
Não preempção
Posse e espera
Exclusão mútua
Espera circular
Técnicas de tratamento de impasses
Impedir
Detectar e resolver
Previnir
Ignorar
Utilizada pelos SOs
Prevenção de impasses
Não ocorrer posse e espera
Ocorrer preempção
Não ocorrer exclusão mútua
Não ocorrer espera circular
Detecção e resolução de impasses
Detecção: pode ser feita inspecionando o grafo de alocação de recursos, usando algoritmos que verificam ciclos no grafo.
Resolução
Retroceder tarefas para um estado seguro antes do impasse
Eliminar tarefas
Impedimento de impasses
Estado seguro x Estado inseguro
Casos que uso de semáforos e mutexes para controlar seções críticas levam à um deadlock