The complexity of robust atomic storage

Dobre, Dan; Guerraoui, Rachid; Majuntke, Matthias; Suri, Neeraj; Vukolic, Marko
PODC 2011, 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, June 6-8, 2011, San Jose, CA, USA

We study the time-complexity of robust atomic read/write storage from fault-prone storage components in asynchronous message-passing systems. Robustness here means wait-free

tolerating the largest possible number t of Byzantine storage component failures (optimal resilience) without relying on data authentication. We show that no single-writer multiple-reader (SWMR) robust atomic storage implementation exists if (a) read operations complete in less than four communication round-trips (rounds), and (b) the time-complexity of write operations is constant. More precisely, we present two lower bounds. The first is a read lower bound stating that three rounds of communication are necessary to read from a SWMR robust atomic storage. The second is a write lower bound, showing that (log(t)) write rounds are necessary to read in three rounds from such a storage. Applied to known results, our lower bounds close a fundamental gap: we show that time-optimal robust atomic storage can be obtained using well-known transformations from regular to atomic storage and existing time-optimal regular storage implementations.


DOI
Type:
Conference
City:
San Jose
Date:
2011-06-06
Department:
Digital Security
Eurecom Ref:
3458
Copyright:
© ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PODC 2011, 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, June 6-8, 2011, San Jose, CA, USA http://dx.doi.org/10.1145/1993806.1993816

PERMALINK : https://www.eurecom.fr/publication/3458