diff --git a/slides.md b/slides.md index a3217d1..7837188 100644 --- a/slides.md +++ b/slides.md @@ -27,6 +27,8 @@ Stanford University (2014) + + --- @@ -49,12 +51,16 @@ Stanford University - La majorité des serveurs HS: perte de disponibilité, maintien de la cohérence - La clé pour construire des systèmes de stockage cohérents + + ---
# Architecture typique des systèmes de consensus +
+ ![bg 95%](https://ongardie.net/static/coreosfest/slides/rsm.svg) @@ -69,7 +75,7 @@ Stanford University --> - + --- @@ -91,6 +97,14 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989) > There are significant gaps between the description of the Paxos algorithm and the needs of a real-world system…the final system will be based on an unproven protocol. – [Chubby](https://research.google/pubs/pub27897/) authors + + +--- + +Slides PAXOS TODO + + + ---
@@ -101,6 +115,8 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989) + + ## Prendre des décisions de conception fondées sur la compréhensibilité @@ -115,6 +131,8 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989) - Minimiser le non-déterminisme - Maximiser la cohérence + + ---
@@ -133,6 +151,8 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989) - Maintenir la cohérence des journaux - Seuls les serveurs dont les journaux sont à jour peuvent devenir des leaders + + ---
@@ -162,6 +182,8 @@ Leader: Issues AppendEntries RPCs: --> + + ---
@@ -185,6 +207,8 @@ Terms identify obsolete information --> + + ---
@@ -195,11 +219,13 @@ Terms identify obsolete information ![bg 70%](figs/leader-election.png) + + ---
-# Exactitude des élections +# Correction des élections
@@ -210,9 +236,11 @@ Terms identify obsolete information - Vivacité: un candidat doit finir par gagner - Délais d'expiration des élections aléatoire dans $[T, 2T]$ (i.e. 150-300 ms) - Le serveur gagne l'élection en dépassant le délai d'attente avant les autres - - Fonctionne bien si $T \gg T_{\text{diffusion}}$ + - Fonctionne bien si $\text{MTBF} \gg T \gg T_{\text{diffusion}}$ - Approche aléatoire plus simple que les autres comme le ranking + + ---
@@ -334,6 +362,16 @@ AppendEntries RPCs include of entry preceding new one(s)
+# Changement de composition du cluster + +
+ +TODO insérer figure 11 + +--- + +
+ # De nombreuses implémentations
@@ -348,6 +386,8 @@ AppendEntries RPCs include of entry preceding new one(s) | akka-raft | Konrad Malawski | Scala | Apache2 | | kanaka/raft.js | Joel Martin | Javascript | MPL-2.0 | + + ---
@@ -358,6 +398,8 @@ AppendEntries RPCs include of entry preceding new one(s) ![bg 90%](https://ongardie.net/static/coreosfest/slides/timeoutcdf.svg) + + ---
@@ -386,3 +428,5 @@ AppendEntries RPCs include of entry preceding new one(s) ![bg 70%](https://ongardie.net/static/coreosfest/slides/studyscatter.svg) ![bg 90%](https://ongardie.net/static/coreosfest/slides/survey.svg) + +