東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back to Search results for [ null ]

Switch To: Labeled | MARC Mode | ISBD

Building dependable distributed systems

Zhao, Wenbing.

Linked to FindBook

Google Book

Amazon

博客來

Building dependable distributed systems

Record Type:	Electronic resources : Monograph/item
Title/Author:	Building dependable distributed systems/ Wenbing Zhao.
Author:	Zhao, Wenbing.
Published:	Hoboken, New Jersey :Wiley, : c2014.,
Description:	1 online resource (xxviii, 335 p.)
[NT 15003449]:	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
[NT 15003449]:	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
[NT 15003449]:	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
[NT 15003449]:	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
[NT 15003449]:	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
Subject:	Electronic data processing - Distributed processing. -
Online resource:	http://onlinelibrary.wiley.com/book/10.1002/9781118912744
ISBN:	9781118912744 (electronic bk.)

Building dependable distributed systems
Zhao, Wenbing.

Building dependable distributed systems[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:

548601
Electronic data processing
--Distributed processing.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.1

Building dependable distributed systems
LDR:04700cmm a2200373Ia 4500 001 2002835
003 OCoLC
005 20140506052335.0
006 m o d
007 cr |||||||||||
008 151223s2014 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 2147598
245 1 0 $a Building dependable distributed systems $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 548601
650 0 $a Computer security. $3 540555
830 0 $a Performability Engineering Series. $3 2147599
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118912744