Common2 extended to stacks and unbounded concurrency

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.

• Type: Conference
• Year: 2006
• Where: PODC
• Authors: Yehuda Afek, Eli Gafni, Adam Morrison
• Keywords: Consensus Objects, Distributed And Parallel Computing, PODC 2006, Unbounded Concurrency Model, Wait-free Implementation