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 条

[21] Monitorability for the Hennessy-Milner logic with recursion [J].

Francalanza, Adrian ;

Aceto, Luca ;

Ingolfsdottir, Anna .

FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (01) :87-116

[22] On Verifying Hennessy-Milner Logic with Recursion at Runtime [J].

Francalanza, Adrian ;

Aceto, Luca ;

Ingolfsdottir, Anna .

RUNTIME VERIFICATION, RV 2015, 2015, 9333 :71-86

[23] Distributed consensus, revisited [J].

Fuzzati, Rachele ;

Merro, Massimo ;

Nestmann, Uwe .

ACTA INFORMATICA, 2007, 44 (06) :377-425

[24] Tutorial: Designing Distributed Software in mCRL2 [J].

Groote, Jan Friso ;

Keiren, Jeroen J. A. .

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2021, 2021, 12719 :226-243

[25]

Hashicorp, 2021, RAFT GOL IMPL RAFT C

[26]

Howard Heidi, 2015, ACM SIGOPS Operating Systems Review, V49, P12

[27] Paxos vs Raft: Have we reached consensus on distributed consensus? [J].

Howard, Heidi ;

Mortier, Richard .

7TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC '20), 2020,

[28]

Ito Yuki., 2016, RAFUTE IMPLEMENTATIO

[29]

Keathley Chris., 2018, RAFT ELIXIR IMPLEMEN

[30]

Kirino Shunsuke., 2019, RAFTKV ELIXIR LIB ST

← 1 2 3 4 5 →