Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( define ( mailbox-sync-receive ! m) ((m ’ sync-receive !)))
Para enviar uma mensagem, é necessário esperar até que o mailbox esteja vazio e
adquirir o mutex. Depois, modificar o conteúdo de data, indicar que o mailbox está cheio
e notificar alguma thread que possa estar esperando para ler, e em seguida liberar o
mutex.
( define ( sync-send ! obj )
( mutex-lock ! mutex )
(if full
( begin
( mutex-unlock ! mutex put-condvar )
( sync-send ! obj ))
( begin
( set ! data obj )
( set ! full #t)
( condition-variable-signal ! get-condvar )
( mutex-unlock ! mutex message-was-read ))))
Para receber, esperamos até que o mailbox esteja cheio e adquirimos o mutex. Depois
lemos o conteúdo de data, marcamos o mailbox como vazio e sinalizamos duas variáveis
de condição: uma para alguma thread que esteja esperando para enviar nova mensagem,
e outra para a therad que estava esperando após enviar a mensagem que acabamos de ler.
Finalmente, liberamos o mutex e retornamos o valor da mensagem.
( define ( sync-receive !)
( mutex-lock ! mutex )
(if ( not full )
( begin
( mutex-unlock ! mutex get-condvar )
( sync-receive !))
( let (( result data ))
( set ! data #f)
( set ! full #f)
( condition-variable-signal ! message-was-read )
Versão Preliminar
( condition-variable-signal ! put-condvar )
( mutex-unlock ! mutex )
result )))
[ 27 de outubro de 2010 at 15:47 ]
275