A theory of memory models

This publication has 12 references indexed in Scilit:

• Memory Model = Instruction Reordering + Store Atomicity
  2006
• X10
  2005
• Compiler techniques for high performance sequentially consistent java programs
  2005
• Threads cannot be implemented as a library
  2005
• The Java memory model
  2005
• Concurrent Clustered Programming
  Lecture Notes in Computer Science, 2005
• Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary)
  Lecture Notes in Computer Science, 2004
• Location consistency-a new memory model and cache consistency protocol
  IEEE Transactions on Computers, 2000
• Memory consistency and event ordering in scalable shared-memory multiprocessors
  1990
• Efficient and correct execution of parallel programs that share memory
  ACM Transactions on Programming Languages and Systems, 1988