How to miscompile programs with "benign" data races

3rd USENIX Workshop on Hot Topics in Parallelism, HotPar 2011

Volumn , Issue , 2011, Pages

  Boehm, Hans J ^a  

^a HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); PROGRAM COMPILERS; SPECIFICATIONS;

COMPILER TRANSFORMATIONS; DATA RACES; DATA-RACE DETECTORS; HARDWARE PLATFORM; MACHINE CODES; POSIX THREADS; SOURCE CODES; SOURCE LEVEL;

C++ (PROGRAMMING LANGUAGE);

EID: 84863488777     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. ADVE, S. Data races are evil with no exceptions. Communications of the ACM (November 2010), 84-84.
2. ADVE, S. V., AND BOEHM, H.-J. Memory models: A case for rethinking parallel languages and hardware. Communications of the ACM 53, 8 (August 2010), 90-101.
3. BOEHM, H.-J. Threads cannot be implemented as a library. In Proc. Conf. on Programming Language Design and Implementation (2005).
4. BOEHM, H.-J. N2338: Concurrency memory model compiler consequences. C++ standards committee paper WG21/N2338=J16/07-198, http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2007/n2338.htm, August 2007.
5. BOEHM, H.-J., AND ADVE, S. V. Foundations of the C++ concurrency memory model. In Proc. Conf. on Programming Language Design and Implementation (2008), pp. 68-78.
6. C++ STANDARDS COMMITTEE, PETE BECKER, ED. Programming Languages - C++ (final draft international standard). C++ standards committee paper JTC1 SC22 WG21 N3290, http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2011/n3290.pdf, April 2011.
7. 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.
8. DAVID BACON ET AL. The double-cchecked locking is broken declaration. http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html.
9. FLANAGAN, C., AND FREUND, S. N. Adversarial memory for detecting destructive data races. In Proc. Conf. on Programming Language Design and Implementation (2010), pp. 244-254.
10. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. Java Language Specification, The (3rd Edition). Sun Microsystems, 2005.
11. IEEE, AND THE OPEN GROUP. IEEE Standard 1003.1-2001. 2001.
12. LAMPORT, L. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers C-28, 9 (1979), 690-691.
13. LUCIA, B., CEZE, L., STRAUSS, K., QADEER, S., AND BOEHM, H.-J. Conflict exceptions: Simplifying concurrent language semantics with precise hardware exceptions for data-races. In ISCA (2010).
14. MANSON, J., PUGH, W., AND ADVE, S. The Java memory model. In Proc. Symp. on Principles of Programming Languages (2005).
15. NARAYANASAMY, S., ET AL. Automatically classifying benign and harmful data races using replay analysis. In Proc. Conf. on Programming Language Design and Implementation (2007), pp. 22-31.
16. SEVCIK, J., AND ASPINALL, D. On validity of program transformations in the java memory model. In ECOOP 2008 (2008), pp. 27-51.
17. SEWELL, P., SARKAR, S., OWENS, S., NARDELLI, F. Z., AND MYREEN, M. O. x86-tso: A rigorous and usable programmer's model for x86 multiprocessors. Communications of the ACM 53, 7 (July 2010), 89-97.
18. THE OPENMP ARB. OpenMP application programming interface: Version 3.0. http://www.openmp.org/mp-documents/spec30.pdf, May 2008.
19. UNITED STATES DEPARTMENT OF DEFENSE. Reference Manual for the Ada Programming Language: ANSI/MIL-STD-1815A-1983 Standard 1003.1-2001, 1983. Springer.