An operational model for multiprocessors with caches

DOI10.1007/978-3-642-15240-5_27MaRDI QIDQ3163899zbMATH OpenOpenAlexFDO

Authors Salil Joshi, Sanjiva Prasad

Publication date 27 October 2010

Published in IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15240-5_27

zbMATH Keywords

cache effectsprogram execution

Mathematics Subject Classification ID

Computer system organization (68M99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• On the correctness of program execution when cache coherence is maintained locally at data-sharing boundaries in distributed shared memory multiprocessors
• Programmer-centric memory consistency modelling
• scientific article; zbMATH DE number 2102714
• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
• Sequential consistency and the lazy caching algorithm

Cited in

(1)

• On the correctness of program execution when cache coherence is maintained locally at data-sharing boundaries in distributed shared memory multiprocessors

This page was built for publication: An operational model for multiprocessors with caches

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