Alternators in read/write atomicity

DOI10.1016/J.IPL.2004.11.009MaRDI QIDQ835032zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 27 August 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2004.11.009

zbMATH Keywords

algorithmsstabilizationconcurrencyprogram transformationalternatorconcurrent execution model (powerset semantics)read/write atomicityserial execution model (interleaving semantics)

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• The alternator
• Alternators on uniform rings of odd size
• Randomized three-state alternator for uniform rings
• Optimal 1-fair alternators
• The mutual exclusion problem: part II---Statement and solutions

Cites work

• scientific article; zbMATH DE number 2061542 (Why is no real title available?)
• scientific article; zbMATH DE number 1919504 (Why is no real title available?)
• A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
• Self-stabilizing systems in spite of distributed control
• Stabilization-preserving atomicity refinement
• The alternator

Cited in

(5)

• Optimal 1-fair alternators
• The alternator
• A very simple construction of 1-writer multireader multivalued atomic variable
• Alternators on uniform rings of odd size
• Synchronous vs. asynchronous unison

This page was built for publication: Alternators in read/write atomicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q835032)