Sistema de informação

116 / Arquitetura de Sistemas Operacionais
Apesar de o algoritmo apresentado resolver a questão da sincronização condicional, o problema da espera ocupada também se faz presente, sendo somente solucionado pe-los mecanismos de sincronização semáforos e monitores.
7.7 Semáforos
O conceito de .semáforos foi proposto por E. W. Dijkstra em 1965, sendo apresentado como um mecanismo de sincronização que permitia implementar, de forma simples, a exclusão mútua e a sincronização condicional, entre processos. De fato. o uso de semá-foros tornou-se um dos principais mecanismos utilizados em projetos de sistemas operacionais e em aplicações concorrentes. Atualmente, a maioria das linguagens de programação disponibiliza rotinas para uso de semáforos.
Um semáforo é uma variável inteira, não-negativa, que só pode ser manipulada por duas instruções: DOWN e UP, também chamadas originalmente por Dijkstra de ins-truções P (proheren, teste em holandês) e V (verhogen. incremento em holandês). As instruções DOWN e UP são indivisíveis, ou seja. a execução destas instruções não pode ser interrompida. A instrução ÜP incrementa uma unidade ao valor tio se-máforo, enquanto a DOWN decrementa a variável. Como, por definição, valores negativos não podem ser atribuídos a um semáforo, a instrução DOWN executada em um semáforo com valor O faz com que o processo entre no estado de espera. Em geral, essas instruções são implementadas no processador, que deve garantir todas essas condições.
Os semáforos podem ser classificados como binados ou contadores. Os semáforos binários, também chamados de miirexes (mutual excluxion. senmphores)* só podem assumir os valores O e l. enquanto os semáforos contadores podem assumir qualquer valor inteiro positivo, além do 0.
A seguir, será apresentado o uso de semáforos na implementação da exclusão mútua e da sincronização condicional. Ao final deste item, alguns problemas clássicos de sin-cronização são também apresentados.
7.7.1 exclusão mútua