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
Proceedings ArticleDOI
Modularity for decidability of deductive verification with applications to distributed systems
Marcelo Taube,Giuliano Losa,Kenneth L. McMillan,Oded Padon,Mooly Sagiv,Sharon Shoham,James R. Wilcox,Doug Woos +7 more
TL;DR: This work proposes to solve the problem of unpredictablility of automated provers in handling quantified formulas by using a modular proof methodology that allows for decidable verification conditions, resulting in a more practical verification approach.
Proceedings Article
FUSE: lightweight guaranteed distributed failure notification
John Dunagan,Nicholas J. A. Harvey,Michael B. Jones,Dejan Kostic,Marvin M. Theimer,Alec Wolman +5 more
TL;DR: The results demonstrate that the network costs of each FUSE group can be small; in particular, the overlay network implementation requires no additional liveness-verifying ping traffic beyond that already needed to maintain the overlay, making the steady state network load independent of the number of active FUSE groups.
Proceedings ArticleDOI
ACMS: the Akamai configuration management system
TL;DR: The design and implementation of a configuration management system for the Akamai Network is discussed, which allows reliable yet highly asynchronous delivery of configuration information, is significantly fault-tolerant, and can scale if necessary to hundreds of thousands of servers.
Virtually Synchronous Methodology for Dynamic Service Replication
TL;DR: This paper explores the topic of recovery from failure in the context of a dynamic reconfiguration model of the author's own design that unifies two widely popular prior approaches to the problem: virtual synchrony, a model and associated protocols for reliable group communication, and state machine replication (in particular, Paxos), a model of deterministic functionality specified as an event-driven state machine.
Patent
Split brain resistant failover in high availability clusters
TL;DR: In this paper, the election of the current master is performed by a quorum-based majority vote among quorum machines whose number n is at least three and odd (n≧3 and n is odd).
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