Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
O procedimento enfilera-processo inclui uma função que adiciona à lista o (let ...)
que:
• Primeiro, inclui a si mesmo no fim da fila e passa o controle para o primeiro da fila;
• Depois faz algo;
• Por último, chama a si mesmo (entra em loop).
( enfilera-processo
( lambda ()
( let f ()
( pause )
( display "O")
(f ))))
O procedimento enfilera-processo é usado para incluir tarefas na lista:
( for-each enfilera-processo
( list ( lambda () ( let f () ( pause ) ( display "l") (f )))
( lambda () ( let f () ( pause ) ( display "a’") (f )))
( lambda () ( let f () ( pause ) ( display "!") (f )))
( lambda () ( let f () ( pause ) ( newline ) (f )))))
E o procedimento start começa a processar as tarefas:
(start)
Na primeira chamada, cada processo chama pause e reinclui a si mesmo na fila; na
segunda, já começam os displays.
Esta seção trata apenas do mecanismo que intercala os processos, dando a ilusão
de que executam em paralelo. Um sistema de threads precisa também oferecer mecanismos
para garantir que os processos trabalhem de maneira ordenada, sem que o estado
das variáveis globais fique inconsistente. O Capítulo 10 tratará de threads com mais
profundidade.
Versão Preliminar
8.7 o goto funcional e cuidados com continuações
A seguinte chamada a call/cc ilustra um fato importante a respeito de continuações.
[ 27 de outubro de 2010 at 15:47 ]
211