Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| formations:masters:ue:m2:algrep10 [2023/04/21 09:34] – MEP treinen | 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, | ||