Polytech · F. Baude
Plusieurs machines, aucune mémoire commune, aucune horloge commune, juste des messages. Modèle, actions gardées, élection de leader, temps et complexité.
Modèle, actions gardées, temps, Chang & Roberts, Franklin, Probe-Echo, Bully, exercices corrigés
Horloges physiques, causalité, horloges de Lamport et vectorielles, coupures cohérentes, Chandy-Lamport, TD2 corrigé
Modèles de faute, coupures cohérentes, effet domino, ligne de recovery, checkpointing coordonné/CIC, Chandy-Lamport, message logging, homework et exercices corrigés
Liens fair-loss, têtus et parfaits, BEB, RB, URB, détecteur de pannes, ordres FIFO, causal et total, horloges vectorielles et de Lamport, exercices corrigés
FLP, détecteurs P, S, ◇P, ◇S, consensus hiérarchique (uniforme ou non), Chandra-Toueg, Paxos et Ring Paxos, CAP, cohérence à terme et Dynamo, exercices corrigés
ACID, 2PC et 3PC, détection de terminaison (4 compteurs, Misra, Dijkstra-Feijen-van Gasteren), détection d'interblocage (Chandy-Misra-Haas), TD corrigé
Contrôle du 2 novembre : ce qui tombe d'après les annales, fiches par chapitre, quel algorithme quand, pièges, recap PDF imprimable en couleur et en noir et blanc