Monotonic Stabilization - Archive ouverte HAL Access content directly
Conference Papers Year :

Monotonic Stabilization

Yukiko Yamauchi
  • Function : Author
Sébastien Tixeuil


Self-stabilization guarantees convergence to a legitimate configuration in every execution starting from any initial configuration. However, during convergence, most self-stabilizing protocols make unnecessary output changes that do not directly contribute to the progress of convergence. We define and study monotonic stabilization, where every output change is a step toward convergence. That is, any output change at a process p gives the final output of p in the legitimate configuration to be reached. It turns out that monotonic stabilization requires additional information exchange between processes, and we present task dependent tradeoff results with respect to the locality of exchanged information.

Dates and versions

hal-01290770 , version 1 (18-03-2016)



Yukiko Yamauchi, Sébastien Tixeuil. Monotonic Stabilization. OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩. ⟨hal-01290770⟩
40 View
0 Download



Gmail Facebook Twitter LinkedIn More