Simple extensions of 1-writer atomic variable constructions to multiwriter ones
type: Item
instance of: scholarly article
title: Simple extensions of 1-writer atomic variable constructions to multiwriter ones
zbMATH Open document ID: 0837.68023
author: S. Haldar
author: K. Vidyasankar
published in: Acta Informatica
publication date: 1995-11-16T00:00:00Z
review text: We present several simple wait-free constructions of multiwriter multireader multivalued atomic shared variables. These are extensions of two 1-writer constructions in the literature and use a multiwriter multireader fixed-valued atomic variable. All the constructions are intuitive, and their correctness proofs are short and easy to follow. Some constructions are conflict-free, that is, in each execution, no reading of a buffer overlaps with any writing of that buffer. All the conflict-free constructions have the property that there is only one reading of a buffer in a read execution. Some of them have the additional property that there is only one writing of a 1-reader buffer, for each reader, in a write execution.
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 814147
zbMATH Keywords: wait-free constructions
zbMATH Keywords: multiwriter multireader multivalued atomic shared variables
zbMATH Keywords: correctness proofs
zbMATH Keywords: conflict-free constructions
MaRDI profile type: Publication
full work available at URL: s002360050040
OpenAlex ID: W2091865573
cites work: Q3823129
cites work: On interprocess communication. I: Basic formalism
cites work: How to share concurrent wait-free variables
cites work: Concurrent reading while writing revisited
DOI: 10.1007/S002360050040
description: scientific article; zbMATH DE number 814147