Please enable JavaScript.

Coggle requires JavaScript to display documents.

Impasses, Vitor Neis da Silva - Coggle Diagram

- - - - uma tarefa somente libera os recursos que detém quando assim o decidir, e não os perde de forma imprevista (ou seja, o sistema operacional não retira à força os recursos alocados às tarefas).
    - - existe um ciclo de esperas pela liberação de recursos entre as tarefas envolvidas: a tarefa t1 aguarda um recurso retido pela tarefa t2 (formalmente, t1 → t2), que aguarda um recurso retido pela tarefa t3, e assim por diante, sendo que a tarefa tn aguarda um recurso retido por t1
    - - uma tarefa pode solicitar o acesso a outros recursos sem ter de liberar os recursos que já detém.
    - - o acesso aos recursos deve ser feito de forma mutuamente exclusiva, controlada por semáforos ou mecanismos equivalentes.
- - - - Outra forma de tratar os impasses preventivamente consiste em acompanhar a alocação dos recursos às tarefas e, de acordo com algum algoritmo, negar acessos de recursos que possam levar a impasses. Uma noção essencial nas técnicas de impedimento de impasses é o conceito de estado seguro. Cada estado do sistema é definido pela distribuição dos recursos entre as tarefas. Caso o estado em questão somente leve a impasses, ele é considerado um estado inseguro.
    - - Nesta abordagem, nenhuma medida preventiva é adotada para prevenir ou evitar impasses. As tarefas executam normalmente suas atividades, alocando e liberando recursos conforme suas necessidades. Uma vez detectado um impasse e identificadas as tarefas e recursos envolvidos,
        o sistema deve proceder à resolução do impasse, que pode ser feita de duas formas:
        
        Retroceder tarefas
        
        uma ou mais tarefas envolvidas no impasse têm sua execução parcialmente desfeita (uma técnica chamada rollback), de forma a fazer o sistema retornar a um estado seguro anterior ao impasse.
        
        Eliminar tarefas
        
        uma ou mais tarefas envolvidas no impasse são eliminadas, liberando seus recursos para que as demais tarefas possam prosseguir.
    - - As técnicas de prevenção de impasses buscam garantir que impasses nunca possam ocorrer no sistema.
        
        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, de acordo com sua lógica interna. Se for possível “arrancar” um recurso da tarefa, sem que esta o libere explicitamente, impasses envolvendo aquele recurso não poderão ocorrer.
        
        Exclusão mútua
        
        se não houver exclusão mútua no acesso a recursos, não poderão ocorrer impasses. Mas, como garantir a integridade de recursos compartilhados sem usar mecanismos de exclusão mútua? Uma solução interessante é usada na gerência de impressoras: um processo servidor de impressão (printer spooler) gerencia a impressora e atende as solicitações dos demais processos.
        
        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. A estratégia mais simples para prevenir a formação de ciclos é ordenar todos os recursos do sistema de acordo com uma ordem global única, e forçar as tarefas a solicitar os recursos obedecendo a essa ordem