Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
formations:masters:ue:m2:algrep10 [2023/04/21 09:12] – supprimée - modification externe (Unknown date) 127.0.0.1 | formations:masters:ue:m2:algrep10 [2023/04/21 09:37] (Version actuelle) – [Pré-requis] MEP treinen | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | ~~NOTOC~~ | ||
+ | |||
+ | ====== Algorithmique répartie ====== | ||
+ | |||
+ | ===== Description ===== | ||
+ | Ce cours est une initiation aux problèmes de l' | ||
+ | |||
+ | |||
+ | ===== Syllabus ===== | ||
+ | * Introduction et présentation générale | ||
+ | * Partie I: algorithmes classiques | ||
+ | * Construire un état global à partir d’états locaux | ||
+ | * Exemple de la terminaison distribuée | ||
+ | * Algorithmes de vagues et de traversée, probe-echo, gossip etc… | ||
+ | * Snapshot | ||
+ | * Election de leader | ||
+ | * Réseaux anonymes, | ||
+ | * Introduction à l’auto-stabilisation: | ||
+ | * Partie II: algorithmique tolérante aux pannes | ||
+ | * Défaillances des liens de communications: | ||
+ | * Modèle synchrone avec défaillances de processus | ||
+ | * Consensus | ||
+ | * Accord byzantin | ||
+ | * « commit »: 2-phase et 3-phase commit | ||
+ | * Modèle asynchrone avec défaillances | ||
+ | * Diffusion fiable, diffusion atomique | ||
+ | * Impossibilité du consensus et ses conséquences | ||
+ | | ||
+ | ==== Sujets centraux ==== | ||
+ | Algorithmes de l' | ||
+ | Modèle avec envoi/ | ||
+ | Synchrone/ | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ==== Sujets potentiellement traités ==== | ||
+ | Problème de la construction d'un état globe du système à partir des états locau. | ||
+ | Problème de l' | ||
+ | |||
+ | ===== Pré-requis ===== | ||
+ | Aucun pré-requis, | ||