Monotonic stabilization

Yukiko Yamauchi, Sébastien Tixeuil

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationPrinciples of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings
Pages475-490
Number of pages16
DOIs
Publication statusPublished - Dec 1 2010
Event14th International Conference on Principles of Distributed Systems, OPODIS 2010 - Tozeur, Tunisia
Duration: Dec 14 2010Dec 17 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6490 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other14th International Conference on Principles of Distributed Systems, OPODIS 2010
CountryTunisia
CityTozeur
Period12/14/1012/17/10

Fingerprint

Monotonic
Stabilization
Output
Configuration
Self-stabilization
Locality
Trade-offs
Dependent

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Yamauchi, Y., & Tixeuil, S. (2010). Monotonic stabilization. In Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings (pp. 475-490). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6490 LNCS). https://doi.org/10.1007/978-3-642-17653-1_34

Monotonic stabilization. / Yamauchi, Yukiko; Tixeuil, Sébastien.

Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings. 2010. p. 475-490 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6490 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yamauchi, Y & Tixeuil, S 2010, Monotonic stabilization. in Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6490 LNCS, pp. 475-490, 14th International Conference on Principles of Distributed Systems, OPODIS 2010, Tozeur, Tunisia, 12/14/10. https://doi.org/10.1007/978-3-642-17653-1_34
Yamauchi Y, Tixeuil S. Monotonic stabilization. In Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings. 2010. p. 475-490. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-17653-1_34
Yamauchi, Yukiko ; Tixeuil, Sébastien. / Monotonic stabilization. Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings. 2010. pp. 475-490 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{f655d616de70455d8b627050e74d701e,
title = "Monotonic stabilization",
abstract = "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.",
author = "Yukiko Yamauchi and S{\'e}bastien Tixeuil",
year = "2010",
month = "12",
day = "1",
doi = "10.1007/978-3-642-17653-1_34",
language = "English",
isbn = "3642176526",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "475--490",
booktitle = "Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings",

}

TY - GEN

T1 - Monotonic stabilization

AU - Yamauchi, Yukiko

AU - Tixeuil, Sébastien

PY - 2010/12/1

Y1 - 2010/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=78650859613&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650859613&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-17653-1_34

DO - 10.1007/978-3-642-17653-1_34

M3 - Conference contribution

AN - SCOPUS:78650859613

SN - 3642176526

SN - 9783642176524

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 475

EP - 490

BT - Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings

ER -