Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Há três mecanismos importantes para o suporte a programação concorrente do ponto
de vista do programador:
• Criação de threads ou processos: toda linguagem ou framework com suporte a programação
concorrente oferece algum meio para criação de threads e processos;
• Comunicação: a criação de múltiplos processos e threads não é interessante se não
puder haver alguma forma de comunicação entre eles. Isso normalmente é feito por
regiões compartilhadas de memória ou por troca de mensagens;
• Sincronização: embora não seja possível interferir diretamente no comportamento
do escalonador, deve haver algum método para restringir, de maneira limitada, sua
ordem de execução.
Linguagens e bibliotecas que suportam programação concorrente diferem em como
implementam estes mecanismos. É comum classificar linguagens e frameworks para programação
concorrente de acordo com seus mecanismos de comunicação e sincronização
em duas grandes classes: a das linguagens com memória compartilhada e as que suportam
passagem de mensagens.
As linguagens com memória compartilhada oferecem como mecanismo de comunicação
o compartilhamento de variáveis. O uso de uma mesma variável por mais de uma
thread gera a necessidade de mecanismos explícitos de sincronização que impeçam o
acesso e modificação desordenados daquela variável.
As linguagens que suportam passagem de mensagem oferecem um só mecanismo
para comunicação e sincronização: diferentes threads trocam mensagens, sem compartilhar
variáveis.
Para ilustrar a diferença entre as duas abordagens, pode-se imaginar um contador
que diferentes threads devem atualizar (um contador de acessos a algum recurso, por
exemplo). Usando memória compartilhada, cada thread acessa diretamente o contador e
o atualiza; as threads devem usar algum mecanismo de sincronização que garanta que o
acesso será feito de forma a preservar a consistência dos dados. Já usando mensagens, o
contador não é compartilhado – ele é acessado diretamente por apenas uma thread, e a
sua atualização é feita através de troca de mensagens entre as threads.
Versão Preliminar
226
[ 27 de outubro de 2010 at 15:47 ]