Les algorithmes
distribués sont à la base de systèmes et applications réparties, comme par exemple : l’Internet, l’Internet des objets, le
Cloud, Bitcoin, etc. En plus des difficultés liées à la répartition
géographique et l’évolution dynamique de leurs composants, ces systèmes réels
sont soumis à des défaillances : arrêts de fonctionnement, corruptions de
mémoire, comportements de participants malveillants, etc. Pour garantir le
fonctionnement correct de tels systèmes, un enjeu majeur est de savoir gérer la
dynamique et les défaillances, qui se multiplient du fait du passage à la
grande échelle.
Ce module présente des modèles simples de systèmes distribués, décrit des algorithmes dans ces modèles, montre comment on peut les prouver et calculer leur complexité. De plus, le cours se focalise sur les deux techniques majeures pour tolérer les défaillances, qui sont la réplication suivie du consensus et l'auto-stabilisation.
- Enseignant: Janna Burman