Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
Nossa implementação de mailbox é bastante simples, sem preocupação com eficiência,
porque sua função é ajudar a compreender o mecanismo.
Implementamos uma mailbox usando nossa implementação de fila, que ficará em
um fecho junto com um mutex e uma variável de condição. Usaremos um único mutex,
portanto somente uma operação poderá ser realizada em uma mailbox de cada vez.
( load " queues . scm ")
( define make-mailbox
( lambda ()
( let (( messages ( make-q ))
( messages-lock ( make-mutex ))
( messages-available ( make-condition-variable )))
( define send ! ...)
( define receive ! ...)
( lambda ( msg )
( case msg
(( send !) send !)
(( receive !) receive !))))))
( define ( mailbox-send ! m obj ) ((m ’send !) obj ))
( define ( mailbox-receive ! m) ((m ’receive !)))
Para receber uma mensagem, precisamos adquirir o mutex, verificar se a fila está vazia,
retirar a mensagem e liberar o mutex. Se a fila estiver vazia, chamamos mutex-unlock!
Versão Preliminar
para esperar até que outra thread inclua uma mensagem e sinalize a variável de condição
messages-available.
( define receive !
( lambda ()
( let loop ()
( mutex-lock ! messages-lock )
(if ( empty-q messages )
( begin
( mutex-unlock ! messages-lock messages-available )
( loop ))
( begin
270
[ 27 de outubro de 2010 at 15:47 ]