Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( let (( msg ( dequeue ! messages )))
( mutex-unlock ! messages-lock )
msg ))))))
A implementação de send! é bastante simples. Após enfileirar a mensagem, sinaliza
a variável de condição.
( define send !
( lambda ( msg )
( mutex-lock ! messages-lock )
( enqueue ! msg messages )
( condition-variable-signal ! messages-available )
( mutex-unlock ! messages-lock )))
Primeiro testamos nossa mailbox com uma única thread. Criamos uma mailbox m e
enviamos três mensagens:
(define m (make-mailbox))
(mailbox-send! m 1)
(mailbox-send! m 20)
(mailbox-send! m 300))
Tentamos então receber as três mensagens.
(mailbox-receive! m)
1
(mailbox-receive! m)
20
(mailbox-receive! m)
300
Versão Preliminar
Se tentássemos receber mais uma mensagem, a única thread ativa (que está executando
o REPL) ficaria bloqueada aguardando que alguém sinalizasse a variável
messages-available – mas isso nunca acontecerá, porque não há outra thread que
possa fazê-lo.
Agora realizamos um pequeno teste com duas threads. Uma thread enviará três
mensagens, com um intervalo de três segundos entre a segunda e a terceira; a outra
receberá e mostrará as mensagens.
[ 27 de outubro de 2010 at 15:47 ]
271