Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Dynamic atomic storage without consensus

Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, and Alexander Shraer

Abstract

This paper deals with the emulation of atomic read/write (R/W) storage in dynamic asynchronous message passing systems. In static settings, it is well known that atomic R/W storage can be implemented in a fault-tolerant manner even if the system is completely asynchronous, whereas consensus is not solvable. In contrast, all existing emulations of atomic storage in dynamic systems rely on consensus or stronger primitives, leading to a popular belief that dynamic R/W storage is unattainable without consensus. In this paper, we specify the problem of dynamic atomic read/write storage in terms of the interface available to the users of such storage. We discover that, perhaps surprisingly, dynamic R/W storage is solvable in a completely asynchronous system: we present DynaStore, an algorithm that solves this problem. Our result implies that atomic R/W storage is in fact easier than consensus, even in dynamic systems.

Details

Publication typeInproceedings
Published inProceedings of the ACM Symposium on Principles of Distributed Computing (PODC)
PublisherAssociation for Computing Machinery, Inc.
> Publications > Dynamic atomic storage without consensus