Année
2006-2007
Algorithmique et techniques de base des
systèmes répartis
S. Krakowiak
La page web du cours est http://sardes.inrialpes.fr/~krakowia/Enseignement/M2R-SL/SR
24 heures en 8 séances
de 3 heures (2 x 1h30).
Heures et lieux : jeudi 9h45-11h15 et 11h30-13h, salle F117 (UFR Informatique et Math.
appliquées, campus), sauf indications
ci-dessous.
Premier cours : jeudi 12 octobre 2006. Pas de cours le 30 novembre.
Le plan est indicatif et sujet
à modifications. Consulter les mises
à jour
Séance
1 (12/10/06)
- Introduction,
problèmes de la répartition, plan du cours.
- Le modèle asynchrone ; causalité, horloges logiques
- Utilisation des horloges logiques : exclusion mutuelle
- État d’un
système réparti, coupures cohérentes
Séance
2 (19/10/06)
- Enregistrement d'un
état ; techniques coordonnées, reconstruction
- Propriétés
stables et instables.
- Horloges vectorielles et
matricielles, relations avec les coupures ; application à la
diffusion causale.
- Horloges physiques.
Séance 3 (26/10/06)
- Revue des algorithmes
répartis de base.
- Utilisation d'un anneau :
algorithmes à jeton, exclusion mutuelle, élection,
terminaison.
- Utilisation d'un arbre :
exclusion mutuelle, terminaison
- Tolérance aux
fautes. Introduction, terminologie, techniques de base
Séance
4 (9/11/06)
- Approches pratiques de la
tolérance aux fautes.
- Réalisation d'un
serveur disponible
- serveur primaire
- redondance active
- Validation (2 phases, 3 phases, avec diffusion)
Séance
5 (16/11/06)
- Introduction au consensus
- Consensus synchrone avec pannes franches
- Consensus asynchrone avec
pannes franches
- Consensus avec
détecteurs de pannes non fiables
Séance
6 (23/11/06)
- Pannes byzantines en synchrone et asynchrone
- Réalisation du consensus
- Applications
- Relations entre validation
et consensus
- Diffusion
- Diffusion fiable et
groupes de processus
- Diffusion atomique
Séance
7 (30/11/06)
- Gestion d'informations réparties
- Duplication et
cohérence
- Modèles de cohérence
- Protocoles de gestion de données dupliquées
- Mode déconnecté
Séance
8 (7/12/06)
- Diffusion épidémique
- Techniques pair à pair et tables de hachage
distribuées
- Fonctionnement d'un
système en mode dégradé, mesures de la disponibilité
- Réparation
- Localisation de pannes logicielles
- Reprise
Dernière mise à jour : 11 octobre 2006