Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Figura 13.1: Pilha implementada com atores.
A Figura 13.1 mostra dois atores usados para implementar uma pilha. Cada ator
contém um elemento e um link prox para o próximo. Desta forma a pilha se parecerá
com uma lista ligada – mas ela será ligada por endereços postais de atores, e não por
ponteiros;
def: no-pilha (conteudo, link)
mensagens:
POP: (cliente)
PUSH: (novo-conteudo)
comandos:
casos para msg
POP:
se conteudo ≠ nulo então
become link
send conteudo to cliente
PUSH:
seja P = new no-pilha (conteudo, link)
become new no-pilha (novo-conteudo, P)
Para criar um novo ator com comportamento no-pilha é necessário instanciar o
comportamento com new, passando a ele valores para as variáveis conteudo e link.
As mensagens aceitas por atores com comportamento no-pilha são POP e PUSH.
Quando uma mensagem POP for recebida, ela deverá trazer um valor, que será vinculado
Versão Preliminar
à variável cliente. Quando a mensagem for PUSH, o valor que vier com a mensagem será
vinculado à variável novo-conteudo. Antes de verificar a descrição dos comandos já é
possível intuir o que ambas mensagens fazem: POP removerá o ator que representa o topo
294
[ 27 de outubro de 2010 at 15:47 ]