Journal ArticleDOI
The part-time parliament
Reads0
Chats0
TLDR
The Paxon parliament's protocol provides a new way of implementing the state machine approach to the design of distributed systems.Abstract:
Recent archaeological discoveries on the island of Paxos reveal that the parliament functioned despite the peripatetic propensity of its part-time legislators. The legislators maintained consistent copies of the parliamentary record, despite their frequent forays from the chamber and the forgetfulness of their messengers. The Paxon parliament's protocol provides a new way of implementing the state machine approach to the design of distributed systems.read more
Citations
More filters
Journal ArticleDOI
FireLedger: a high throughput blockchain consensus protocol
Yehonatan Buchnik,Roy Friedman +1 more
TL;DR: FireLedger is presented, which leverages the iterative nature of blockchains in order to improve their throughput in optimistic execution scenarios and obtains $20%-600%$ better throughput than state of the art protocols like HotStuff and BFT-SMaRt, depending on the exact configuration.
Proceedings ArticleDOI
PaxonDHT: achieving consensus in distributed hash tables
TL;DR: P PaxonDHT is a Paxos-based middleware service, which ensures with high probability that a dynamic set of replicas reach total order agreement, and works well in the highly dynamic environment of DHTs, preserving the properties of the underlying DHT layer, and provides simultaneous support for heterogeneous services.
Journal ArticleDOI
On the correctness of Egalitarian Paxos
TL;DR: This paper identifies a problem in both the TLA+ specification and the implementation of the E egalitarian Paxos protocol related to how replicas switch from one ballot to another when computing the dependencies of a command.
Journal ArticleDOI
Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects
TL;DR: This paper introduces the family of generalized symmetry breaking (GSB) tasks, which includes election, renaming, and many other symmetry breaking tasks, and studies how nondeterminism properties of objects solving tasks affects the computability power of GSB tasks.
Proceedings ArticleDOI
Irreducibility and additivity of set agreement-oriented failure detector classes
TL;DR: This paper investigates two families of failure detector classes and investigates whether they can be "added" to provide a failure detector of the class Ωz (a generalization of Ω), and characterizes the power of such an addition.
References
More filters
Book ChapterDOI
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Journal ArticleDOI
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this article, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Journal ArticleDOI
Impossibility of distributed consensus with one faulty process
TL;DR: In this paper, it is shown that every protocol for this problem has the possibility of nontermination, even with only one faulty process.
Book
Concurrency Control and Recovery in Database Systems
TL;DR: In this article, the design and implementation of concurrency control and recovery mechanisms for transaction management in centralized and distributed database systems is described. But this can lead to interference between queries and updates.
Journal ArticleDOI
Implementing fault-tolerant services using the state machine approach: a tutorial
TL;DR: The state machine approach is a general method for implementing fault-tolerant services in distributed systems and protocols for two different failure models—Byzantine and fail stop are described.
Related Papers (5)
Impossibility of distributed consensus with one faulty process
Unreliable failure detectors for reliable distributed systems
Tushar Deepak Chandra,Sam Toueg +1 more