Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
13.1.2.1 Criação de processos paralelos
A criação de processos paralelos é essencial em programas concorrentes. O CSP permite
descrever o comportamento de processos paralelos de diversas maneiras, mas não sua
criação. De qualquer maneira, é necessário que as linguagens de programação ofereçam
suporte à criação de processos paralelos. O Capítulo 11 já discorreu sobre a criação de
threads em Scheme. Em occam, processos paralelos são criados mais livremente, e o
operador que cria processos paralelos é semelhante sintaticamente ao que cria processos
sequenciais:
PAR
x := f(a,b)
y := g(c,d)
O código occam acima executará em paralelo as funções f e g, atribuindo os resultados
a x e y. Já o trecho a seguir:
SEQ
x := f(a,b)
y := g(c,d)
executará a primeira linha completamente antes da segunda.
Podemos implementar em Scheme um forma sintática paralelizante no mesmo espírito
de occam. Já há em Scheme a forma begin, com função semelhante ao SEQ de occam;
precisamos apenas de uma forma especial parallel, que pudéssemos usar para paralelizar
uma lista de formas:
( parallel
( set ! x (f a b))
( set ! y (g c d )))
A implementação de parallel deve iniciar duas threads e garantir que as duas
tenham terminado antes de terminar. Uma maneira de realizar isto é usando um pool
de threads. Usaremos um procedimento par que recebe uma lista de procedimentos e os
inicia em paralelo. Uma primeira tentativa seria
( define par
Versão Preliminar
( lambda procs
( map add-work-item ! procs )))
[ 27 de outubro de 2010 at 15:47 ]
281