Monotonic stabilization

Yukiko Yamauchi; Sébastien Tixeuil

doi:10.1007/978-3-642-17653-1_34

Monotonic stabilization

Yukiko Yamauchi, Sébastien Tixeuil

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings
Pages	475-490
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-17653-1_34
Publication status	Published - Dec 1 2010
Externally published	Yes
Event	14th International Conference on Principles of Distributed Systems, OPODIS 2010 - Tozeur, Tunisia Duration: Dec 14 2010 → Dec 17 2010

Publication series

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

Other

Other	14th International Conference on Principles of Distributed Systems, OPODIS 2010
Country	Tunisia
City	Tozeur
Period	12/14/10 → 12/17/10

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

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

Fingerprint Dive into the research topics of 'Monotonic stabilization'. Together they form a unique fingerprint.

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 proceeding › Conference 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

@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 = dec,

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",

note = "14th International Conference on Principles of Distributed Systems, OPODIS 2010 ; Conference date: 14-12-2010 Through 17-12-2010",

}

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

T2 - 14th International Conference on Principles of Distributed Systems, OPODIS 2010

Y2 - 14 December 2010 through 17 December 2010

ER -