ICFP 2021 (series) / Erlang 2021 (series) / Erlang 2021 /
Graft: General Purpose Raft Consensus in Elixir
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.
Thu 26 AugDisplayed time zone: Seoul change
Thu 26 Aug
Displayed time zone: Seoul change
20:00 - 21:30 | |||
20:00 10mDay opening | Welcome Erlang | ||
20:10 30mTalk | Graft: General Purpose Raft Consensus in Elixir Erlang Matthew Alan Le Brun University of Malta, Duncan Paul Attard University of Malta, Adrian Francalanza University of Malta DOI | ||
20:40 30mTalk | Makina: A New QuickCheck State Machine Library Erlang Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid DOI | ||
21:10 10mVision and Emerging Results | Lightning Talk: Expected Application of BeamAsm Erlang Susumu Yamazaki Univ. of Kitakyushu | ||
21:20 10mVision and Emerging Results | Lightning Talk: QuadBlockQuiz – Supply Chain Edition Erlang Duncan Sparrell sFractal Consulting |