diff --git a/slides.md b/slides.md
index bc0b24d..94272aa 100644
--- a/slides.md
+++ b/slides.md
@@ -27,6 +27,8 @@ Stanford University
(2014)
+
+
---
@@ -41,11 +43,18 @@ Stanford University
> Consensus algorithms allow a collection of machines to work as a coherent group that can survive the failures of some of its members. – RAFT authors
+
+
-- Accord sur l'état partagé (image système unique)
+
+
+
+
+
+- Accord sur l'état du système (image système unique et partagée)
- Réparation (réplication) autonome en cas de défaillance d'un serveur
- Une minorité de serveurs HS: pas de problème
- La majorité des serveurs HS: perte de disponibilité, maintien de la cohérence
@@ -67,7 +76,7 @@ Stanford University
-
-
## Prendre des décisions de conception fondées sur la compréhensibilité
@@ -131,6 +138,10 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989)
+
+
+
+
- Minimiser l'espace des états
- Traiter plusieurs problèmes avec un seul mécanisme
- Éliminer les cas particuliers
@@ -147,6 +158,12 @@ Paxos domine le marché depuis ~25 ans (Leslie Lamport, 1989)
+
+
+
+
+
+
1. Élection d'un leader (mandat)
- Sélectionner un serveur qui sera le leader
- Détecter les pannes, choisir un nouveau leader
@@ -294,6 +311,8 @@ Normal Operation:
-->
+
+
---