On the use of registers in achieving wait-free consensus

Rida Bazzi, Gil Neiger, Gary L. Peterson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

The computational power of concurrent data types has been the focus of much recent research. Herlihy showed that such power may be measured by examining the type's ability to implement wait-free consensus. Jayanti argued that this "ability" could be measured in different ways, depending, for example, on whether or not read/write registers could be used in an implementation. He demonstrated the significance of this distinction by exhibiting a nondeterministic type whose ability to implement consensus was increased with the availability of registers. We show that registers cannot increase the computational power (to implement consensus) of any deterministic type or of any type that can implement 2-process consensus. These results significantly impact upon the study of the wait-free hierarchies of concurrent data types. In particular, the combination of these results with other recent works shows that Jayanti's hm hierarchy is robust for deterministic types.

Original languageEnglish (US)
Title of host publicationProceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994
PublisherAssociation for Computing Machinery
Pages354-362
Number of pages9
VolumePart F129432
ISBN (Electronic)0897916549
DOIs
StatePublished - Aug 14 1994
Externally publishedYes
Event13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994 - Los Angeles, United States
Duration: Aug 14 1994Aug 17 1994

Other

Other13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994
CountryUnited States
CityLos Angeles
Period8/14/948/17/94

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'On the use of registers in achieving wait-free consensus'. Together they form a unique fingerprint.

  • Cite this

    Bazzi, R., Neiger, G., & Peterson, G. L. (1994). On the use of registers in achieving wait-free consensus. In Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994 (Vol. Part F129432, pp. 354-362). Association for Computing Machinery. https://doi.org/10.1145/197917.198124