Self-Stabilization

Name: Self-Stabilization
Price: 8.83 USD
Availability: InStock
ISBN: 9780262041782

ISBN-10: 0262041782

ISBN-13: 9780262041782

Edition: 2000

Authors: Shlomi Dolev

List price: $50.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $8.83

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

Presenting the fundamentals, this book demonstrates the process of designing self-stabilizing distributed systems. It details the algorithms that can be started in an arbitrary state, allowing the system to recover from the faults.

Book details

List price: $50.00
Copyright year: 2000
Publisher: MIT Press
Publication date: 2/16/2000
Binding: Hardcover
Pages: 208
Size: 6.25" wide x 9.50" long x 0.75" tall
Weight: 0.880
Language: English



Preface



Introduction



Definitions, Techniques, and Paradigms



Definitions of the Computational Model



Self-Stabilization Requirements



Complexity Measures



Randomized Self-Stabilization



Example: Spanning-Tree Construction



Example: Mutual Exclusion



Fair Composition of Self-Stabilizing Algorithms



Recomputation of Floating Output



Proof Techniques



Pseudo-Self-Stabilization



Motivating Self-Stabilization



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



Arbitrary Configuration Because of Crashes



Frequently Asked Questions



Self-Stabilizing Algorithms for Model Conversions



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



Data-Link Algorithms: Converting Shared Memory to Message Passing



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



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



Stabilizing Synchronizers: Converting Synchronous to Asynchronous Algorithms



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



Stabilizers



Resynchronous Stabilizer



Monitoring and Resetting



Convergence in the Presence of Faults



Digital Clock Synchronization



Stabilization in Spite of Napping



Stabilization in Spite of Byzantine Faults



Stabilization in the Presence of Faults in Asynchronous Systems



Local Stabilization



Superstabilization



Self-Stabilizing Fault-Containing Algorithms



Error-Detection Codes and Repair



Self-Stabilizing Computing



The Computation Power of Self-Stabilizing Systems



Queue Machine


References


Index