3 ms·
Paxos-based means what exactly? How much of the specification does it implement? [0] [0] https://github.com/tlaplus/Examples/tree/master/specifications/Paxos h
by agentultra 10y ago
Paxos-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.