- - - - CENAPAD-MGCO

A seguir: Regra da Aciclicidade Acima: The Drinking Philosophers Problem Anterior: Exemplos de Grafos de

Modificando o Grafo de Precedências

• H só pode ser modificado por mudanças nas direções das arestas
• Proposta: implementação distribuída de H que garanta que

  1.

  H permanece acíclico

  2.

  H seja modificado de maneira a garantir que todo processo em conflito chegue à profundidade 0 num tempo finito

  3.

  toda mudança em H possa ser feita localmente