Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
12 PA S S AG E M D E M E N S AG E N S
Programas concorrentes podem ser elaborados sem o uso de memória compartilhada,
mantendo para cada processo um espaço de endereçamento próprio e um comportamento
relativamente independente. A sincronização entre processos se dá, então, por troca de
mensagens. Este Capítulo aborda esta abordagem.
Usando semáforos, construiremos diferentes mecanismos para troca de mensagens,
e depois mudaremos o foco para o uso destes mecanismos. No final do Capítulo discutiremos
duas idéias que podem, dependendo do ponto de vista, serem descritas como
paradigmas de programação: o CSP e o modelo Actor. O leitor encontrará uma discussão
de programação com passagem de mensagens em maior profundidade no livro de
Andrews [40].
12.1 mensagens assíncronas
Mensagens são enviadas de um processo a outro através de canais. Em um canal as
mensagens permanecem na ordem em que foram incluídas, até que sejam retiradas.
Quando a leitura e escrita de mensagens podem ser feitas por quaisquer processos,
chamaremos os canais de mailboxes.
Usaremos as seguintes primitivas para trabalhar com mailboxes:
• (mailbox-send! mailbox msg) envia a mensagem msg para mailbox. O processo
que enviou a mensagem não precisa ficar bloqueado;
• (mailbox-receive! mailbox [timeout [default]]) retira uma mensagem de mailbox
e a retorna. Se não houver mensagem disponível, a thread ficará bloqueada até
que uma mensagem chegue naquela caixa postal. Se timeout for definido, a thread
ficará bloqueada somente até que o prazo se esgote. Quando um prazo se esgotar,
Versão Preliminar
o valor default será retornado ou, se não houver default espeficado, uma exceção
será levantada;
[ 27 de outubro de 2010 at 15:47 ]
269