Graft: General Purpose Raft Consensus in Elixir
summary
Graft is an open source Elixir library implementing Raft with a minimal API (start, request), a graph.machine behavior (init, handle_entry), and config for a cluster. The demo builds a three-node key‑value store where put/ fetch roundtrips return 2021 and the system tolerates one crash (2f+1 rule). Runtime verification uses Erlang tracing to synthesize detector monitors from formal Raft properties, and performance claims match state‑of‑the‑art implementations.
AI-written summary · about
chapters (6)
related talks
41mThe Raft Consensus Algorithm
55mImplementing Raft in RabbitMQ
44mCluster Consensus: When Aeron Met Raft
27mCRaft: An Erasure-coding-supported Version of Raft for Reducing Storage Cost
43mBuild Your Own Distributed System Using Go
40mDeep Dive: etcd
43mRa: a Raft implementation
47mDistributed Systems: When Democracy and Computer Science Come Together