Detecting and tolerating asymmetric races

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 2009, Pages 173-184

  Ratanaworabhan, Paruj ^a   Burtscher, Martin ^b   Kirovski, Darko ^c   Zorn, Benjamin ^c   Nagpal, Rahul ^d   Pattabiraman, Karthik ^e  

^a Department of Obstetrics Gynecology   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c MICROSOFT RESEARCH   (United States)

^d INDIAN INSTITUTE OF SCIENCE   (India)

^e UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Dynamic instrumentation; Race detection and toleration; Runtime support

Indexed keywords

CRITICAL SECTIONS; DATA RACES; DYNAMIC INSTRUMENTATION; EXECUTABLES; INTERLEAVINGS; MULTI-THREADED APPLICATION; PARALLEL PROGRAM; RACE CONDITION; RACE DETECTION AND TOLERATION; RUNTIME SUPPORT; RUNTIME SYSTEMS; SHARED VARIABLES; SOFTWARE IMPLEMENTATION; SOURCE CODE MODIFICATION; SOURCE CODES; THEORETICAL ASPECTS;

INSTRUMENTS; MULTITASKING; PARALLEL ARCHITECTURES;

PARALLEL PROGRAMMING;

EID: 67650178060     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1504176.1504202     Document Type: Conference Paper

References (34)

