Memory models
- 1 August 2010
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 53 (8), 90-101
- https://doi.org/10.1145/1787234.1787255
Abstract
Solving the memory model problem will require an ambitious and cross-disciplinary research direction.This publication has 29 references indexed in Scilit:
- A type and effect system for deterministic parallel JavaPublished by Association for Computing Machinery (ACM) ,2009
- GracePublished by Association for Computing Machinery (ACM) ,2009
- On Validity of Program Transformations in the Java Memory ModelLecture Notes in Computer Science, 2008
- Race directed random testing of concurrent programsPublished by Association for Computing Machinery (ACM) ,2008
- Foundations of the C++ concurrency memory modelPublished by Association for Computing Machinery (ACM) ,2008
- BulkSCPublished by Association for Computing Machinery (ACM) ,2007
- LANGUAGES FOR HIGH-PRODUCTIVITY COMPUTING: THE DARPA HPCS LANGUAGE PROJECTParallel Processing Letters, 2007
- The design, implementation, and evaluation of JadeACM Transactions on Programming Languages and Systems, 1998
- Shared memory consistency models: a tutorialComputer, 1996
- Efficient and correct execution of parallel programs that share memoryACM Transactions on Programming Languages and Systems, 1988