Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies

DOI10.1137/S0097539794278396zbMath0907.68003MaRDI QIDQ4388863

Roy Friedman, Soma Chaudhuri, Hagit Attiya, Jennifer Lundelius Welch

Publication date: 10 May 1998

Published in: SIAM Journal on Computing (Search for Journal in Brave)

zbMATH Keywords

distributed shared memoryconsistency conditionssequential consistency

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07)

Related Items (3)

Implementing sequentially consistent programs on processor consistent platforms ⋮ Randomized registers and iterative algorithms ⋮ Linearizable read/write objects

This page was built for publication: Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies