A theory of memory models
- 14 March 2007
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 161-172
- https://doi.org/10.1145/1229428.1229469
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Memory Model = Instruction Reordering + Store AtomicityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- X10Published by Association for Computing Machinery (ACM) ,2005
- Compiler techniques for high performance sequentially consistent java programsPublished by Association for Computing Machinery (ACM) ,2005
- Threads cannot be implemented as a libraryPublished by Association for Computing Machinery (ACM) ,2005
- The Java memory modelPublished by Association for Computing Machinery (ACM) ,2005
- Concurrent Clustered ProgrammingPublished by Springer Nature ,2005
- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary)Published by Springer Nature ,2004
- Location consistency-a new memory model and cache consistency protocolIEEE Transactions on Computers, 2000
- Memory consistency and event ordering in scalable shared-memory multiprocessorsPublished by Association for Computing Machinery (ACM) ,1990
- Efficient and correct execution of parallel programs that share memoryACM Transactions on Programming Languages and Systems, 1988