Module compartmentalized_paxos

Source

Structs§

CompartmentalizedPaxosConfig
CoreCompartmentalizedPaxos
ProxyLeader

Functions§

compartmentalized_paxos_core
Implements the Compartmentalized Paxos algorithm as described in “Scaling Replicated State Machines with Compartmentalization”, which augments regular Paxos with a cluster of Proxy Leaders.