Revision as of 03:26, 12 December 2018 edit I dream of horses (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers 572,256 edits m Cleaning up a randomly generated list, removed stub tag Tag: AWB ← Previous edit		Revision as of 04:00, 2 May 2019 edit undo Kalyan.akella (talk \| contribs) 9 edits m →Safety rules in Raft Next edit →
Line 35: * '''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 * '''State Machine Safety:''' if a server has applied a particular log entry to its state machine, then no other server may apply a different command for the same log. The ~~four~~ first four rules are guaranteed by the details of the algorithm described in the previous section. The State Machine Safety is guaranteed by a restriction on the election process. ==== State Machine Safety ====

Raft (algorithm): Difference between revisions