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.

roadmap

• [ ] membership reconfiguration
• [ ] cheap-paxos storage reduction
• [ ] gossip-based replication of state
• [ ] log reclamation to avoid infinite space usage
• [ ] read-only followers that don't slow down writes

References

• A Generalised Solution to Distributed Consensus
• Cheap Paxos
• Edelweiss: Automatic Storage Reclamation for Distributed Programming