Paxos implementation in Rust
Last updated Jun 14, 2026
81
Stars
10
Forks
23
Issues
0
Stars/day
Attention Score
35
Language breakdown
Rust 100.0%
โธ Files
click to expand
README
Paxos-rs
Library encapsulating Multi-Decree Paxos and variants in Rust. The core algorithm is embeddable in other systems that need a replicated state machine.
Development Status: Alpha (not for production use yet)
The library is getting close to a 0.1 release.
Example Key-Value Store
To try out the algorithm, an example implements an HTTP transport for both clients and the replicas.
Running
$ cargo build --example http-paxos
$ ./target/debug/examples/http-paxos 0 &
$ ./target/debug/examples/http-paxos 1 &
$ ./target/debug/examples/http-paxos 2 &Example
# GET the "foo" key which does not exist yet
$ curl localhost:8080/foo -i
HTTP/1.1 404 Not Found
content-length: 0
date: Tue, 09 Jun 2020 19:54:19 GMT
SET the key to a value by passing the value in the body
$ curl localhost:8080/foo -d 'hello paxos' -i
HTTP/1.1 204 No Content
x-paxos-slot: 3
content-length: 0
date: Tue, 09 Jun 2020 19:55:29 GMT
Now run a GET again on the key to get the value
$ curl localhost:8080/foo -i
HTTP/1.1 200 OK
x-paxos-slot: 4
content-length: 11
date: Tue, 09 Jun 2020 19:56:41 GMT
hello paxos
