spacejam / paxos

simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly

paxos

Currently, this is an implementation of CASPaxos built on top of the sled lightweight database kit.

It is being grown into a more featureful replication library that is mindful of modern consensus research.

why not raft?

• raft is great for teaching purposes, but is not very performant
• a replicated log is just the beginning

roadmap

• simple http API
• built-in kv
• membership reconfiguration
• cheap-paxos storage reduction
• gossip-based replication of state
• log reclamation
• read-only followers

References

• CASPaxos: Replicated State Machines without logs
• PigPaxos: Devouring the communication bottlenecks in distributed consensus
• SDPaxos: Building Efficient Semi-Decentralized Geo-replicatedState Machines
• State-Machine Replication for Planet-Scale Systems (Extended Version)
• WPaxos: Wide Area Network Flexible Consensus
• A Generalised Solution to Distributed Consensus
• Cheap Paxos
• Edelweiss: Automatic Storage Reclamation for Distributed Programming