Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
Mas par deve aguardar todos os procedimentos terminarem. Para conseguirmos isso
precisaremos de mutexes e variáveis de condição. O procedimento par deve então criar
uma lista de variáveis de condição, cada uma com um mutex associado, e travar todos os
mutexes. Em seguida, inicia os procedimentos, mas determina que cada um deles fará
um condition-variable-signal! em sua variável de condição. A última parte de par
simplesmente espera que todos os signals tenham acontecido.
( define-syntax dotimes
( syntax-rules ()
((_ times body ...)
(do ((i 0 (+ 1 i )))
((= i times ))
body ...))))
( define par
( lambda procs
( let ((n ( length procs )))
( let (( procs-to-wait ( make-semaphore 0)))
( start-parallel-procedures ! procs
procs-to-wait
add-to-queue !)
( dotimes n
( semaphore-wait ! procs-to-wait ))))))
Cada procedimento na lista passada pada par é transformado em outro, que após terminar
sinaliza sua variável de condição. O último argumento para start-parallel-proc!
é o procedimento que adiciona um item de trabalho ao pool de threads.
Versão Preliminar
( define start-parallel-procedures !
( lambda ( procs procs-to-wait add-to-queue !)
( let (( new-proc-list
( map ( lambda ( proc )
( lambda ()
( proc )
( semaphore-signal-by ! procs-to-wait 1)))
procs )))
( for-each add-to-queue ! new-proc-list ))))
Com isso é possível iniciar diversas threads:
282
[ 27 de outubro de 2010 at 15:47 ]