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
Azure Data Lake Store: A Hyperscale Distributed File Service for Big Data Analytics
Raghu Ramakrishnan,Baskar Sridharan,John R. Douceur,Pavan Kasturi,Balaji Krishnamachari-Sampath,Karthick Krishnamoorthy,Peng Li,Mitica Manu,Spiro Michaylov,Rogerio Tadeu Ramos,Neil Sharman,Zee Xu,Youssef Barakat,Chris Douglas,Richard P. Draves,Shrikant S. Naidu,Shankar Shastry,Atul Sikaria,Simon Sun,Ramarathnam Venkatesan +19 more
TL;DR: An overview of ADLS architecture, design points, and performance is presented, which includes its design for handling multiple storage tiers, exabyte scale, and comprehensive security and data sharing features.
Proceedings ArticleDOI
Declarative automated cloud resource orchestration
TL;DR: COPE (Cloud Orchestration Policy Engine), a distributed platform that allows cloud providers to perform declarative automated cloud resource orchestration, is presented and initial evaluation results that demonstrate the viability of COPE are presented.
Book
Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach
TL;DR: This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of reliable communication and agreement, which lie at the heart of nearly all distributed applications.
Proceedings Article
WiDS checker: combating bugs in distributed systems
TL;DR: This paper presents WiDS Checker, a unified framework that can check distributed systems through both simulation and reproduced runs from real deployment, and found non-trivial bugs, including one in a previously proven Paxos specification.
Proceedings ArticleDOI
Autonomic SLA-Driven Provisioning for Cloud Applications
TL;DR: A decentralized economic approach for dynamically adapting the cloud resources of various applications, so as to statistically meet their SLA performance and availability goals in the presence of varying loads or failures is proposed.
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