UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: Algoritmo para Filósofos Sedentos
Acima: The Drinking Philosophers Problem[#!Drinking!#]
Anterior: A Solução Higiênica: Condições
- A solução higiênica é uma
implementação distribuída do grafo de precedências
- Olhando-se apenas o estado de um filósofo u,
só é possível
determinar a relação de precedência entre
u e um vizinho v se u detém fuv
- Garfos são utilizados como artefatos para
implementação de H
- Estado de um filósofo: par (estado faminto, estado sedento)
- Transições de um filósofo faminto:
- D1
- Um filósofo com sede e pensando fica com fome
- D2
- Um filósofo comendo mas sem sede
passa a pensar
- Regra para resolução de conflitos:
- D3
- O filósofo u só envia uma garrafa em resposta a
uma requisição de v sse
- u não precisa da garrafa, ou
- u não está bebendo e não detém fuv
- A notar que a decisão do envio da garrafa é baseada na
percepção local de
precedência
Osvaldo Carvalho