- ARMv8 instruction set overview. URL http://infocenter.arm.com/help/topic/com.arm.doc.genc010197a.Google Scholar
- Annotating locking behavior. URL http://msdn.microsoft.com/en-us/library/hh916381.aspx.Google Scholar
- C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC Benchmark Suite: Characterization and Architectural Implications. In PACT'08, pages 72--81. ACM, 2008. Google Scholar
Digital Library
- H. J. Boehm. Simple thread semantics require race detection. In FIT session at PLDI, 2009.Google Scholar
- H. J. Boehm and S. V. Adve. Foundations of the C++Concurrency Memory Model. In PLDI'08, pages 68--78, 2008. Google Scholar
Digital Library
- C. Flanagan and S. N. Freund. Type-Based Race Detection for Java. In PLDI'00, pages 219--232, 2000. Google Scholar
Digital Library
- C. S. Gordon, M. J. Parkinson, J. Parsons, A. Bromfield, and J. Duffy. Uniqueness and reference immutability for safe parallelism. In OOPSLA'12, pages 21--40, 2012. Google Scholar
Digital Library
- J. L. Henning. SPEC CPU2006 benchmark descriptions. SIGARCH Computer Architecture News, 34: 1--17, September 2006. ISSN 0163--5964. Google Scholar
Digital Library
- L. Lamport. How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Computer, 28 (9): 690--691, Sept. 1979. Google Scholar
Digital Library
- C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO'04, pages 75--88, 2004. Google Scholar
Digital Library
- J. Manson, W. Pugh, and S. V. Adve. The Java Memory Model. In POPL'05, pages 378--391, 2005. Google Scholar
Digital Library
- D. Marino, A. Singh, T. Millstein, M. Musuvathi, and S. Narayanasamy. A Case for an SC-Preserving Compiler. In PLDI'11, pages 199--210, 2011. Google Scholar
Digital Library
- B. C. Pierce. Types and programming languages. MIT press, 2002. Google Scholar
Digital Library
- S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 Programs: Characterization and Methodological Considerations. In ISCA'95, pages 24--36. ACM, 1995. Google Scholar
Digital Library
Index Terms
Safety-first approach to memory consistency models
Recommendations
Avoiding consistency exceptions under strong memory models
ISMM 2017: Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory ManagementShared-memory languages and systems generally provide weak or undefined semantics for executions with data races. Prior work has proposed memory consistency models that ensure well-defined, easy-to-understand semantics based on region serializability (...
Avoiding consistency exceptions under strong memory models
ISMM '17Shared-memory languages and systems generally provide weak or undefined semantics for executions with data races. Prior work has proposed memory consistency models that ensure well-defined, easy-to-understand semantics based on region serializability (...
Safety-first approach to memory consistency models
ISMM '13: Proceedings of the 2013 international symposium on memory management







Comments