A Correctness Condition for High-Performance Multiprocessors

DOI10.1137/S0097539795289215MaRDI QIDQ4210126zbMATH OpenFDO

Authors Hagit Attiya, Roy Friedman

Publication date 21 September 1998

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

zbMATH Keywords

sequential consistencyconsistency conditionsweak consistencydistributed shared memoryhybrid consistency

Mathematics Subject Classification ID

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

Recommendations

• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
• Implementing hybrid consistency with high-level synchronization operations
• Testing Shared Memories

Cited in

(11)

• scientific article; zbMATH DE number 1432321 (Why is no real title available?)
• Implementing hybrid consistency with high-level synchronization operations
• On the composability of consistency conditions
• Hundreds of impossibility results for distributed computing
• On the locality of consistency conditions
• Multiwriter consistency conditions for shared memory registers
• Limitations of fast consistency conditions for distributed shared memories
• Algebraic topology and concurrency
• Multi-writer consistency conditions for shared memory objects
• Relaxed data types as consistency conditions
• Randomized registers and iterative algorithms

This page was built for publication: A Correctness Condition for High-Performance Multiprocessors

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