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
Journal ArticleDOI
Steward: Scaling Byzantine Fault-Tolerant Replication to Wide Area Networks
Yair Amir,Claudiu Danilov,Danny Dolev,Jonathan Kirsch,John W. Lane,Cristina Nita-Rotaru,J. Olsen,David Zage +7 more
TL;DR: This paper presents the first hierarchical byzantine fault-tolerant replication architecture suitable to systems that span multiple wide-area sites, and presents proofs that the algorithm provides safety and liveness properties.
Journal ArticleDOI
Programming and proving with distributed protocols
TL;DR: Disel is presented, the first framework for implementation and compositional verification of distributed systems and their clients, all within the mechanized, foundational context of the Coq proof assistant.
Book ChapterDOI
Byzantizing paxos by refinement
TL;DR: A formal, machine-checked proof that the Byzantized algorithm implements the ordinary Paxos consensus algorithm under a suitable refinement mapping is written.
Journal Article
Tesseract: Real-Time Cryptocurrency Exchange using Trusted Hardware.
Iddo Bentov,Yan Ji,Fan Zhang,Yunqi Li,Xueyuan Zhao,Lorenz Breidenbach,Philip Daian,Ari Juels +7 more
TL;DR: Tesseract as discussed by the authors is a secure real-time cryptocurrency exchange service that uses a trusted execution environment to commit the recent trade data to independent cryptocurrency systems, which is an all-or-nothing fairness problem.
Proceedings ArticleDOI
Detecting failures in distributed systems with the Falcon spy network
TL;DR: The design, implementation, and evaluation of Falcon are presented, a failure detector with several features that are fast, reliable, and viable that could change the way that a class of distributed systems is built.
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