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
Practically stabilizing SWMR atomic memory in message-passing systems ☆
TL;DR: A fault-tolerant and practically stabilizing simulation of an atomic register is presented, which works in asynchronous message-passing systems, and allows a minority of processes to crash.
Book ChapterDOI
Designing algorithms for dependent process failures
Flavio Junqueira,Keith Marzullo +1 more
TL;DR: Most fault-tolerant algorithms are designed assuming that out of n components, no more than t can be faulty, which is a convenient assumption to make and bounds are easily expressed as a function of t.
Proceedings ArticleDOI
Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults
Martin Hutle,André Schiper +1 more
TL;DR: The paper points out limitations of the failure detector model, and suggests instead a model based on communication predicates, called HO model, which allows us to quantify the difference between the required length of anInitial good period and the length of a non initial good period.
Book ChapterDOI
SmartMerge: A New Approach to Reconfiguration for Atomic Storage
TL;DR: This paper presents SmartMerge, a novel approach that provides most of the benefits of consensus-based reconfiguration, yet can be implemented in a fully asynchronous system.
Journal ArticleDOI
The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
Ivan Homoliak,Sarad Venugopalan,Daniel Reijsbergen,Qingze Hum,Richard Schumi,Pawel Szalachowski +5 more
TL;DR: Wang et al. as mentioned in this paper proposed the security reference architecture (SRA) for blockchains, which adopts a stacked model describing the nature and hierarchy of various security and privacy aspects.
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