Practically stabilizing SWMR atomic memory in message passing systems

Abstract : A fault-tolerant and practically 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 practically stabilizing 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.
Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-01123697
Contributeur : Sébastien Tixeuil <>
Soumis le : jeudi 5 mars 2015 - 12:24:15
Dernière modification le : vendredi 25 mai 2018 - 12:02:03

Identifiants

Collections

Citation

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, et al.. Practically stabilizing SWMR atomic memory in message passing systems. Journal of Computer and System Sciences, Elsevier, 2015, 81 (4), pp.692-701. 〈10.1016/j.jcss.2014.11.014〉. 〈hal-01123697〉

Partager

Métriques

Consultations de la notice

334