Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
12.1.2 Exemplo: filtros e redes de intercalação
12.1.3 Timeout
12.1.4 Seleção de mensagens por predicado
12.1.5 Seleção de mensagens por casamento de padrões
12.2 mensagens síncronas
Como não há a possibilidade de acúmulo de mensagens, não pracisamos de uma fila;
usaremos uma variável local data para armazenar a mensagem, além de uma variável
full para indicar se o mailbox está cheio.
Precisaremos de três variáveis de condição: duas que determinam quando um send
ou receive podem iniciar (só podemos iniciar o envio quando o mailbox estiver vazio, e
só podemos ler quando estiver cheio), e uma que determina quando o remetente pode
continuar (só após o destinatário ter lido a mensagem e esvaziado a mailbox).
( define ( make-empty-mailbox )
( let (( mutex ( make-mutex ))
( put-condvar ( make-condition-variable ))
( get-condvar ( make-condition-variable ))
( message-was-read ( make-condition-variable ))
( full #f)
( data #f))
( define sync-send ! ( lambda ( msg ) ...)
( define sync-receive ! ( lambda () ...)
Versão Preliminar
( lambda ( msg )
( case msg
(( sync-send !) sync-send !)
(( sync-receive !) sync-receive !)
( else ( error " unknown message " ))))))
( define ( mailbox-sync-send ! m obj ) ((m ’ sync-send !) obj ))
274
[ 27 de outubro de 2010 at 15:47 ]