Building dependable distributed systems [electronic resource]

• 作者： Zhao, Wenbing.
• 其他題名：
  • Performability Engineering Series
• 出版： Hoboken, New Jersey : Wiley
• 叢書名： Performability Engineering Series
• 主題： Electronic data processing--Distributed processing , Computer security
• ISBN： 9781118912744 (electronic bk.) 、 1118912748 (electronic bk.)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: Includes bibliographical references and index. Cover; Title Page; Copyright Page; Contents; List of Figures; List of Tables; Acknowledgments; Preface; References; 1 Introduction to Dependable Distributed Computing; 1.1 Basic Concepts and Terminologies; 1.1.1 System Models; 1.1.2 Threat Models; 1.1.3 Dependability Attributes and Evaluation Metrics; 1.2 Means to Achieve Dependability; 1.2.1 Fault Avoidance; 1.2.2 Fault Detection and Diagnosis; 1.2.3 Fault Removal; 1.2.4 Fault Tolerance; References; 2 Logging and Checkpointing; 2.1 System Model; 2.1.1 Fault Model; 2.1.2 Process State and Global State; 2.1.3 Piecewise Deterministic Assumption 2.1.4 Output Commit2.1.5 Stable Storage; 2.2 Checkpoint-Based Protocols; 2.2.1 Uncoordinated Checkpointing; 2.2.2 Tamir and Sequin Global Checkpointing Protocol; 2.2.3 Chandy and Lamport Distributed Snapshot Protocol; 2.2.4 Discussion; 2.3 Log Based Protocols; 2.3.1 Pessimistic Logging; 2.3.2 Sender-Based Message Logging; References; 3 Recovery-Oriented Computing; 3.1 System Model; 3.2 Fault Detection and Localization; 3.2.1 Component Interactions Modeling and Anomaly Detection; 3.2.2 Path Shapes Modeling and Root Cause Analysis; 3.2.3 Inference-Based Fault Diagnosis; 3.3 Microreboot 3.3.1 Microrebootable System Design Guideline3.3.2 Automatic Recovery with Microreboot; 3.3.3 Implications of the Microrebooting Technique; 3.4 Overcoming Operator Errors; 3.4.1 The Operator Undo Model; 3.4.2 The Operator Undo Framework; References; 4 Data and Service Replication; 4.1 Service Replication; 4.1.1 Replication Styles; 4.1.2 Implementation of Service Replication; 4.2 Data Replication; 4.3 Optimistic Replication; 4.3.1 System Models; 4.3.2 Establish Ordering among Operations; 4.3.3 State Transfer Systems; 4.3.4 Operation Transfer System; 4.3.5 Update Commitment; 4.4 CAP Theorem 4.4.1 2 out 34.4.2 Implications of Enabling Partition Tolerance; References; 5 Group Communication Systems; 5.1 System Model; 5.2 Sequencer Based Group Communication System; 5.2.1 Normal Operation; 5.2.2 Membership Change; 5.2.3 Proof of Correctness; 5.3 Sender Based Group Communication System; 5.3.1 Total Ordering Protocol; 5.3.2 Membership Change Protocol; 5.3.3 Recovery Protocol; 5.3.4 The Flow Control Mechanism; 5.4 Vector Clock Based Group Communication System; References; 6 Consensus and the Paxos Algorithms; 6.1 The Consensus Problem; 6.2 The Paxos Algorithm 6.2.1 Algorithm for Choosing a Value6.2.2 Algorithm for Learning a Value; 6.2.3 Proof of Correctness; 6.2.4 Reasoning of the Paxos Algorithm; 6.3 Multi-Paxos; 6.3.1 Checkpointing and Garbage Collection; 6.3.2 Leader Election and View Change; 6.4 Dynamic Paxos; 6.4.1 Dynamic Paxos; 6.4.2 Cheap Paxos; 6.5 Fast Paxos; 6.5.1 The Basic Steps; 6.5.2 Collision Recovery, Quorum Requirement, and Value Selection Rule; 6.6 Implementations of the Paxos Family Algorithms; 6.6.1 Hard Drive Failures; 6.6.2 Multiple Coordinators; 6.6.3 Membership Changes; 6.6.4 Limited Disk Space for Logging; References
• More
• 摘要註: This book covers the most essential techniques for designing and building dependable distributed systems. Instead of covering a broad range of research works for each dependability strategy, the book focuses only a selected few (usually the most seminal works, the most practical approaches, or the first publication of each approach) are included and explained in depth, usually with a comprehensive set of examples. The goal is to dissect each technique thoroughly so that readers who are not familiar with dependable distributed computing can actually grasp the technique after studying the book.
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: