Graft: General Purpose Raft Consensus in Elixir

被引：4

作者：

Le Brun, Matthew Alan ^{[1
]}

Attard, Duncan Paul ^{[1
]}

Francalanza, Adrian ^{[1
]}

机构：

[1] Univ Malta, Dept Comp Sci, Msida, Malta

来源：

ERLANG '21: PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG | 2021年

关键词：

Distributed consensus; Raft; Asynchronous components; Elixir; BEAM; Runtime Verification; Testing; HENNESSY-MILNER LOGIC;

D O I：

10.1145/3471871.3472963

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present Graft, a generic tool for creating distributed consensus clusters running the Raft algorithm using state machines in Elixir. Our tool exhibits performance that is comparable to that of the Raft implementation supporting the original proposal, as well as the performance of other state-of-the-art Raft implementations running on the BEAM. The correctness of our tool is also ascertained through a number of complementary verification methods.

引用

页码：2 / 14

页数：13

共 48 条

[31] TLA+ Model Checking Made Symbolic [J].

Konnov, Igor ;

Kukovec, Jure ;

Tran, Thanh-Hai .

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA)

[32]

KOZEN D, 1982, LECT NOTES COMPUT SC, V140, P348

[33]

Kühnrich M, 2009, LECT NOTES COMPUT SC, V5522, P198, DOI 10.1007/978-3-642-02138-1_13

[34] The part-time parliament [J].

Lamport, L .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1998, 16 (02) :133-169

[35] PROOF SYSTEMS FOR SATISFIABILITY IN HENNESSY-MILNER LOGIC WITH RECURSION [J].

LARSEN, KG .

THEORETICAL COMPUTER SCIENCE, 1990, 72 (2-3) :265-288

[36]

Le Brun Matthew Alan, 2021, GRAFT RAFT IMPLEMENT

[37]

Le Brun Matthew Alan, 2021, DISKV

[38]

Lynch N. A., 1996, Distributed Algorithms

[39]

Ongaro D., 2014, 2014 USENIX ANN TECH, P305

[40]

Ongaro Diego., 2021, RAFT CONSENSUS ALGOR

← 1 2 3 4 5 →