Safety-first approach to memory consistency models
Pages 1 - 2
Abstract
No abstract available.
References
[1]
ARMv8 instruction set overview. URL http://infocenter.arm.com/help/topic/com.arm.doc.genc010197a.
[2]
Annotating locking behavior. URL http://msdn.microsoft.com/en-us/library/hh916381.aspx.
[3]
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.
[4]
H. J. Boehm. Simple thread semantics require race detection. In FIT session at PLDI, 2009.
[5]
H. J. Boehm and S. V. Adve. Foundations of the C++Concurrency Memory Model. In PLDI'08, pages 68--78, 2008.
[6]
C. Flanagan and S. N. Freund. Type-Based Race Detection for Java. In PLDI'00, pages 219--232, 2000.
[7]
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.
[8]
J. L. Henning. SPEC CPU2006 benchmark descriptions. SIGARCH Computer Architecture News, 34: 1--17, September 2006. ISSN 0163--5964.
[9]
L. Lamport. How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Computer, 28 (9): 690--691, Sept. 1979.
[10]
C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO'04, pages 75--88, 2004.
[11]
J. Manson, W. Pugh, and S. V. Adve. The Java Memory Model. In POPL'05, pages 378--391, 2005.
[12]
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.
[13]
B. C. Pierce. Types and programming languages. MIT press, 2002.
[14]
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.
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 (...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 2013
140 pages
November 2013128 pages
Copyright © 2013 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 20 June 2013
Check for updates
Author Tags
Qualifiers
- Keynote
Conference
ISMM '13
Sponsor:
Acceptance Rates
ISMM '13 Paper Acceptance Rate 11 of 22 submissions, 50%;
Overall Acceptance Rate 72 of 156 submissions, 46%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 141Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)1
Reflects downloads up to 13 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in