Spécification des systèmes distribués

Module de Master Technologies de l'Internet 1^ère année, Université de Pau et des Pays de l'Adour

Ce module s'intéresse à la spéficication des systèmes distribuées via l'étude d'algorithmes distribués (exclusion mutuelle, diffusion, consensus, ...).

• Cours
  • Cours 1 : Rappel sur ordre et temps logiques
  • Cours 2 : Modèlisation conceptuelle des systèmes distribués
  • Cours 3 : Exclusion mutuelle en distribuée
  • Cours 4 : Accord et coordination
• TD
• TD 1 : Diffusion causale
• TD 2 : Etude du modèle Linda de mémoire partagée
• TD 3 : Influence du contexte de faute

Ancienne partie TP qui a été supprimée

Les TPs de la partie algorithmique distribuée se basent sur un framework de communication.

• TP
  • TP 1 : prise en main du framework de communication
  • TP 2 : diffusion fiable et causale

Eric Cariou, dernière modification : 21/03/21