Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Figura 11.3: Um monitor com variáveis de condição não bloqueantes.
11.5.3 Exemplo: produtor-consumidor
Um monitor deverá encapsular o buffer e um contador que indicará a quantidade de itens
no buffer. Além disso, usará também duas variáveis de condição, cheio e vazio.
A função monitor/adiciona verifica se o buffer já está cheio (MAX é o tamanho
do buffer); se estiver, espera pela variável de condição cheio. Em seguida, adiciona o
elemento ao buffer e incrementa o contador. Se o valor do contador, após o incremento,
tiver o valor um, então o buffer estava vazio antes da inserção – e neste caso, chama
signal vazio para indicar à thread consumidora que o buffer não está mais vazio.
Função monitor/adiciona(e)
se contador = MAX então
wait cheio
adiciona buffer e
contador ← contador +1
se contador = 1 então
signal vazio
Versão Preliminar
A função monitor/remove espera até que haja itens no buffer, remove um item e
decrementa o contador. Se o contador, após o decremento, tiver o valor MAX − 1, então o
256
[ 27 de outubro de 2010 at 15:47 ]