Ideal Stabilization - Computer Science > Distributed, Parallel, and Cluster ComputingReportar como inadecuado

Ideal Stabilization - Computer Science > Distributed, Parallel, and Cluster Computing - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We define and explore the concept of ideal stabilization. The program isideally stabilizing if its every state is legitimate. Ideal stabilizationallows the specification designer to prescribe with arbitrary degree ofprecision not only the fault-free program behavior but also its recoveryoperation. Specifications may or may not mention all possible states. Weidentify approaches to designing ideal stabilization to both kinds ofspecifications. For the first kind, we state the necessary condition for anideally stabilizing solution. On the basis of this condition we prove thatthere is no ideally stabilizing solution to the leader election problem. Weillustrate the utility of the concept by providing examples of well-knownprograms and proving them ideally stabilizing. Specifically, we prove idealstabilization of the conflict manager, the alternator, the propagation ofinformation with feedback and the alternating bit protocol.

Autor: Mikhail Nesterenko, Sébastien Tixeuil LIP6


Documentos relacionados