Talks and Poster Presentations (with Proceedings-Entry):
M. Hutle, J. Widder:
"On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection";
Talk: Seventh International Symposium on Self Stabilizing Systems (SSS 2005),
Barcelona, Spanien;
2005-10-26
- 2005-10-27; in: "Self Stabilizing Systems",
(2005),
153
- 170.
English abstract:
This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation using just bounded memory if there is no known upper bound on the number of messages that may be in transit simultaneously. With relaxed assumptions we then introduce two algorithms that solve the problem. We use self-stabilization to show that message-driven and time-driven semantics are different regarding expressiveness: Comparison with work by Beauquier and Kekkonen-Moneta (1997) reveals that the discussed problem has a time-driven solution but cannot have a message-driven~one.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936312