TY - GEN
T1 - On liveness of dynamic storage
AU - Spiegelman, Alexander
AU - Keidar, Idit
N1 - Publisher Copyright: © Springer International Publishing AG 2017.
PY - 2017
Y1 - 2017
N2 - Dynamic distributed storage algorithms such as DynaStore, Reconfigurable Paxos, RAMBO, and RDS, do not ensure liveness (wait-freedom) in asynchronous runs with infinitely many reconfigurations. We prove that this is inherent for asynchronous dynamic storage algorithms. Our result holds even if only one process may fail, provided that machines that were successfully removed from the system’s configuration can be switched off by a system administrator. To circumvent this result, we define a dynamic eventually perfect failure detector, and present an algorithm that uses it to emulate wait-free dynamic atomic storage. Though some of the previous algorithms have been designed for eventually synchronous models, to the best of our knowledge, our algorithm is the first to ensure liveness for all operations without restricting the reconfiguration rate.
AB - Dynamic distributed storage algorithms such as DynaStore, Reconfigurable Paxos, RAMBO, and RDS, do not ensure liveness (wait-freedom) in asynchronous runs with infinitely many reconfigurations. We prove that this is inherent for asynchronous dynamic storage algorithms. Our result holds even if only one process may fail, provided that machines that were successfully removed from the system’s configuration can be switched off by a system administrator. To circumvent this result, we define a dynamic eventually perfect failure detector, and present an algorithm that uses it to emulate wait-free dynamic atomic storage. Though some of the previous algorithms have been designed for eventually synchronous models, to the best of our knowledge, our algorithm is the first to ensure liveness for all operations without restricting the reconfiguration rate.
UR - http://www.scopus.com/inward/record.url?scp=85040118011&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-72050-0_21
DO - 10.1007/978-3-319-72050-0_21
M3 - منشور من مؤتمر
SN - 9783319720494
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 356
EP - 376
BT - Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Revised Selected Papers
A2 - Das, Shantanu
A2 - Tixeuil, Sebastien
T2 - 24th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2017
Y2 - 19 June 2017 through 22 June 2017
ER -