Memory Model = Instruction Reordering + Store Atomicity

This publication has 21 references indexed in Scilit:

• TSOtool
  ACM SIGARCH Computer Architecture News, 2004
• Verifying sequential consistency on shared-memory multiprocessors by model checking
  IEEE Transactions on Parallel and Distributed Systems, 2003
• Model-checking of correctness conditions for concurrent objects
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Weak ordering-a new definition
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automatable verification of sequential consistency
  Published by Association for Computing Machinery (ACM) ,2001
• Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
  Published by Springer Nature ,1999
• Multiprocessors should support simple memory consistency models
  Computer, 1998
• Shared memory consistency models: a tutorial
  Computer, 1996
• Lazy caching
  ACM Transactions on Programming Languages and Systems, 1993
• Efficient and correct execution of parallel programs that share memory
  ACM Transactions on Programming Languages and Systems, 1988