Immediate atomic snapshots and fast renaming
Immediate atomic snapshots and fast renaming
复制标题
立即原子快照和快速重命名
DOI:
--
复制
发表时间:
1993
期刊:
影响因子:
--
通讯作者:
E. Gafni
中科院分区:
文献类型:
--
作者:
E. Borowsky;E. Gafni
This paper investigates a new shared-memory model called immediate atomic snapshot memor~. It is an extension of atomic snapshot memory in which a write operation in addition to ~vriting, also returns an atomic snapshot of the memory. Unlike regular atomic snapshot, immediate snapshot is guaranteed to closely follow the write operation. This model was previously used to obtain an inlpossibility result. Here we investigate its utility for the design of algorithms. We first implement the one-shot version in the read-write model. We then use the model to design a new renaming algorithm. The renaming algorithm we obtain is simple and requires at worst n cycles of one-shot immediate snapshots. Since our implementation of the oneshot immediate snapshot requires 0( nz) primitive read-write operations, we obtain an 0(n3) renanling algorithm. Currently the best renaming algorithm is exponential, Our implementation of the immediate snapshot relies on a priori knowledge of the bound on the *Work supported by NSF Presidential Young Investigator Award under grant DC R84-5 1396. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and Its date appear, and notice is given thet copying ie by permissi~n of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. 12th ACM Sympos!um on Principles on Distributed Computing, Ithaca NY @ 1993 ACM o-89791-613-l/93/0008/0041 . . ..$ 1.50 number of snapshots to be taken. We were not able to dispense with this condition and thus were unable to obtain an implementation of the longlived object.