A note on atomicity: Boosting Test&Set to solve consensus

Authors:
Damien Imbs;Michel Raynal
Affiliations:
IRISA, University of Rennes, Campus de Beaulieu, 35042 Rennes Cedex, France;IRISA, University of Rennes, Campus de Beaulieu, 35042 Rennes Cedex, France
Venue:
Information Processing Letters
Year:
2009

Citing 3
Cited 1

Wait-free synchronization

ACM Transactions on Programming Languages and Systems (TOPLAS)
More choices allow more faults: set consensus problems in totally asynchronous systems

Information and Computation
From adaptive renaming to set agreement

Theoretical Computer Science

On the implementation of concurrent objects

Dependable and Historic Computing

Quantified Score

Hi-index	0.89

Visualization

Abstract

This short note shows how a simple extension of object types with consensus number 2 boosts them to an infinite consensus number. This extension is a simple embedding of a shared memory write within the base operation defining the corresponding type with consensus number 2. The style of this note is voluntarily informal.