Bloqueio é um estado em que dois ou mais processos ficam presos num ciclo de espera um pelo outro para terminar uma tarefa. Os bloqueios podem ser um problema sério nos sistemas de software, uma vez que podem levar a uma falha do sistema. Neste artigo, vamos explorar o que é um impasse, as suas causas, condições, prevenção, detecção, estratégias de resolução, o seu impacto nos sistemas operativos, e alguns exemplos de impasse.

O impasse ocorre quando dois ou mais processos estão à espera de um recurso que está a ser retido pelo outro processo. Os processos ficam presos no ciclo de espera para que o outro processo termine, e nenhum deles pode avançar. Quando isto acontece, diz-se que o sistema se encontra num estado de impasse.

2. Causas do impasse

O impasse pode ser causado por uma série de factores, tais como contenção de recursos, atribuição inadequada de recursos, e falta de sincronização entre processos. A contenção de recursos ocorre quando dois ou mais processos tentam aceder ao mesmo recurso em simultâneo. A atribuição inadequada de recursos ocorre quando um processo requer mais recursos do que aqueles que pode tratar. A falta de sincronização entre processos leva a processos à espera de recursos que não estão disponíveis.

3. condições de impasse

Para que o impasse ocorra, devem ser cumpridas quatro condições. Primeiro, tem de haver pelo menos dois processos que estejam a tentar aceder ao mesmo recurso. Em segundo lugar, cada processo tem de possuir pelo menos um recurso. Terceiro, o processo tem de solicitar um recurso que esteja actualmente a ser retido por outro processo. Quarto, tem de haver um ciclo de processos à espera de recursos.

4. prevenção do impasse

O impasse pode ser evitado evitando a contenção de recursos, a atribuição adequada de recursos e a sincronização entre processos. A contenção de recursos pode ser evitada ao permitir apenas um processo de acesso a um recurso de cada vez. A alocação adequada de recursos pode ser conseguida assegurando que um processo requer apenas os recursos que pode tratar. A sincronização entre processos pode ser conseguida utilizando semáforos e outros mecanismos de sincronização.

5. Detecção de Deadlock

O Deadlock pode ser detectado examinando o estado do sistema. Se dois ou mais processos estiverem presos num ciclo de espera um pelo outro, então é provável que o sistema esteja num estado de impasse. O impasse também pode ser detectado através do exame da utilização dos recursos dos processos. Se os processos estiverem à espera de recursos que não possam adquirir, então é provável que se encontrem num estado de impasse.

6. Estratégias de resolução de bloqueios

Os bloqueios podem ser resolvidos prevenindo um recurso ou matando um processo. Pre-empender um recurso implica suspender temporariamente o processo que está a reter o recurso. O recurso é então libertado e o outro processo pode adquiri-lo. Matar um processo envolve terminar o processo que detém o recurso e liberar o recurso.

7. Bloqueio nos sistemas operativos

O bloqueio pode ser um problema grave nos sistemas operativos. Se ocorrer um impasse, pode levar a um colapso do sistema. Para evitar isto, os sistemas operativos utilizam algoritmos de detecção e resolução de bloqueios. Estes algoritmos detectam e resolvem bloqueios mortos antes de poderem causar uma falha do sistema.

8. Exemplos de impasse

Um exemplo de impasse é o problema dos filósofos da restauração. Este problema envolve cinco filósofos sentados à volta de uma mesa. Cada filósofo está a tentar comer a sua refeição, mas todos eles devem usar os mesmos pauzinhos. Se cada filósofo estiver a segurar um pauzinho, então todos eles ficarão presos num ciclo de espera para que o outro solte o seu pauzinho. Isto pode conduzir a um estado de impasse.