Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/85959| Title: | Graft : general purpose raft consensus in Elixir |
| Authors: | Le Brun, Matthew Alan Attard, Duncan Paul Francalanza, Adrian |
| Keywords: | Software engineering Computer software -- Verification Client/server computing Elixir (Computer program language) Asynchronous transfer mode |
| Issue Date: | 2021 |
| Publisher: | Association for Computing Machinery |
| Citation: | Le Brun, M. A., Attard, D. P., & Francalanza, A. (2021). Graft : general purpose raft consensus in Elixir. 20th ACM SIGPLAN International Workshop on Erlang (Erlang ’21), Virtual. 2-14. |
| Abstract: | 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. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/85959 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Graft.pdf Restricted Access | 1.09 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.