4 ms·
A Paxos-based Redis replication layer with dynamic reconfiguration in 500 lines
- agentultra 10y agoPaxos-based means what exactly? How much of the specification does it implement? [0] [0] https://github.com/tlaplus/Examples/tree/master/specifications/Paxos https://github.com/tlaplus/Examples/tree/master/specificatio...
- rystsov 10y agoIt uses single decree Paxos to implement rewritable distributed register. The implementation supports dynamic reconfiguration of the cluster and the distinguished proposer optimization.