#Systèmes distribués — Slides
Objectif: raisonner correctement sans horloge fiable, tolérer les pannes sans sacrifier la cohérence là où elle est critique, et mesurer ce qui se passe réellement dans le réseau. On parcourt modèles de pannes, horloges logiques, réplication, consensus, partitionnement et observabilité.
Conception pragmatique: minimiser la coordination, isoler les invariants, et accepter la convergence asynchrone partout où c’est acceptable pour l’utilisateur.