skip to main content
research-article
Free access

You don't know jack about shared variables or memory models

Published: 01 February 2012 Publication History

Abstract

Data races are evil.

References

[1]
Adve, S.V. and Boehm, H.-J. Memory models: A case for rethinking parallel Languages and hardware.Commun. ACM 53, 8 (Aug. 2010), 90--101.
[2]
Adve, S.V. and Gharachorloo, K. Shared memory consistency models: A tutorial. IEEE Computer 29, 12 (1996), 66--76.
[3]
Bocchino, R, et al. A type and effect system for deterministic parallel Java. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2009.
[4]
Boehm, H.-J., How to miscompile programs with "benign" data races. Hot Topics in Parallelism (HotPar), 2011.
[5]
Elmas, T., Qadeer, S. and Tasiran, S. Goldilocks: A race-aware Java runtime. Commun. ACM 53, 11 (Nov. 2010), 85--92.
[6]
Flanagan, C. and Freund, S. FastTrack: Efficient and precise dynamic race detection. Commun. ACM 53, 11 (Nov. 2010), 93--101.
[7]
Lucia, B., Ceze, L., Strauss, K., Qadeer, S. and Boehm, H.-J. Conflict exceptions: Providing simple concurrent language semantics with precise hardware exceptions. In Proceedings of the 2010 International Symposium on Computer Architecture.
[8]
Sevcik, J. and Aspinall, D. On validity of program transformations in the Java memory model. In European Conference on Object-oriented Programming, 2008, 27--51.

Cited By

View all
  • (2024)HiRace: Accurate and Fast Data Race Checking for GPU ProgramsProceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis10.1109/SC41406.2024.00042(1-14)Online publication date: 17-Nov-2024
  • (2021)Distributed causal memory: modular specification and verification in higher-order distributed separation logicProceedings of the ACM on Programming Languages10.1145/34343235:POPL(1-29)Online publication date: 4-Jan-2021
  • (2021)Let’s Put the Memory Model Front and Center When Teaching Parallel Programming in C++2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW52791.2021.00057(315-320)Online publication date: Jun-2021
  • Show More Cited By

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 55, Issue 2
February 2012
111 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/2076450
Issue’s Table of Contents
Permission to make digital or hard copies of all or part 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 components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 2012
Published in CACM Volume 55, Issue 2

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Popular
  • Refereed

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)432
  • Downloads (Last 6 weeks)40
Reflects downloads up to 10 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2024)HiRace: Accurate and Fast Data Race Checking for GPU ProgramsProceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis10.1109/SC41406.2024.00042(1-14)Online publication date: 17-Nov-2024
  • (2021)Distributed causal memory: modular specification and verification in higher-order distributed separation logicProceedings of the ACM on Programming Languages10.1145/34343235:POPL(1-29)Online publication date: 4-Jan-2021
  • (2021)Let’s Put the Memory Model Front and Center When Teaching Parallel Programming in C++2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW52791.2021.00057(315-320)Online publication date: Jun-2021
  • (2020)Symmetric Tokens based Group Mutual ExclusionWorkshop Proceedings of the 49th International Conference on Parallel Processing10.1145/3409390.3409395(1-10)Online publication date: 17-Aug-2020
  • (2020)Advanced control‐flow and concurrency in C∀Software: Practice and Experience10.1002/spe.292551:5(1005-1042)Online publication date: Dec-2020
  • (2019)Dependence-aware, unbounded sound predictive race detectionProceedings of the ACM on Programming Languages10.1145/33606053:OOPSLA(1-30)Online publication date: 10-Oct-2019
  • (2018)High-coverage, unbounded sound predictive race detectionACM SIGPLAN Notices10.1145/3296979.319238553:4(374-389)Online publication date: 11-Jun-2018
  • (2018)High-coverage, unbounded sound predictive race detectionProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192385(374-389)Online publication date: 11-Jun-2018
  • (2018)An Operational Semantic Basis for Building an OpenMP Data Race Checker2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW.2018.00074(395-404)Online publication date: May-2018
  • (2017)Avoiding consistency exceptions under strong memory modelsACM SIGPLAN Notices10.1145/3156685.309227152:9(115-127)Online publication date: 18-Jun-2017
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media