O Problema dos Filósofos Sedentos

UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

Cada filósofo (processo) está em um vértice de um grafo G não dirigido
Pode estar em um de três estados:

1.
tranquilo
2.
sedento
3.
bebendo
A cada aresta de G está associada uma garrafa disputada por dois filósofos
Um filósofo só bebe de garrafas associadas a arestas incidentes
Um filósofo tranquilo pode ser acometido de sede por um coquetel (conjunto de garrafas) específico
Um filósofo sedento pode desejar diferentes coquetéis para cada drinque
De posse das garrafas que compõem o coquetel desejado, o filósofo pode começar a beber
Após um tempo finito bebendo, o filósofo volta a ficar tranquilo
Um filósofo permanece tranquilo por um tempo arbitrário

Condições para uma solução:

Equidade:	nenhum filósofo morre de sede
Simetria:	mesmos direitos e deveres
Concorrência:	drinques simultâneos de garrafas distintas não devem ser proibidos
Economia:	um filósofo troca um número finito de mensagens para uma transição de estado
Limites:	o número e o tamanho das mensagens em trânsito é limitado

Next: O Problema dos Filósofos Up: The Drinking Philosophers Problem[#!Drinking!#] Previous: Grafo de Precedências