Common2 extended to stacks and unbounded concurrency

Yehuda Afek*, Eli Gafni, Adam Morrison

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Common2, the family of objects that implement and are wait-free implementable from 2 consensus objects, is extended inhere in two ways: First, the stack object is added to the family - an object that was conjectured not to be in the family. Second, Common2 is investigated in the unbounded concurrency model, whereas until now it was considered only in an n-process model. We show that fetch-and-add, test-and-set, and stack are in Common2 even with respect to this stronger notion of wait-free implementation. This necessitated the wait-free implementation of immediate snapshots in the unbounded concurrency model, which was previously not known to be possible. In addition to extending Common2, the introduction of unbounded-concurrency may help in resolving the Common2 membership problem: If, as conjectured, queue is not implementable for a-priori known concurrency n, then it is definitely not implementable for unbounded concurrency. Proving the latter should be easier than proving the former. In addition we conjecture that the swap object, that has an n-process implementation, does not have an unbounded concurrency implementation.

Original languageEnglish
Title of host publicationProceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing 2006
PublisherAssociation for Computing Machinery
Pages218-227
Number of pages10
ISBN (Print)1595933840, 9781595933843
DOIs
StatePublished - 2006
Event25th Annual ACM Symposium on Principles of Distributed Computing 2006 - Denver, CO, United States
Duration: 23 Jul 200626 Jul 2006

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing
Volume2006

Conference

Conference25th Annual ACM Symposium on Principles of Distributed Computing 2006
Country/TerritoryUnited States
CityDenver, CO
Period23/07/0626/07/06

Keywords

  • Common2
  • Consensus number 2
  • Immediate snapshot
  • Queue
  • Stack
  • Unbounded concurrency
  • Wait-free

Cite this