Consistent Distributed Storage
- Length: 194 pages
- Edition: 1
- Language: English
- Publisher: Morgan & Claypool
- Publication Date: 2021-06-30
- ISBN-10: 1636390625
- ISBN-13: 9781636390628
- Sales Rank: #0 (See Top 100 Books)
Providing a shared memory abstraction in distributed systems is a powerful tool that can simplify the design and implementation of software systems for networked platforms. This enables the system designers to work with abstract readable and writable objects without the need to deal with the complexity and dynamism of the underlying platform. The key property of shared memory implementations is the consistency guarantee that it provides under concurrent access to the shared objects. The most intuitive memory consistency model is atomicity because of its equivalence with a memory system where accesses occur serially, one at a time. Emulations of shared atomic memory in distributed systems is an active area of research and development. The problem proves to be challenging, and especially so in distributed message passing settings with unreliable components, as is often the case in networked systems. We present several approaches to implementing shared memory services with the help of replication on top of message-passing distributed platforms subject to a variety of perturbations in the computing medium.
Acknowledgments Outline Introduction Shared Storage: A Landscape Distribution and Consistency Model of Computation Distributed System Input/Output Automata and Executions Failures Communication Quorum Systems Consistency: Atomic Object Semantics Notation Summary Bibliographic Notes The Static Environment Replication Communication and Rounds Efficiency Measures List of Symbols The Single-Writer Setting SWMR Algorithm ABD: Basic Techniques Algorithm ABD Specification Algorithm ABD Correctness Efficiency of Algorithm ABD Algorithm Fast: Expediting Read Operations Algorithm Fast Specification Algorithm Fast Correctness Lower Bound: Limitations of Fast Implementations Algorithm Sliq: Introducing Quorum Views Algorithmic Technique: Quorum Views Algorithm Sliq Specification Algorithm Sliq Correctness Bibliographic Notes The Multiple-Writer Setting Algorithm mwABD: Multi-Writer ABD Algorithm mwABD Specification Algorithm mwABD Correctness Algorithm CwFr: Quorum View Generalization Algorithmic Technique: MW Quorum Views Algorithm CwFr Specification Algorithm CwFr Correctness Lower Bound: Inherent Limitations of mwmr on Fast Operations Algorithm SfW: Expediting Write Operations Algorithmic Technique: Server Side Ordering (SSO) Algorithmic Technique: Enhanced Tagging Algorithm SfW Specification Algorithm SfW Correctness Bibliographic Notes The Dynamic Environment Consensus Group Communication Services Using Reconfiguration for Direct Implementations. RAMBO: Reconfigurable Dynamic Memory Models and Definitions Rambo Service Specifications Rambo Service Specification Recon Service Specification Implementation of Rambo Overall Architecture Implementation of Joiner Implementation of Reader-Writer Implementation of the Recon Service The Complete Rambo Algorithm Atomicity of Rambo Conditional Performance Analysis: Latency Bounds Extensions of Rambo GeoQuorums—Adaptation of Rambo for Mobile Settings Bibliographic Notes RDS: Integrated Reconfigurations Preliminaries The Paxos Consensus Algorithm The Part-Time Parliament Fast Paxos Deciding Upon a New Configuration Reconfigurable Distributed Storage Signature and State Read and Write Operations Communication and Independent Transitions Reconfiguration Consensus of RDS Conditional Performance Analysis Bibliographic Notes DynaStore: Incremental Reconfigurations Preliminaries Incremental Reconfiguration Activity of Processes Majority Assumption The Weak Snapshot Automaton The Reader-Writer-Recon Automaton Partially Ordered Configurations Adding New Configurations Contacting Quorums Correctness Implementation and Performance Considerations Bibliographic Notes Concluding Remarks and Looking Ahead Bibliography Authors' Biographies Index Blank Page
Donate to keep this site alive
1. Disable the AdBlock plugin. Otherwise, you may not get any links.
2. Solve the CAPTCHA.
3. Click download link.
4. Lead to download server to download.