Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( letrec (( local-control-state
( lambda ( arg ) body ...))
( resume
( lambda (c v)
( call /cc
( lambda (k)
( set ! local-control-state k)
(c v ))))))
( lambda (v)
( local-control-state v ))))))
A macro coroutine usa dois argumentos seguidos de várias formas: o primeiro
argumento, arg, é o argumento inicial para a co-rotina; o segundo, resume, é o nome do
procedimento que será usado para transferir o controle para outra co-rotina; após os dois
argumentos vem o corpo da co-rotina.
Dentro do letrec criamos uma variável local-control-state, que sempre terá como
valor o ponto de entrada corrente para esta co-rotina. Inicialmente, este ponto de entrada
é o procedimento (lambda (arg) body ...), mas cada vez que o controle deixar esta
co-rotina, o valor desta variável passará a ser a continuação corrente. A outra variável local,
resume, será trocada pelo nome que o programaor der ao procedimento de transferência
de controle; este procedimento aceita dois argumentos, c e v – o primeiro é o procedimento
para o qual queremos transferir o controle e o segundo é o argumento que passaremos
para este outro procedimento. Após chamar call/cc, o procedimento resume guarda a
coninuação corrente em local-control-state, para que seja possível retomar mais tarde,
e chama c com argumento v. Em seguida, local-control-state é chamado.
Quando outra co-rotina chamar retornar a esta, também chamará o procedimento
Versão Preliminar
local-control-state, retornando assim ao ponto onde esta rotina havia sido interrompida.
O exemplo a seguir mostra duas co-rotinas, ping e pong, transferindo controle entre
si várias vezes.
( define write-line
( lambda ( line )
( display line )
( newline )))
;; Como faremos referência a pong antes de definí-lo como
208
[ 27 de outubro de 2010 at 15:47 ]