Silent Anonymous Snap-Stabilizing Termination Detection - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

Silent Anonymous Snap-Stabilizing Termination Detection


We address the problem of Termination Detection (TD) in asynchronous networks. It is known that TD cannot be achieved in the context of self-stabilization, except in the specific case where the TD algorithm is snap-stabilizing, i.e., it always behaves according to its specification regardless of the initial configuration. In this paper, we propose a generic, deterministic, snap-stabilizing, silent algorithm that detects whether an observed terminating silent self-stabilizing algorithm, A, has converged to a configuration that satisfies an intended predicate. Our algorithm assumes that nodes know (an upper bound on) the network diameter D. However, it requires no underlying structure, nor specific topology (arbitrary network), and works in anonymous networks, i.e., our algorithm uses no kind of assumption allowing distinguishing one or more nodes. Furthermore, it works under the weakest scheduling assumptions a.k.a, the unfair daemon. Built over any asynchronous self-stabilizing underlying unison U, our solution adds only O(log D) bits per node. Since there exists no unison algorithm with better space complexity, the extra space of our solution is negligible w.r.t. the space complexity of the underlying unison algorithm. Our algorithm provides a positive answer in O(max(k, k'), D) time units, where k and k' are the stabilization time complexities of A and U, respectively.
No file

Dates and versions

hal-04004390 , version 1 (24-02-2023)



Lelia Blin, Colette Johnen, Gabriel Le Bouder, Franck Petit. Silent Anonymous Snap-Stabilizing Termination Detection. 2022 41st International Symposium on Reliable Distributed Systems (SRDS), Sep 2022, Vienna, Austria. pp.156-165, ⟨10.1109/SRDS55811.2022.00023⟩. ⟨hal-04004390⟩
12 View
0 Download



Gmail Facebook X LinkedIn More