Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
O produtor e o consumidor executam os laços simples mostrados a seguir.
Função produtor
repita sempre
e ← gera_evento
adiciona buffer, e
Função consumidor
repita sempre
e ← retira buffer
processa e
10.2.2 Jantar dos Filósofos
Para ilustrar o problema da sincronização entre procesoss, Edsger Dijkstra descreveu
uma situação em que cinco processos tentam adquirir cinco recursos compartilhados.
Para descrever esta situação usa-se como analogia um jantar de cinco filósofos. Os cinco
filósofos sentam-se a uma mesa redonda, cada um com um prato à sua frente, e entre
cada dois pratos há um garfo (a Figura 10.3 mostra um diagrama da mesa). Os filósofos
só conseguem comer com dois garfos de cada vez, e portanto não há garfos para todos;
quando um filósofo não estiver comendo, permanecerá pensando. Encontrar um algoritmo
para permitir que todos os filósofos comam sem que haja deadlock ou starvation é um
bom exercício, embora aparentemente um exercício inútil e distante da realidade 2 . Os
problemas enfrentados e as técnicas utilizadas são os mesmos presentes na atividade de
programação concorrente “no mundo real”.
Versão Preliminar
2 A analogia talvez não tenha sido a melhor possível – não há notícia de muitas pessoas que comam macarrão
com dois garfos, menos ainda de pessoas que compartilhem garfos com dois vizinhos durante uma refeição.
Pode-se ainda questionar se os filósofos nunca se saciarão, por exemplo. No entanto, por mais alheia que
seja à realidade (ou talvez por isso), a analogia foi bem-sucedida, uma vez que consta de quase todo livro a
respeito de programação concorrente.
236
[ 27 de outubro de 2010 at 15:47 ]