A Correctness Condition for High-Performance Multiprocessors

DOI10.1137/S0097539795289215zbMATH Open0907.68005MaRDI QIDQ4210126FDOQ4210126

Authors: Hagit Attiya, Roy Friedman 

Publication date: 21 September 1998

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

Recommendations

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

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)

Cited In (11)

• Title not available (Why is that?)
• 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)