Abstract
Bounding the impact of transient small-scale faults by self-stabilizing protocols has been pursued with independent objectives: Optimizing the system's reaction upon topological changes (e.g. super-stabilization), and reducing system recovery time from memory corruptions (e.g. fault-containment). Even though transformations adding either super-stabilization or fault-containment to existing protocols exist, none of them preserves the other. This paper makes a first attempt to combine both objectives. We provide a transformation adding fault-containment to silent self-stabilizing protocols while simultaneously preserving the property of self-stabilization and the protocol's behavior in face of topological changes. In particular, the protocol's response to a topology change remains unchanged even if a memory corruption occurs in parallel to the topology change. The presented transformation increases the memory footprint only by a factor of 4 and adds O(1) bits per edge. All previously known transformations for fault-containing self-stabilization increase the memory footprint by a factor of 2m/n.
Original language | English |
---|---|
Title of host publication | Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings |
Pages | 311-325 |
Number of pages | 15 |
DOIs | |
State | Published - 2011 |
Externally published | Yes |
Event | 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011 - Grenoble, France Duration: 10 Oct 2011 → 12 Oct 2011 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 6976 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011 |
---|---|
Country/Territory | France |
City | Grenoble |
Period | 10/10/11 → 12/10/11 |
Bibliographical note
Funding Information:This research was funded by the German Research Foundation (DFG), contract number TU 221/3-1.