1. M. Abadi, T. Harris and M. Mehrara, Transactional memory with strong atomicity using off-the-shelf memory protection hardware, Proceeding of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Raleigh, NC, 2009.
2. S. V. Adve and M. D. Hill, Weak Ordering - A New Definition, Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990, pp. 2-14.
3. S. V. Adve, M. D. Hill, B. P. Miller and R. H. B. Netzer, Detecting data races on weak memory systems, ISCA'91: Proceedings of the 18th Annual International Symposium on Computer Architecture, ACM Press, New York, NY, USA, 1991, pp. 234-243. (Pubitemid 21690857)
4. S. V. Adve, V. S. Pai, P. Ranganathan and A.-S. H., Recent Advances in Memory Consistency Models for Hardware Shared-Memory Multiprocessors, Proceedings of the IEEE, special issue on distributed shared-memory, 87 (1999), pp. 445-455.
5. R. Agarwal, A. Sasturkar, L. Wang and S. Stoller, Optimized Run-Time Race Detection and Atomicity Checking Using Partial Discovered Types, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, 2005, pp. 233-242.
6. E. D. Berger and B. G. Zorn, DieHard: probabilistic memory safety for unsafe languages, ACM SIGPLAN Notices, 41 (2006), pp. 158-168. (Pubitemid 43909416)
7. C. Bienia, S. Kumar, J. Singh and K. Li, The PARSEC Benchmark Suite: Characterization and Architectural Implications, Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, 2008.
8. C. Blundell, C. Lewis and M. Martin, Deconstructing Transactional Semantics: The Subtleties of Atomicity, Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking, Madison, Wisconsin, 2005.
9. H. Boehm, Foundations of the C++ Concurrency Memory Model, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008.
10. R. Callahan and J.-D. Choi, Hybrid Dynamic Data Race Detection, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM Press, New York, NY, 2003.
11. T. Elmas, S. Qadeer and S. Tasiran, Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets, in K. Havelund, N. Manuel, G. Rosu and B. Wolff, eds., FATES/RV, Springer, 2006, pp. 193-208.
12. D. R. Engler and K. Ashcraft, RacerX: effective, static detection of race conditions and deadlocks, SOSP'03: Proceedings of the 20th ACM Symposium on Operating Systems Principles, 2003, pp. 237-252. (Pubitemid 40929700)
13. C. Flanagan and S. N. Freund, Detecting race conditions in large programs, PASTE'01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, ACM Press, New York, NY, USA, 2001, pp. 90-96.
14. D. Grossman, Type-safe multithreading in cyclone, TLDI'03: Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, ACM Press, New York, NY, USA, 2003, pp. 13-25.
15. T. A. Henzinger, R. Jhala and R. Majumdar, Race checking by context inference, PLDI'04: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, ACM Press, New York, NY, USA, 2004, pp. 1-13.
16. M. Herlihy and J. E. B. Moss, Transactional memory: architectural support for lock-free data structures, ISCA'93: Proceedings of the 20th Annual International Symposium on Computer Architecture, ACM Press, New York, NY, USA, 1993, pp. 289-300. (Pubitemid 23675551)
17. http://developers.sun.com/sunstudio/downloads/ssx/tha/.
18. http://www.intel.com/cd/software/products/asmona/eng/286406.htm.
19. D. Kirovski, B. Zorn, R. Nagpal and K. Pattabiraman, An Oracle for Tolerating and Detecting Asymmetric Races, Microsoft Research Technical Report MSR-TR-2007-122, Microsoft Research, 2007.
20. B. Krena, Z. Letko, R. Tzoref, S. Ur and T. Vojnar, Healing Data Races On-The-Fly, Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, London, UK, 2007. (Pubitemid 47325131)
21. M. Kulkarni, K. Pingali, B. Walter, G. Ramanarayanan, K. Bala and P. Chew, Optimistic Parallelism Requires Abstractions, Programming Language Design and Implementation, San Diego, CA, 2007. (Pubitemid 47630689)
22. L. Lamport, How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor, IEEE Transactions on Computers, 46 (1997), pp. 779-782. (Pubitemid 127761260)
23. S. Lu, S. Park, E. Seo and Y. Zhou, Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics, The 13th International Conference on Architectural Support for Programming Languages and Operating Systems, Seattle, WA, 2008. (Pubitemid 351585418)
24. S. Lu, J. Tucek, F. Qin and Y. Zhou, AVIO: detecting atomicity violations via access interleaving invariants, ASPLOS- XII: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ACM Press, New York, NY, USA, 2006, pp. 37-48. (Pubitemid 47168388)
25. B. Lucia, J. Devietti, K. Strauss and L. Ceze, Atom-Aid: Detecting and Surviving Atomicity Violations, The 35th International Symposium on Computer Architecture, Beijing, China, 2008.
26. C. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi and K. Hazelwood, Pin: building customized program analysis tools with dynamic instrumentation, In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, Chicago, IL, USA, 2005. (Pubitemid 43185951)
27. M. Naik, A. Aiken and J. Whaley, Effective static race detection for Java, PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM Press, New York, NY, USA, 2006, pp. 308-319. (Pubitemid 46946451)
28. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards and B. Calder, Automatically Classifying Benign and Harmful Data Races Using Replay Analysis, International Conference on Programming Language Design and Implementation, 2007. (Pubitemid 350001036)
29. E. Pozniansky and A. Schuster, Efficient on-the-fly data race detection in multithreaded C++ programs, PPoPP'03: Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM Press, New York, NY, USA, 2003, pp. 179-190.
30. S. Rajamani, G. Ramalingam, V. Ranganath and K. Vaswani, ISOLATOR: Dynamically Ensuring Isolation in Concurrent Programs, Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 2009.
31. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro and T. E. Anderson, Eraser: A Dynamic Data Race Detector for Multi- Threaded Programs, SOSP, 1997, pp. 27-37. (Pubitemid 127466026)
32. M. Vaziri, F. Tip and J. Dolby, Associating Synchronization Constraints with Data in an Object-Oriented Language, The 33rd Annual Symposium on Principles of Programming Languages, Charleston, SC, 2006. (Pubitemid 44032286)
33. S. Woo, M. Ohara, E. Torrie, J. Singh and A. Gupta, The SPLASH-2 Programs: Characterization and Methodological Considerations, In Proceedings of the 22nd International Symposium on Computer Architecture, Santa Margherita Ligure, Italy, 1995.
34. Y. Yu, T. Rodeheffer and W. Chen, RaceTrack: efficient detection of data race conditions via adaptive tracking, SOSP'03: Proceedings of the 20th ACM Symposium on Operating Systems Principles, Brighton, UK, 2005, pp. 221- 234. (Pubitemid 44892215)