Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
12.1.4 Seleção de mensagens por predicado . . . . . . . . . . . . . . . . . . 274
12.1.5 Seleção de mensagens por casamento de padrões . . . . . . . . . . . 274
12.2 Mensagens síncronas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274
12.2.1 Seleção de mensagens . . . . . . . . . . . . . . . . . . . . . . . . . . . 276
13 Formalismos e Paradigmas usando troca de mensagens 279
13.1 Communicating Sequential Processes e mensagens síncronas . . . . . . . . 279
13.1.1 Motivação: problemas com objetos . . . . . . . . . . . . . . . . . . . . 279
13.1.2 Conceitos fundamentais do CSP . . . . . . . . . . . . . . . . . . . . . 280
13.1.2.1 Criação de processos paralelos . . . . . . . . . . . . . . . . . 281
13.1.2.2 Eventos de comunicação . . . . . . . . . . . . . . . . . . . . 283
13.1.2.3 Escolha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286
13.1.3 occam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
13.2 O modelo Actor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288
13.2.1 Programando no modelo Actor . . . . . . . . . . . . . . . . . . . . . . 290
13.2.1.1 Comportamentos . . . . . . . . . . . . . . . . . . . . . . . . 290
13.2.1.2 Criação de atores . . . . . . . . . . . . . . . . . . . . . . . . 291
13.2.1.3 Criação de tarefas . . . . . . . . . . . . . . . . . . . . . . . . 291
13.2.1.4 Declarações de interface com o mundo externo . . . . . . . 291
13.2.1.5 O ator determina seu substituto . . . . . . . . . . . . . . . . 291
13.2.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292
13.2.2.1 Fatorial recursivo com mensagens . . . . . . . . . . . . . . 292
13.2.2.2 Pilha com troca de mensagens . . . . . . . . . . . . . . . . . 293
13.2.2.3 Quicksort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295
13.2.2.4 Programação genética . . . . . . . . . . . . . . . . . . . . . . 296
13.2.2.5 Fluxo em redes . . . . . . . . . . . . . . . . . . . . . . . . . . 297
13.2.3 Implementações do modelo Actor . . . . . . . . . . . . . . . . . . . . 297
13.3 Termite Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297
13.3.1 Facilidades de alto nível . . . . . . . . . . . . . . . . . . . . . . . . . . 299
13.3.1.1 Processamento seletivo de mensagens . . . . . . . . . . . . 299
13.3.1.2 Casamento de Padrões . . . . . . . . . . . . . . . . . . . . . 301
13.3.1.3 Procedimentos remotos síncronos . . . . . . . . . . . . . . . 302
13.3.2 Fechos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
13.3.3 Exceções e processos ligados . . . . . . . . . . . . . . . . . . . . . . . 302
Versão Preliminar
13.3.4 Continuações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
13.3.4.1 Migração de processos . . . . . . . . . . . . . . . . . . . . . 302
13.3.4.2 Clonagem de processos . . . . . . . . . . . . . . . . . . . . . 303
13.3.5 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303
vi
[ 27 de outubro de 2010 at 15:47 ]