國立虎尾科技大學 |

Building dependable distributed systems DUP_1

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Building dependable distributed systems DUP_1/ Wenbing Zhao.
Author:	Zhao, Wenbing.
Published:	Hoboken, New Jersey :Wiley, : c2014.,
Description:	1 online resource (xxviii, 335 p.)
Subject:	Electronic data processing - Distributed processing. -
Online resource:	http://onlinelibrary.wiley.com/book/10.1002/9781118912744
ISBN:	9781118912744 (electronic bk.)

Building dependable distributed systems DUP_1
Zhao, Wenbing.

Building dependable distributed systems DUP_1[electronic resource] /Wenbing Zhao. - Hoboken, New Jersey :Wiley,c2014. - 1 online resource (xxviii, 335 p.) - Performability Engineering Series. - Performability Engineering Series..

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

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.

ISBN: 9781118912744 (electronic bk.)Subjects--Topical Terms:

528325
Electronic data processing
--Distributed processing.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.1

Building dependable distributed systems DUP_1
LDR:04706cam a2200373Ia 4500 001 832344
003 OCoLC
005 20140506052335.0
006 m o d
007 cr |||||||||||
008 160127s2014 nju ob 001 0 eng d
020 $a 9781118912744 (electronic bk.)
020 $a 1118912748 (electronic bk.)
020 $z 9781118549438
020 $z 1118549430
020 $z 9781118912706
020 $z 1118912705
035 $a (OCoLC)874321900
035 $a ocn874321900
040 $a EBLCP $b eng $c EBLCP $d IDEBK $d DG1 $d E7B $d CUS
050 4 $a QA76.9.A25
082 0 4 $a 005.1
100 1 $a Zhao, Wenbing. $3 1058946
245 1 0 $a Building dependable distributed systems DUP_1 $h [electronic resource] / $c Wenbing Zhao.
260 $a Hoboken, New Jersey : $b Wiley, $c c2014.
300 $a 1 online resource (xxviii, 335 p.)
490 1 $a Performability Engineering Series
504 $a Includes bibliographical references and index.
505 0 $a 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
505 8 $a 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
505 8 $a 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
505 8 $a 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
505 8 $a 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
520 $a 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.
588 $a Description based on online resource; title from PDF title page (Wiley, viewed on April 28, 2014)
650 0 $a Electronic data processing $x Distributed processing. $3 528325
650 0 $a Computer security. $3 557122
830 0 $a Performability Engineering Series. $3 1058947
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118912744