diff --git a/slides.md b/slides.md index 94272aa..7bcf736 100644 --- a/slides.md +++ b/slides.md @@ -170,7 +170,7 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989) 2. Réplication des logs (fonctionnement normal) - Le leader accepte les commandes des clients et les ajoute à son journal - Le leader réplique son journal aux autres serveurs (écrase les incohérences) -3. Sécurité +3. Sûreté - Maintenir la cohérence des journaux - Seuls les serveurs dont les journaux sont à jour peuvent devenir des leaders @@ -265,7 +265,7 @@ RPC = Remote Procedure Call -- Sécurité: autoriser au maximum un gagnant par mandat +- Sûreté: autoriser au maximum un gagnant par mandat - Chaque serveur ne donne qu'un seul vote par mandat (persistant sur disque) - Majorité requise pour gagner l'élection ![](figs/election-correctness.png) @@ -281,42 +281,6 @@ RPC = Remote Procedure Call
-# Démo interactive - -
- - - - - - - ---- - -
- # Structure des journaux
@@ -408,6 +372,42 @@ AppendEntries RPCs include of entry preceding new one(s)
+# Démo interactive + +
+ + + + + + + +--- + +
+ # Changement de composition du cluster