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!
TBA, the API is not fixed yet.
- 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
- 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