Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Usaremos dois semáforos: um para controlar o acesso ao buffer e outro para indicar o
número de itens disponíveis:
mutex ← Semaphore(1)
itens ← Semaphore(0)
O produtor espera até que o buffer esteja disponível, inclui um item, libera o buffer e
finalmente sinaliza que há mais um item disponível:
Função produtor com sincronização
repita sempre
e ← gera_evento
wait mutex
add buffer, (e)
signal mutex
signal itens
O consumidor espera até que haja itens no buffer e decrementa o contador de itens,
adquire acesso exclusivo ao buffer e retira um item.
Função consumidor com sincronização
repita sempre
wait itens
wait mutex
e ← retira buffer
signal mutex
processa e
11.3.3 Exemplo: lightswitch
Quando uma estrutura pode ser lida por várias threads mas modificada por apenas uma,
pode-se usar um lightswitch (interruptor de luz), que é um padrão de uso de semáforos.
Faremos uma analogia com uma sala onde as threads entram: quando a primeira leitora
entra, ela liga a luz. Quando a última leitora sai, ela apaga a luz. A escritora só entrará na
Versão Preliminar
sala quando a luz estiver apagada.
Um semáforo será inicializado com zero. A primeira thread leitora bloqueia o acesso
da thread escritora; um contador é usado para lembrar quantas threads leitoras estão
[ 27 de outubro de 2010 at 15:47 ]
247