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
Automatic management of partitioned, replicated search services
TL;DR: The distributed search architecture that underlies Twitter user search, a service for discovering relevant accounts on the popular microblogging service, makes use of the principle that eliminates the distinction between failure and other anticipated service disruptions, which leads to greater robustness and fault-tolerance.
Posted Content
Controlling Robots using Artificial Intelligence and a Consortium Blockchain.
TL;DR: This paper shows how to register events in a secure way, how it is possible to use smart-contracts to control robots and how to interface with external Artificial Intelligence algorithms for image analysis.
Book ChapterDOI
The weakest failure detectors to boost obstruction-freedom
TL;DR: It is shown that failure detector $diamond$ is the weakest to convert any obstruction-free algorithm into a wait-free one, and Ω*, a new failure detector which is strictly weaker than $\diamond\mathcal{P}$ but strictly stronger than Ω, is the strongest to convertAny obstruction- free algorithm into any non-blocking one.
Dissertation
Model-Based Development of Fault-Tolerant Real-Time Systems
TL;DR: The main goal is the automatic generation of code realizing non-functional systems, such as fault-tolerance mechanisms, communication in the distributed system, and scheduling, through an adequate domain-specific modeling language and a formal model for the specification of fault assumptions.
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