Journal ArticleDOI
The part-time parliament
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
Proceedings ArticleDOI
Blotter: Low Latency Transactions for Geo-Replicated Storage
TL;DR: This paper uses a recently proposed isolation level, called Non-Monotonic Snapshot Isolation, to achieve ACID transactions with low latency, and presents Blotter, a geo-replicated system that leverages these semantics in the design of a new concurrency control protocol that leaves a small amount of local state during reads to make commits more efficient.
Proceedings ArticleDOI
Speeding up Consensus by Chasing Fast Decisions
TL;DR: CAESAR as mentioned in this paper is a multi-leader generalized consensus protocol for geographically replicated sites, which does not reject a fast decision for a client request if a quorum of nodes reply with different dependency sets for that request.
Proceedings ArticleDOI
Model Checking of Consensus Algorit
Tatsuhiro Tsuchiya,André Schiper +1 more
TL;DR: It is shown for the first time that standard model checking allows one to completely verify asynchronous algorithms for solving consensus, a fundamental problem in fault-tolerant distributed computing.
Journal ArticleDOI
A time-free assumption to implement eventual leadership
TL;DR: This paper introduces a novel approach to implement an eventual leader protocol, namely a time-free behavioral assumption on the flow of messages that are exchanged, and presents a very simple leader protocol based on this assumption and a second leader protocol combining this timeless assumption with eventually timely channels.
Journal ArticleDOI
X-Ability: a theory of replication
Svend Frolund,Rachid Guerraoui +1 more
TL;DR: A formal definition of the problem solved by replication in the form of a correctness criterion called x-ability (exactly-once ability) is presented, which is illustrated through a novel replication protocol that handles non-determinism and external side-effects.
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