M. Hutle, J. Widder:
"Time Free Self-Stabilizing Local Failure Detection";
Report for Research Report 33/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
It is widely acknowledged that failure detection is a useful building block for reliable distributed systems. Since many applications rely on it, implementations of failure detectors should often be as reliable as possible. In this paper we present a failure detector implementation which tries to reconcile two approaches: Self-stabilization and weak timing models. We introduce two time free self-stabilizing local failure detector implementations. The first handles an unbounded number of messages which may stem from the unstable period, but requires unbounded space. The second, more practical, implementation requires just bounded space while assuming a known upper bound on the number of messages -- a reasonable assumption for many networks.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.