Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
O objeto umObjeto pode conter referências ao objeto A, e o método fazAlgo pode
chamar métodos que modificam a variável saldo. Isto torna difícil raciocinar localmente a
respeito dos métodos de cada objeto.
O conceito de herança torna a situação um pouco mais difícil: mesmo que saibamos
que umObjeto é uma instância de umaClasse, e que então inspecionemos o método
umaClasse.fazAlgo() para nos certificarmos que ele não modifica saldo, não sabemos se
umObjeto é instância de uma subclasse de umaClasse com uma implementação diferente
de fazAlgo().
Estes problemas ficam mais delicados quando há várias threads em execução em um
mesmo momento. Em um programa sequencial há uma única thread e os objetos ficam,
na maior parte do tempo, “inanimados”, esperando pela ativação de seus métodos. Com
muitas threads, um objeto pode ser usado e modificado por qualquer uma das threads.
Isto leva à necessidade do uso de monitores, trazendo mais complexidade ao trabalho do
programador.
Em uma linguagem baseada no CSP, o valor de saldo após a execução das duas
linhas mostradas a seguir é zero, porque o envio de uma mensagem por um canal não
pode modificar variáveis locais do processo.
saldo ← 0;
umCanal ! algo;
13.1.2 Conceitos fundamentais do CSP
Linguagens baseadas no CSP não apresentam os problemas descritos na seção anterior,
uma vez que não há compartilhamento de variáveis entre threads. Há bibliotecas e
linguagens que suportam troca síncrona de mensagens, com diferentes graus de aderência
ao CSP. Esta seção passa apenas uma idéia básica do que é o CSP para que possamos
discutir as primitivas de programação usadas naquelas linguages, sem entrar em detalhes
do formalismo subjacente. O leitor interessado em conhecer melhor o CSP encontrará
uma exposição excelente no livro de Roscoe [48].
Versão Preliminar
Os principais conceitos usados na construção de programas concorrentes em linguagens
baseadas no CSP são elencados a seguir.
280
[ 27 de outubro de 2010 at 15:47 ]