Changements mineurs

slides.md

@@ -35,7 +35,7 @@ Stanford University
 
 <header>
 
-# Consensus ?
+# Consensus
 
 </header>
 
@@ -57,7 +57,7 @@ Stanford University
 
 <header>
 
-# Architecture typique des systèmes de consensus
+# Organisation typique des state machine replication
 
 </header>
 
@@ -81,7 +81,19 @@ Stanford University
 
 <header>
 
-# Motivation ?
+# Paxos (Paxos Made Simple. Leslie Lamport, ACM SIGACT News, 2001.)
+
+</header>
+
+![bg 100%](figs/paxos.jpg)
+
+<!-- Clément -->
+
+---
+
+<header>
+
+# Le problème avec Paxos
 
 </header>
 
@@ -103,19 +115,7 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989)
 
 <header>
 
-# Paxos ?
-
-</header>
-
-![bg 100%](figs/paxos.jpg)
-
-<!-- Clément -->
-
----
-
-<header>
-
-# Les différences de RAFT ?
+# Une autre proposition : RAFT
 
 </header>
 
@@ -225,6 +225,19 @@ Terms identify obsolete information
 
 ![bg 70%](figs/leader-election.png)
 
+<!-- 
+
+RPC = Remote Procedure Call
+
+- Server starts as follower
+- Remain follower as long as it receive valid RPC from leader or candidate
+- Leader send periodicaly a heartbeat to retain its authority
+- When a follower does not receive any RPC for a period of time called "timeout election", it starts a new election and become a candidate
+
+- Chaque serveur vote un fois en First Come First Served (avec une petite restriction)
+
+-->
+
 <!-- Clément -->
 
 ---