Pitfalls in Memory Consistency Modelling

DOI10.1142/S0129626416500080MaRDI QIDQ4598920zbMATH OpenOpenAlexFDO

Authors Lisa Higham, Jalal Kawash

Publication date 15 December 2017

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

Full work available at URL https://doi.org/10.1142/s0129626416500080

zbMATH Keywords

multicore machinesmultiprocessor systemsweak memory consistency models

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Programmer-centric memory consistency modelling
• Automatically comparing memory consistency models
• A framework for correctness criteria on weak memory models
• Limitations of fast consistency conditions for distributed shared memories
• The impact of memory models on software reliability in multiprocessors

Cited in

(2)

• The impact of memory models on software reliability in multiprocessors
• Automatically comparing memory consistency models

This page was built for publication: Pitfalls in Memory Consistency Modelling

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