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

A seguir: Filósofos Sedentos: o Grafo Acima: The Drinking Philosophers Problem[#!Drinking!#] Anterior: A Solução Higiênica: Regras

A Solução Higiênica: Condições Iniciais

1.

Todos os garfos estão sujos :

$$\forall f, dirty_{u}(f) \vee dirty_{v}(f)$$

2.

Todo garfo f e o request token associado estão com vizinhos distintos

$$\begin{array} {c} fork_{u}(f), reqf_{v}(f), \neg fork_{v}(f... ...), reqf_{u}(f), \neg fork_{u}(f), \neg reqf_{v}(f) \end{array}$$

3.

Os garfos estão dispostos de maneira a fazer H acíclico