Self-Stabilization: Shlomi Dolev: 9780262041782: Book: Computers: eCampus.com

Self-stabilization, an important concept to theoreticians and practitioners in distributed computing and communication networks, refers to a system's ability to recover automatically from unexpected faults. In this book Shlomi Dolev presents the fundamentals of self-stabilization and demonstrates the process of designing self-stabilizing distributed systems. He details the algorithms that can be started in an arbitrary state, allowing the system to recover from the faults that brought it to that state. The book proceeds from the basic concept of self-stabilizing algorithms to advanced applications.

Presents the fundamentals of self-stabilization and demonstrates the process of designing self- stabilizing distributed systems. Details the algorithms that can be started in an arbitrary state, allowing the system to recover from the faults that brought it to that state. DLC: Self-stabilization (Computer science).

Shlomi Dolev presents the fundamentals of self-stabilization and demonstrates the process of designing self-stabilizing distributed systems.

Preface

vii

Introduction

(4)

Definitions, Techniques, and Paradigms

(52)

Definitions of the Computational Model

(4)

Self-Stabilization Requirements

(1)

Complexity Measures

(2)

Randomized Self-Stabilization

(1)

Example: Spanning-Tree Construction

(4)

Example: Mutual Exclusion

(6)

Fair Composition of Self-Stabilizing Algorithms

(5)

Recomputation of Floating Output

(4)

Proof Techniques

(14)

Pseudo-Self-Stabilization

(12)

Motivating Self-Stabilization

(14)

Initialization of a Data-Link Algorithm in the Presence of Faults

(4)

Arbitrary Configuration Because of Crashes

(5)

Frequently Asked Questions

(5)

Self-Stabilizing Algorithms for Model Conversions

(50)

Token-Passing: Converting a Central Daemon to read/write

(2)

Data-Link Algorithms: Converting Shared Memory to Message Passing

(14)

Self-Stabilizing Ranking: Converting an Id-based System to a Special-processor System

(3)

Update: Converting a Special Processor to an Id-based Dynamic System

(8)

Stabilizing Synchronizers: Converting Synchronous to Asynchronous Algorithms

(12)

Self-Stabilizing Naming in Uniform Systems: Converting Id-based to Uniform Dynamic Systems

110

(11)

Stabilizers

121

(14)

Resynchronous Stabilizer

121

(2)

Monitoring and Resetting

123

(12)

Convergence in the Presence of Faults

135

(24)

Digital Clock Synchronization

137

(5)

Stabilization in Spite of Napping

142

(4)

Stabilization in Spite of Byzantine Faults

146

(9)

Stabilization in the Presence of Faults in Asynchronous Systems

155

(4)

Local Stabilization

159

(14)

Superstabilization

159

(5)

Self-Stabilizing Fault-Containing Algorithms

164

(4)

Error-Detection Codes and Repair

168

(5)

Self-Stabilizing Computing

173

(14)

The Computation Power of Self-Stabilizing Systems

173

(8)

Queue Machine

181

(6)

References

187

(6)

Index

193


	Buy Textbooks Sell Textbooks College Apparel Shop by School Virtual Bookstores	Order Status Shipping Rates Return Policy Marketplace Info F.A.S.T.	Contact Us Privacy Policy Legal Notices Site Security Employment	Help Desk eCampus Blog Affiliate Program Bulk Orders College Marketing

Need Help? eService@ecampus.com Copyright© 1999-2008
.