大葉大學圖書館 |

Building dependable distributed systems[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.1
書名/作者:	Building dependable distributed systems/ Wenbing Zhao.
作者:	Zhao, Wenbing.
出版者:	Hoboken, New Jersey : : Wiley,, c2014.
面頁冊數:	1 online resource (xxviii, 335 p.)
標題:	Electronic data processing - Distributed processing.
標題:	Computer security.
ISBN:	9781118912744 (electronic bk.)
ISBN:	1118912748 (electronic bk.)
書目註:	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.
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781118912744

Building dependable distributed systems[electronic resource] /
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:

404378
Electronic data processing
--Distributed processing.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.1

Building dependable distributed systems[electronic resource] /
LDR:04700cam a2200373Ia 4500 001 437141
003 OCoLC
005 20140506052335.0
006 m o d
007 cr |||||||||||
008 160125s2014 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 623262
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 404378
650 0 $a Computer security. $3 338952
830 0 $a Performability Engineering Series. $3 623263
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118912744