README.md

Multi-Paxos replicated log in Rust

This is a very basic replicated log using Multi-Paxos implemented in Rust. I do the project for fun, it is not intended for production use!

Using the Library

TBA, the API is not fixed yet.

Roadmap

• master leases
• handle NACKs
• persistent storage of log
• full disclosure
• specify library API
• random failure testing
• liveness recovery after failures testing
• handle read-only queries locally on leader
• group membership changes
• snapshots
• benchmarking
• runtime consistency checks (checksum pushed into the log by leader)
• checksums on stored data

References

• L. Lamport 2001 "Paxos Made Simple"
• T. Chandra et al. 2007 "Paxos Made Live"
• B. Lampson 1996 "How to Build a Highly Available System Using Consensus"
• Understanding Paxos