Algorithmique Répartie Avancée
ara

Cette UE a pour objectif fournir aux étudiants des notions avancées sur les problématiques des algorithmes répartis. Elle comprend les enseignements suivants :

. protocoles de diffusion : cours_intro_diffusion

. techniques de point de reprise : cours_Ckpt

. auto-stabilisation :cours_intro , cours_Djikstra , cours_arbre_couvrant

. détecteurs de défaillances : cours_FD

. mémoire partagée : cours_MemPart

. consensus : cours_Paxos

. Problèmes d’accord : cours_PbAccord

Devoir ARA : correction de la définition propriété SRP :SRP

 
Documents utiles
Protocole diffusion
Checkpointing
Intro_auto_stab
Dijkstra_auto_stab
Arbres_couvrant_aut_stab
Detecteur défaillance
mémoire partagée
Consensus Paxos
Problèmes d’accord
Propriété SRP : correction