Please enable JavaScript.

Coggle requires JavaScript to display documents.

Impasses - Coggle Diagram

- - - - Posse e espera: Tarefas podem solicitar outros recursos sem a necessidade da liberação dos recursos que já tem
      - Não-preempção : tarefa liberas recursos que detém somente quando decidir (não perde essas tarefas de forma imprevista)
      - Exclusão mútua : Acesso aos recursos de forma mutuamente exclusiva (semáforos controlam), no exemplo anterior apenas uma tarefa por vez pode acessar a conta)
      - Espera circular : Existe um ciclo de espera de tarefas, a tarefa 2 espera 1, a 3 espera a 2, assim sucessivamente.
- - - - Recursos lógicos e físicos de sistemas podem ter múltiplas instancias
        
        Ciclos em grafos múltiplas instancias podem indicar impasses, porém não é garantido sua existência
- - - - Uma outra maneira de impedir esses impasses seria acompanhar os recursos de perto, é no momento que foram solicitados se não cabe a solicitação, negar estes recursos.
        
        Estado inseguro : é considerado um estado seguro quando nosso grafo de possível estados, conseguimos concluir todas as tarefas do grafo
        
        Estado seguro : Caso essas tarefas realizadas so levem a impasses, é considerado inseguro
        
        Uma das técnicas para impedimento de impasses é chamado de "algoritmo do banqueiro", que no caso necessita de conhecimento prévio sobre as tarefas para as operações
    - - Neste caso as tarefas são executadas normalmente, nenhuma medida inicial é tomada, quando um impasse é detectado o sistema toma mediadas necessárias para desfazer el.
        
        a resolução de impasses neste caso se dá por duas forma:
        
        Eliminar tarefas : as tarefas que estão envolvidas no impasse são eliminadas, liberando recursos e as demais tarefas conseguem prosseguir
        
        Retroceder tarefas : as tarefas que estão envolvidas no impasse, tem sua execução parcialmente desfeita, onde é retornado ao ponto anterior ao impasse
    - - 4 condições principais, se uma delas forem quebradas, os impasses não podem ocorrer
        
        Posse e espera : Se cada tarefa usar um recurso de cada vez, solicitando liberando de imediato após seu uso, não pode ocorrer impasses.
        
        Não-preempção : Tarefas obtém e liberam recursos que necessitam, se for possível tirar um recurso de uma tarefa sem está tarefa libere explicitamente, o impasse de tal recurso não pode ocorrer.
        
        Exclusão mútua : Não havendo exclusão mutua no acessos de recursos, não pode haver impasses
        
        Espera circular : Se impedirmos a formação de ciclos (um ciclo nada mais é que uma cadeia de dependências de tarefas e recursos), impediremos os impasses.
- - - - Supondo que cada operação utiliza uma tarefa, e no momento da operação simultânea cada tarefa solicita o mutex da outra tarefa, nenhuma das tarefas irá conseguir prosseguir sem o mutex, gerando assim um impasse.