Performance implications of fence-based memory models

Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2011

Volumn , Issue , 2011, Pages 13-19

  Boehm, Hans J ^a  

^a HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

atomic operations; critical sections; fences; locks; memory model; OpenMP

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); ATOMS; FENCES; PARALLEL PROGRAMMING; SEMANTICS;

ATOMIC OPERATION; CRITICAL SECTIONS; DATA RACES; MEMORY MODELING; MEMORY SHARED; OPENMP; PARALLEL PROGRAMMING LANGUAGES; PERFORMANCE; SEQUENTIAL CONSISTENCY; SHARED MEMORY PARALLEL PROGRAMMING;

LOCKS (FASTENERS);

EID: 79959966665     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1988915.1988919     Document Type: Conference Paper

References (10)

1. H.-J. Boehm. Reordering constraints for pthread-style locks. In Proc. 12th Symp. Principles and Practice of Parallel Programming, pages 173-182, 2007.
2. H.-J. Boehm and S. Adve. Foundations of the C++ concurrency memory model. In Proc. Conf. on Programming Language Design and Implementation, pages 68-78, 2008.
3. G. Bronevetsky and B. R. de Supinski. Complete formal specification of the OpenMP memory model. International Journal of Parallel Programming, 35(4):335-392, August 2007. (Pubitemid 47167287)
4. C++ Standards Committee, Pete Becker, ed. Programming Languages - C++ (final committee draft). C++ standards committee paper WG21/N3092=J16/10-0082, http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2010/n3092.pdf, March 2010.
5. C Standards Committee (WG14). Committee Draft: Programming Languages - C. C standards committee paper WG14 N1539, http://www.open-std.org/jtc1/sc22/wg14/ www/docs/n1539.pdf, November 2010.
6. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690-691, 1979. (Pubitemid 10420526)
7. J. Manson, W. Pugh, and S. Adve. The Java memory model. In Proc. Symp. on Principles of Programming Languages, 2005.
8. P. Sewell, S. Sarkar, S. Owens, F. Z. Nardelli, and M. O. Myreen. x86-tso: A rigorous and usable programmer's model for x86 multiprocesors. Communications of the ACM, 53(7):89-97, July 2010.
9. The OpenMP ARB. OpenMP application programming interface: Version 3.0. http://www.openmp.org/ mp-documents/spec30.pdf, May 2008.
10. UPC Consortium. UPC language specifications v1.2. http://upc.gwu.edu/ docs/upc-specs-1.2.pdf, May 2005.