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

Communications of the ACM

Volumn 55, Issue 2, 2012, Pages 48-54

  Boehm, Hans J ^a   Adve, Sarita V ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CODE SECTIONS; DATA RACES; MEMORY MODELS; MULTIPLE PROGRAM; MUTEXES; MUTUAL EXCLUSIONS; PROCESSOR ARCHITECTURES; PROCESSOR CORES; SHARED VARIABLES;

TIME SHARING PROGRAMS;

MEMORY ARCHITECTURE;

EID: 84856944430     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/2076450.2076465     Document Type: Article

References (8)

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. (Pubitemid 126517873)
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.