Modelling the Raft Distributed Consensus Protocol in mCRL2
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914731558699008 |
|---|---|
| author | Bora, Parth Minh, Pham Duc Willemse, Tim A. C. |
| author_facet | Bora, Parth Minh, Pham Duc Willemse, Tim A. C. |
| contents | The consensus problem is a fundamental problem in distributed systems. It involves a set of actors, or entities, that need to agree on some values or decisions. The Raft algorithm is a solution to the consensus problem that has gained widespread popularity as an easy-to-understand and implement alternative to Lamport's Paxos algorithm. In this paper we discuss a formalisation of the Raft algorithm and its associated correctness properties in the mCRL2 specification language.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_18916 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Modelling the Raft Distributed Consensus Protocol in mCRL2 Bora, Parth Minh, Pham Duc Willemse, Tim A. C. Logic in Computer Science Distributed, Parallel, and Cluster Computing Software Engineering The consensus problem is a fundamental problem in distributed systems. It involves a set of actors, or entities, that need to agree on some values or decisions. The Raft algorithm is a solution to the consensus problem that has gained widespread popularity as an easy-to-understand and implement alternative to Lamport's Paxos algorithm. In this paper we discuss a formalisation of the Raft algorithm and its associated correctness properties in the mCRL2 specification language. |
| title | Modelling the Raft Distributed Consensus Protocol in mCRL2 |
| topic | Logic in Computer Science Distributed, Parallel, and Cluster Computing Software Engineering |
| url | https://arxiv.org/abs/2403.18916 |