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
I4: incremental inference of inductive invariants for verification of distributed protocols
TL;DR: In this paper, a new approach is presented, Incremental Inference of Inductive Invariants (I4), to automatically generate inductive invariants for distributed protocols, and can prove the correctness of several distributed protocols like Chord, 2PC and Transaction Chains with little to no human effort.
Journal ArticleDOI
Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks
TL;DR: An asynchronous Byzantine consensus protocol-called Turquois-specifically designed for resource-constrained wireless ad hoc networks, which is the first consensus protocol that simultaneously circumvents the FLP and the Santoro-Widmayer impossibility results through randomization.
Journal ArticleDOI
ACM SIGACT news distributed computing column 5
TL;DR: The Distributed Computing Column covers the theory of systems that are composed of a number of interacting computing elements, which include problems of communication and networking, databases, distributed shared memory, multiprocessor architectures, operating systems, verification internet, and the web.
Proceedings ArticleDOI
The Case for RackOut: Scalable Data Serving Using Rack-Scale Systems
TL;DR: This work introduces RackOut, a memory pooling technique that leverages the one-sided remote read primitive of emerging rack-scale systems to mitigate load imbalance while respecting service-level objectives, and develops a queuing model to evaluate the impact of RackOut at the datacenter scale.
Book ChapterDOI
Formal Verification of Multi-Paxos for Distributed Consensus
TL;DR: This paper describes formal specification and verification of Lamport’s Multi-Paxos algorithm for distributed consensus in TLA+, and discusses the general strategies for proving properties about sets and tuples that helped the proof check succeed in significantly reduced time.
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