Algorithmique Distribuée

L'objectif du cours est d'introduire l'algorithmique distribuée et les fondements théoriques de la programmation concurrente.
Familiariser les étudiants avec
- les principaux modèles qui ont été proposés pour abstraire la grande variété de systèmes distribués existants qui vont des réseaux au machines multicœurs.
-les problèmes classiques (élection, consensus, exclusion mutuelle, broadcast, cohérence des données partagées, etc) et les principales techniques algorithmiques proposées pour les résoudre, tout en mettant en évidence le lien entre le modèle de calcul, la solution et leur complexité.
-les techniques pour garantir la tolérance aux pannes (e.g. replication)

Savoir concevoir des algorithmes distribués simples.

Enfin, ce cours présente différentes applications et problématiques actuelles pour montrer l'évolution des systèmes distribués et de leur applications (e.g. Bitcoin).