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.
Type de document :
Communication dans un congrès
SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. Springer, 6976, pp.19-31, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-24550-3_4〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00627780
Contributeur : Swan Dubois <>
Soumis le : jeudi 29 septembre 2011 - 15:32:50
Dernière modification le : jeudi 11 janvier 2018 - 06:28:03

Identifiants

Collections

Citation

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, et al.. Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems. SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. Springer, 6976, pp.19-31, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-24550-3_4〉. 〈inria-00627780〉

Partager

Métriques

Consultations de la notice

141