Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
O procedimento make-condition-variable retorna uma nova variável de condição;
o predicado condition-variable verifica se um objeto é variável de condição. Para
sinalizar uma variável de condição usamos condition-variable-signal!.
Para esperar por uma condição chamamos mutex-unlock! com um terceiro argumento:
(mutex-unlock! mutex variavel) libera mutex e bloqueia a thread até que
variavel seja sinalizada.
A SRFI-18 dá como exemplo de uso típico de variáveis de condição o trecho de código
a seguir.
( let loop ()
( mutex-lock ! m)
(if ( condition-is-true )
( begin
( do-something-when-condition-is-true )
( mutex-unlock ! m))
( begin
( mutex-unlock ! m cv)
( loop ))))
Implementamos agora uma solução para o problema do produtor/consumidor usando
variáveis de condição.
Usaremos a implementação de fila da Seção 3.3.2.
( load " queues . scm ")
Criamos uma fila q para servir de buffer, um mutex e uma variável de condição.
( define q ( make-q ))
( define lock ( make-mutex ))
( define not-empty ( make-condition-variable " not-empty "))
Versão Preliminar
O produtor cria listas da forma (i2i), e segue incluindo itens no buffer e incrementando
i.
Após criar um item, adquire o mutex, enfilera o item, e sinaliza a variável de condição
not-empty, desbloqueando a thread consumidora se ela estiver bloqueada. Logo em
seguida, libera o mutex, incrementa seu contador e volta ao início do laço.
( define produce
( let ((i 0))
242
[ 27 de outubro de 2010 at 15:47 ]