Algorithmique distribuée

L’objectif de ce module est de présenter des problématiques liées aux systèmes distribués. Au travers d’algorithmes classiques le cours abordera des problématiques comme l’exclusion mutuelle, l’élection de leader ou la détection de terminaison. Il présentera également des techniques utiles dans ce contexte, comme l’utilisation d’horloges logiques ou d’algorithmes par vagues.

Prérequis

Connaissances fondamentales en algorithmique.

Acquis d’apprentissage

  • Connaître les problématiques classiques des systèmes distribués et des algorithmes pour y répondre.
  • Concevoir et assurer la correction d’algorithmes distribués adaptés à un objectif donné et un niveau de défaillance des processus participants.

Compétences visées

  • Concevoir des algorithmes et des logiciels corrects.