Please enable JavaScript.

Coggle requires JavaScript to display documents.

Capítulo 13 Impasses, Em alguns casos, o uso de semáforos ou mutexes pode…

- - - - Exclusão mútua: se não houver exclusão mútua no acesso a recursos, não poderão ocorrer impasses
      - Posse e espera: caso as tarefas usem apenas um recurso de cada vez, solicitando-o e liberando-o logo após o uso, impasses não poderão ocorrer.
      - Não-preempção: normalmente uma tarefa obtém e libera os recursos de que necessita quando quiser. Se for possível “arrancar” um recurso da tarefa, salvando seu estado interno, impasses envolvendo aquele recurso não poderão ocorrer
      - Espera circular: um impasse é uma cadeia de dependências entre tarefas e recursos que forma um ciclo. Ao prevenir a formação de tais ciclos, impasses não poderão ocorrer.
  - - - Estado seguro: é possível concluir as tarefas pendentes
      - Estado inseguro: o estado em questão somente leve a impasses
      - Algoritmo do banqueiro: Consiste em uma analogia entre as tarefas de um sistema e os clientes de um banco, tratando os recursos como créditos emprestados às tarefas. O banqueiro decide que solicitações de empréstimo deve atender para conservar suas finanças em um estado seguro.
  - - - Uma vez detectado um impasse e identificadas as tarefas e recursos envolvidos, o sistema deve proceder à resolução do impasse:
        
        Eliminar tarefas: uma ou mais tarefas envolvidas no impasse são eliminadas, liberando seus recursos para que as demais tarefas possam prosseguir. Leva em conta o tempo de vida de cada uma, a quantidade de recursos que cada tarefa detém, o prejuízo para os usuários, etc.
        
        Retroceder tarefas: uma ou mais tarefas envolvidas no impasse têm sua execução parcialmente desfeita, de forma a fazer o sistema retornar a um estado seguro anterior ao impasse (rollback)