4 papers
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (Extended Version)
Fedor Ryabinin, Alexey Gotsman, Pierre Sutra
Classical state-machine replication protocols, such as Paxos, rely on a distinguished leader process to order commands. Unfortunately, this approach makes the leader a single point…
Tight Bounds on Channel Reliability via Generalized Quorum Systems (Extended Version)
Alejandro Naser-Pastoriza, Gregory Chockler, Alexey Gotsman +1
Communication channel failures are a major concern for the developers of modern fault-tolerant systems. However, while tight bounds for process failures are well-established, exten…
TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version)
Sadegh Keshavarzi, Gregory Chockler, Alexey Gotsman
Recent advances in secure hardware technologies, such as Intel SGX or ARM TrustZone, offer an opportunity to substantially reduce the costs of Byzantine fault-tolerance by placing…
Revisiting Lower Bounds for Two-Step Consensus
Fedor Ryabinin, Alexey Gotsman, Pierre Sutra
A seminal result by Lamport shows that at least processes are required to implement partially synchronous consensus that tolerates process failures and ca…