This article explains the full reconfigurable multidecree Paxos (or multi-Paxos) protocol.
Paxos is by no means a simple protocol, even though it is based on relatively simple …

In modern computing a program is usually distributed among several processes. The
fundamental challenge when developing reliable and secure distributed programs is to …

This paper presents an overview of Paxos for System Builders, a complete specification of
the Paxos replication protocol such that system builders can understand it and implement it …

This paper presents Basil, the first transactional, leaderless Byzantine Fault Tolerant key-
value store. Basil leverages ACID transactions to scalably implement the abstraction of a …

A common way for a distributed system to tolerate crashes is to explicitly detect them and
then recover from them. Interestingly, detection can take much longer than recovery, as a …

We present a new algorithm for state machine replication that is built around a leader-driven
consensus primitive. This algorithm requires only two additional communication steps …

Byzantine Fault-Tolerant (BFT) protocols cover a broad spectrum of design dimensions from
infrastructure settings, such as the communication topology, to more technical features, such …

Agreement protocols have been extensively used by distributed data management systems
to provide robustness and high availability. The broad spectrum of design dimensions …

Existing Byzantine fault tolerant (BFT) storage solutions that achieve strong consistency and
high availability, are costly compared to solutions that tolerate simple crashes. This cost is …

This paper presents a modular introduction to crash-tolerant and Byzantine-tolerant
protocols for reaching consensus that use the method introduced by the Paxos algorithm of …