Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality

We present a new class of fault-tolerant distributed algorithms based on a concept which we call region adherence. A region-adherent algorithm upper-bounds the violation of safety due to faults in space. Region adherence counter-poses the concept of self-stabilization which upper-bounds a violation of safety in time. It turns out that region adherence is an orthogonal concept to self-stabilization. We give a formal definition of region-adherence that, intuitively, upper-bounds the reduction of the algorithm's service quality per fault. Then, we present a sample algorithm that exhibits region-adherent behavior and prove this property formally. Finally, we analyze the service quality of the sample algorithm via simulation and compare it to the worst-case behavior stated by the region adherence property.

[1]  Charles P. Shelton,et al.  Using Architectural Properties to Model and Measure Graceful Degradation , 2002, WADS.

[2]  Felix C. Freiling,et al.  Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments , 1999, ACM Comput. Surv..

[3]  Ueli Maurer,et al.  Graceful Degradation in Multi-Party Computation (Extended Abstract) , 2011, ICITS.

[4]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[5]  Oliver E. Theel.  Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms , 2000, DISC.

[6]  Anish Arora,et al.  Component Based Design of Multitolerant Systems , 1998, IEEE Trans. Software Eng..

[7]  Martin Lukasiewycz,et al.  Incorporating graceful degradation into embedded system design , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[8]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[9]  Maurice Herlihy,et al.  Specifying graceful degradation in distributed systems , 1987, PODC '87.

[10]  Osamah A. Rawashdeh.  Towards Decentralized Management of Graceful Degradation in Distributed Embedded Systems , 2008 .

[11]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[12]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[13]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[14]  Joep L. W. Kessels,et al.  An Exercise in Proving Self-Stabilization with a Variant Function , 1988, Information Processing Letters.