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
Book ChapterDOI
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
TL;DR: This tutorial uses the core of a fault-tolerant distributed broadcasting algorithm as a case study to explain the concepts of the abstraction techniques, and discusses how they can be implemented.
Proceedings ArticleDOI
Implementing e-Transactions with asynchronous replication
Svend Frolund,Rachid Guerraoui +1 more
TL;DR: This paper implements the e-Transaction abstraction using an asynchronous replication scheme that preserves the three-tier nature of the architecture and introduces a very acceptable overhead with respect to unreliable solutions.
Patent
Lock-free file system
TL;DR: In this article, a method for storage and retrieval of information includes coupling a plurality of clients to communicate with a storage device via a network, and reading out data from a selected location on the storage device to a memory of one of the clients.
Proceedings ArticleDOI
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
Jeffrey F. Lukman,Huan Ke,Cesar A. Stuardo,Riza O. Suminto,Daniar Heri Kurniawan,Dikaimin Simon,Satria Priambada,Chen Tian,Feng Ye,Tanakorn Leesatapornwongsa,Aarti Gupta,Shan Lu,Haryadi S. Gunawi +12 more
TL;DR: This work presents a fast and scalable testing approach for datacenter/cloud systems such as Cassandra, Hadoop, Spark, and ZooKeeper that combines state symmetry, event independence, and parallel flips, which collectively makes this approach on average 16x (up to 78x) faster than other state-of-the-art solutions.
Patent
Distributed file system using consensus nodes
TL;DR: In this article, a cluster of nodes in a distributed file system may include; at least two namenodes, each coupled to a plurality of data nodes and each configured to store a state of a namespace of the cluster and each being configured to respond to a request from a client while other nodes are responding to other requests from other clients.
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