Pragmatic self-stabilization of atomic memory in message-passing systems

Noga Alon; Hagit Attiya; Shlomi Dolev; Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil

doi:10.1007/978-3-642-24550-3_4

Pragmatic self-stabilization of atomic memory in message-passing systems

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil

Tel Aviv University, Ben-Gurion University of the Negev, Technion - Israel Institute of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

A fault-tolerant and stabilizing simulation of an atomic register is presented. The simulation works in asynchronous message-passing systems, and allows a minority of processes to crash. The simulation stabilizes in a pragmatic manner, by reaching a long execution in which it runs correctly. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme accommodating arbitrary labels, including those not generated by the scheme itself.

Original language	English
Title of host publication	Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings
Pages	19-31
Number of pages	13
DOIs	https://doi.org/10.1007/978-3-642-24550-3_4
State	Published - 21 Oct 2011
Event	13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011 - Grenoble, France Duration: 10 Oct 2011 → 12 Oct 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6976 LNCS

Conference

Conference	13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011
Country/Territory	France
City	Grenoble
Period	10/10/11 → 12/10/11

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-24550-3_4

Cite this

Alon, N., Attiya, H., Dolev, S., Dubois, S., Potop-Butucaru, M., & Tixeuil, S. (2011). Pragmatic self-stabilization of atomic memory in message-passing systems. In Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings (pp. 19-31). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6976 LNCS). https://doi.org/10.1007/978-3-642-24550-3_4

Alon, Noga ; Attiya, Hagit ; Dolev, Shlomi et al. / Pragmatic self-stabilization of atomic memory in message-passing systems. Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings. 2011. pp. 19-31 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4667fea7c3204ec6bbc9a1198b2e5d5e,

title = "Pragmatic self-stabilization of atomic memory in message-passing systems",

abstract = "A fault-tolerant and stabilizing simulation of an atomic register is presented. The simulation works in asynchronous message-passing systems, and allows a minority of processes to crash. The simulation stabilizes in a pragmatic manner, by reaching a long execution in which it runs correctly. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme accommodating arbitrary labels, including those not generated by the scheme itself.",

author = "Noga Alon and Hagit Attiya and Shlomi Dolev and Swan Dubois and Maria Potop-Butucaru and S{\'e}bastien Tixeuil",

note = "Funding Information: Research of the first author supported in part by an ERC advanced grant, by a USA-Israeli BSF grant, by the Israel Science Foundation. Research of the second author supported in part by the Israel Science Foundation (grants number 953/06 and 1227/10). The work started while the second author was visiting EPFL, and the third author was a visiting professor at LIP6. Research supported in part by the ICT Programme of the European Union under contract number FP7-215270 (FRONTS), Microsoft, Deutsche Telekom, US Air-Force, Israel Science Foundation (grant number 428/11), and Rita Altura Trust Chair in Computer Sciences.; 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011 ; Conference date: 10-10-2011 Through 12-10-2011",

year = "2011",

month = oct,

day = "21",

doi = "10.1007/978-3-642-24550-3_4",

language = "الإنجليزيّة",

isbn = "9783642245497",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "19--31",

booktitle = "Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings",

}

Alon, N, Attiya, H , Dolev, S, Dubois, S, Potop-Butucaru, M & Tixeuil, S 2011, Pragmatic self-stabilization of atomic memory in message-passing systems. in Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6976 LNCS, pp. 19-31, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, Grenoble, France, 10/10/11. https://doi.org/10.1007/978-3-642-24550-3_4

Pragmatic self-stabilization of atomic memory in message-passing systems. / Alon, Noga; Attiya, Hagit ; Dolev, Shlomi et al.
Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings. 2011. p. 19-31 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6976 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Pragmatic self-stabilization of atomic memory in message-passing systems

AU - Alon, Noga

AU - Attiya, Hagit

AU - Dolev, Shlomi

AU - Dubois, Swan

AU - Potop-Butucaru, Maria

AU - Tixeuil, Sébastien

N1 - Funding Information: Research of the first author supported in part by an ERC advanced grant, by a USA-Israeli BSF grant, by the Israel Science Foundation. Research of the second author supported in part by the Israel Science Foundation (grants number 953/06 and 1227/10). The work started while the second author was visiting EPFL, and the third author was a visiting professor at LIP6. Research supported in part by the ICT Programme of the European Union under contract number FP7-215270 (FRONTS), Microsoft, Deutsche Telekom, US Air-Force, Israel Science Foundation (grant number 428/11), and Rita Altura Trust Chair in Computer Sciences.

PY - 2011/10/21

Y1 - 2011/10/21

N2 - A fault-tolerant and stabilizing simulation of an atomic register is presented. The simulation works in asynchronous message-passing systems, and allows a minority of processes to crash. The simulation stabilizes in a pragmatic manner, by reaching a long execution in which it runs correctly. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme accommodating arbitrary labels, including those not generated by the scheme itself.

AB - A fault-tolerant and stabilizing simulation of an atomic register is presented. The simulation works in asynchronous message-passing systems, and allows a minority of processes to crash. The simulation stabilizes in a pragmatic manner, by reaching a long execution in which it runs correctly. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme accommodating arbitrary labels, including those not generated by the scheme itself.

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

U2 - 10.1007/978-3-642-24550-3_4

DO - 10.1007/978-3-642-24550-3_4

M3 - منشور من مؤتمر

SN - 9783642245497

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

SP - 19

EP - 31

BT - Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings

T2 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011

Y2 - 10 October 2011 through 12 October 2011

ER -

Alon N, Attiya H , Dolev S, Dubois S, Potop-Butucaru M, Tixeuil S. Pragmatic self-stabilization of atomic memory in message-passing systems. In Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings. 2011. p. 19-31. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-24550-3_4

Pragmatic self-stabilization of atomic memory in message-passing systems

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this