Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Enquanto não há requisições disponíveis, este algoritmo permanecerá iterando e
verificando se o buffer está vazio ou não, e desta forma consumirá tempo de processamento
que poderia ser usado por outros processos. Idealmente, esta thread deveria ser bloqueada
quando o buffer estivesse vazio e acordada novamente somente quando houver requisições
no buffer.
Variáveis de condição permitem bloquear threads at que alguma condição seja satisfeita
– por exemplo, que um buffer não esteja vazio, ou que uma requisição seja feita.
Uma thread pode esperar por uma variável de condição; quando o fizer, será bloqueada
até que outra thread sinalize a variável.
O servidor inicia obtendo o mutex mutex_buffer_nao_vazio, e em seguida esperando
que a variável de condição associada a este mutex seja sinalizada. Se o servidor precisar
chamar wait, o mutex será automaticamente liberado quando esta thread for bloqueada.
Quando a thread do servidor for desbloqueada, ela automaticamente readquirirá o mutex.
Função servidor
repita sempre
lock mutex_buffer_nao_vazio
enquanto não buffer_nao_vazio faça
wait condvar_buffer_nao_vazio
r ← desenfilera buffer
trata r
se não há mais requisições então
buffer_nao_vazio ← F
unlock mutex_buffer_nao_vazio
As threads que produzem requisições e as enfilearm no buffer sinalizam a variável
buffer_nao_vazio para que alguma thread consumidora possa processar a requisição.
Função cliente
lock mutex_buffer_nao_vazio
enfilera buffer req
buffer_nao_vazio ← V
sinaliza buffer_nao_vazio
unlock mutex_buffer_nao_vazio
Versão Preliminar
Em Scheme usaremos variáveis de condição como definidas na SRFI-18.
[ 27 de outubro de 2010 at 15:47 ]
241