Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
No modelo actor, um programa é composto de atores cujo comportamento consiste
em reagir a mensagens. Para cada mensagem recebida, o comportamento de um ator é
definido por uma tripla:
• Um número finito de mensagens que devem ser enviadas para outros atores;
• Um número finito de novos atores que devem ser criados;
• O novo comportamento do ator (que será usado quando a próxima mensagem for
recebida).
Por exemplo, um ator poderia receber dois tipos de mensagem, PING e PONG, e dar
uma resposta para cada uma:
• PING: envie ao cliente a mensagem “PING_OK” e mantenha o comportamento
anterior;
• PONG: envie a cliente a mensagem “PONG_OK” e mude o comportamento,
tornando-se um ator que ignora todas as mensagens.
Não há compartilhamento de variáveis ou estruturas de qualquer tipo. A única forma
de comunicação entre atores é a passagem de mensagens. Por isso é comum usar o nome
processo para falar do comportamento de atores – no entanto, as implementações do
modelo actor normalmente não mapeiam atores diretamente em processos do sistema
operacional, cuja criação e manutenção são caras; os atores funcionam como processos
leves.
As mensagens trocadas por atores são assíncronas: não há a necessidade de esperar
o destinatário para enviar a mensagem. Além disso, cada ator tem um buffer (também
chamado de caixa postal), onde mensagens são guardadas até que sejam processadas.
De maneira geral, linguagens que implementam o modelo actor oferecem garantia de
entrega para mensagens.
Mensagens são sempre enviadas a um endereço postal de algum ator. Um ator não
necessariamente conhece os endereços de todos os outros. Quando um ator A reage a
uma mensagem k e decide enviar outra mensagem m a algum outro ator B:
• O endereço de B já era conhecido de A antes de receber a mensagem k, ou
Versão Preliminar
• O enrereço de B estava contido na mensagem k, ou
• B é um novo ator, criado como resultado do processamento da mensagem k.
[ 27 de outubro de 2010 at 15:47 ]
289