Filósofos Sedentos: o Grafo de Precedências

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 f_uv
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 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 f_uv
A notar que a decisão do envio da garrafa é baseada na percepção local de precedência

Next: Algoritmo para Filósofos Sedentos Up: The Drinking Philosophers Problem Previous: A Solução Higiênica: Condições