É objetivo da disciplina sistemas operacionais “descrever como funciona a prevenção de impasses”. ?

ok

É objetivo da disciplina Sistemas operacionais “descrever como funciona a prevenção de impasses”. Com base nesse objetivo, foi definido o trabalho da unidade 4, que consistirá na verificação de um programa com três threads que executam concorrentemente, competindo por recursos do sistema.

O trabalho é importante para que você compreenda os problemas que podem ocorrer em um sistema quando existe a concorrência por seus recursos.

Foi desenvolvido um sistema que possui três procedimentos que são executados concorrentemente dentro de um processo. Tais procedimentos são denominados Proc_A, Proc_B e Proc_C. A listagem com o programa em português estruturado encontra-se no final deste texto.

Os procedimentos citados concorrem pela utilização de três recursos:

Impressora.

Plotter.

Scanner.

Cada um desses recursos pode estar alocado a somente um procedimento por vez. O controle do acesso aos recursos é realizado por intermédio de semáforos. Como você sabe, a utilização de semáforos faz com que, se um recurso estiver em uso por um procedimento, e um segundo procedimento tentar alocá-lo, esse segundo procedimento ficará bloqueado até que o procedimento que detém o recurso o libere.

O procedimento “aloca_impressora()” permitirá que o procedimento continue sua execução e a alocará para ele se a impressora estiver disponível, caso contrário o procedimento será bloqueado até que a impressora esteja disponível para alocação. Realiza a operação “down” no semáforo da impressora.

Os procedimentos “aloca_plotter()” e “aloca_scanner()” funcionam de forma semelhante para o plotter e o scanner.

O procedimento “libera_impressora()” faz a liberação da impressora para que possa ser utilizada por outro procedimento. Caso algum procedimento esteja bloqueado aguardando pela liberação da impressora, ele será desbloqueado, e a impressora será alocada para ele. Realiza a operação “up” no semáforo da impressora.

Os procedimentos “libera_plotter()” e “libera_scanner()” funcionam de forma semelhante para o plotter e o scanner.

O procedimento “processa_algo()” simplesmente representa alguma tarefa que o realiza em determinados momentos.