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
Y1 - 2011
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
UR - http://www.scopus.com/inward/citedby.url?scp=80054710855&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24550-3_4
DO - 10.1007/978-3-642-24550-3_4
M3 - Conference contribution
AN - SCOPUS:80054710855
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 -