Content deleted Content added
Adding several precisions on safety protocols in Raft. Next part needs to be down about change of configuration and new membership is a Raft cluster. |
|||
Line 30:
Raft guarantees each of these safety properties :
* '''Election safety:''' at most one leader can be elected in a given term.
* '''Leader Append-Only:''' a leader can only append new entries to its logs (it can
* '''Log Matching:''' if two logs contain an entry with the same index and term, then the logs are identical in all entries up through the given index.
* '''Leader Completeness:''' if a log entry is committed in a given term then it will be present in the logs of the leaders since this term
| |||