ARA : Algorithmique répartie avancée
Cette UE a pour objectif l'acquisition de notions avancées sur les problématiques des algorithmes répartis, notamment en présence de fautes. Nous considérons plusieurs modèles de fautes : fautes franches de processus, comportements byzantins, fautes transitoires, etc., ainsi que des modèles de communication par passage de message et par mémoire partagée. Dans ce contexte, nous étudions des problèmes fondamentaux tels quels la détection de défaillances, les problèmes d'accord, les protocoles de diffusion fiables, ainsi que des techniques classiques de tolérance aux fautes comme les points de reprise, la réplication ou l'auto- stabilisation.
Le contenu de cette unité d'enseignement sensibilise également les étudiants à l'étude expérimentale d'algorithmes distribués à travers la simulation à évenement discret. La manipulation de ces simulateurs se fait en implantant d'une part quelques algortihmes vus en cours et d'autre part à travers la réalisation d'un projet d'étude expérimentale mettant l'accent sur la méthode scientifique. Les supports pédagogiques concernant la partie expérimentale sont diponibles sur la plateforme Moodle.
Le contenu de cette unité d'enseignement sensibilise également les étudiants à l'étude expérimentale d'algorithmes distribués à travers la simulation à évenement discret. La manipulation de ces simulateurs se fait en implantant d'une part quelques algortihmes vus en cours et d'autre part à travers la réalisation d'un projet d'étude expérimentale mettant l'accent sur la méthode scientifique. Les supports pédagogiques concernant la partie expérimentale sont diponibles sur la plateforme Moodle.