Practically stabilizing SWMR atomic memory in message passing systems - Sorbonne Université Access content directly
Journal Articles Journal of Computer and System Sciences Year : 2015

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.

Dates and versions

hal-01123697 , version 1 (05-03-2015)

Identifiers

Cite

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, 2015, 81 (4), pp.692-701. ⟨10.1016/j.jcss.2014.11.014⟩. ⟨hal-01123697⟩
322 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More