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 Article
Reducing Liveness to Safety in First-Order Logic
TL;DR: The main idea is to reduce the temporal verification problem to the problem of verifying the safety of infinite-state systems expressed in first-order logic, to leverage existing techniques for safety verification to verify temporal properties of interesting distributed protocols, including some that have not been mechanically verified before.
Journal ArticleDOI
Harmonia: near-linear scalability for replicated storage with in-network conflict detection
TL;DR: Harmonia as discussed by the authors is a replicated storage architecture that exploits the capability of new-generation programmable switches to obviate the tradeoff between consistency and scalability by providing nearlinear scalability without sacrificing consistency.
Proceedings Article
Uncovering bugs in distributed storage systems during testing (not in production
Pantazis Deligiannis,Matt McCutchen,Paul Thomson,Shuo Chen,Alastair F. Donaldson,John Erickson,Cheng Huang,Akash Lal,Rashmi Mudduluru,Shaz Qadeer,Wolfram Schulte +10 more
TL;DR: This paper presents a new methodology for testing distributed systems that applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors.
Proceedings ArticleDOI
CoC: Secure Supply Chain Management System Based on Public Ledger
TL;DR: Copper, a novel supply chain management system based on hybrid decentralized ledger is proposed, which develops an efficient block construction method with the model and security mechanism to prevent unauthorized access to data stored on the ledger.
Proceedings ArticleDOI
Yesquel: scalable sql storage for web applications
TL;DR: In this paper, a new architecture and a new distributed data structure, called YDBT, which Yesquel uses for storage, and which performs well under contention by many concurrent 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