- - - - CENAPAD-MGCO

A seguir: Exercícios Acima: Exclusão Mútua Distribuída Anterior: Um Request visita um

Conclusões

Vimos diversas técnicas utilizadas em programação distribuída em sistemas de trocas de mensagens:

• grafos de precedência e sua representação distribuída
  • Chandy e Misra
  • Carvalho e Campos
  • Naimi-Trehel
• relógios lógicos e timestamps
  • Lamport
  • Ricart e Agrawala
  • Carvalho e Roucairol
  • Maekawa
  planos projetivos finitos
  • Maekawa
  • Carvalho e Campos

Vimos também o valor do formalismo quando usado desde a concepção de um algoritmo.

Não vimos:

• algoritmos de exclusão mútua tolerantes a falhas