Adversarial memory for detecting destructive races

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2010, Pages 244-254

  Flanagan, Cormac ^a   Freund, Stephen N ^b  

^a University of California Santa Cruz   (United States)

^b WILLIAMS COLLEGE   (United States)

Author keywords

concurrency; dynamic analysis; race conditions; relaxed memory models

Indexed keywords

CACHE COHERENCE PROTOCOLS; DYNAMIC ANALYSIS TECHNIQUES; ERROR PRONES; MEMORY MODELS; MODEL CHECKER; MULTI-CORE PROCESSOR; MULTI-THREADED PROGRAMS; RACE CONDITION; RACE CONDITIONS; RACE DETECTION; SEQUENTIAL CONSISTENCY; STATIC AND DYNAMIC ANALYSIS;

C (PROGRAMMING LANGUAGE); DYNAMIC ANALYSIS; HAZARDS AND RACE CONDITIONS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MODEL CHECKING; MULTITASKING;

CACHE MEMORY;

EID: 77954718036     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806596.1806625     Document Type: Conference Paper

References (45)

1. M. Abadi, C. Flanagan, and S. N. Freund. Types for safe locking: Static race detection for Java. TOPLAS, 28(2):207-255, 2006.
2. S. V. Adve and K. Gharachorloo. Shared memory consistency models: A tutorial. IEEE Computer, 29(12):66-76, 1996.
3. S. V. Adve, M. D. Hill, B. P. Miller, and R. H. B. Netzer. Detecting data races on weak memory systems. In ISCA, pages 234-243, 1991.
4. R. Agarwal and S. D. Stoller. Type inference for parameterized race-free Java. In VMCAI, pages 149-160, 2004.
5. A. Aiken and D. Gay. Barrier inference. In POPL, pages 243-354, 1998.
6. M. D. Bond, K. E. Coons, and K. S. McKinley. Pacer: Proportional detection of data races. In PLDI, 2010.
7. G. Boudol and G. Petri. Relaxed memory models: an operational approach. In POPL, pages 392-403, 2009.
8. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In OOPSLA, pages 56-69, 2001.
9. J. Burnim, K. Sen, and C. Stergiou. Sound and complete monitoring of sequential consistency in relaxed memory models. Technical Report UCB/EECS-2010-31, EECS Department, University of California, Berkeley, 2010.
10. J. Burnim, K. Sen, and C. Stergiou. Testing concurrent programs on relaxed memory models. Technical Report UCB/EECS-2010-32, EECS Department, University of California, Berkeley, 2010.
11. A. T. Chamillard, L. A. Clarke, and G. S. Avrunin. An empirical comparison of static concurrency analysis techniques. Technical Report 96-084, Department of Computer Science, University of Massachusetts at Amherst, 1996.
12. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridhara. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI, pages 258-269, 2002.
13. J.-D. Choi, B. P. Miller, and R. H. B. Netzer. Techniques for debugging parallel programs with flowback analysis. TOPLAS, 13(4):491-530, 1991.
14. M. Christiaens and K. D. Bosschere. TRaDe: Data Race Detection for Java. In International Conference on Computational Science, pages 761-770, 2001.
15. T. Elmas, S. Qadeer, and S. Tasiran. Goldilocks: A race and transaction-aware Java runtime. In PLDI, pages 245-255, 2007.
16. D. R. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP, pages 237-252, 2003.
17. C. Flanagan and S. N. Freund. FastTrack: Efficient and precise dynamic race detection. In PLDI, pages 121-133, 2009.
18. C. Flanagan and S. N. Freund. The RoadRunner dynamic analysis framework for concurrent programs. In ACM Workshop on Program Analysis for Software Tools and Engineering, 2010.
19. K. Gharachorloo. Memory Consistency Models for Shared-Memory Multiprocessors. PhD thesis, Stanford University, 1995.
20. D. Grossman. Type-safe multithreading in Cyclone. In TLDI, pages 13-25, 2003.
21. Java Grande Forum. Java Grande benchmark suite. Available at http://www.javagrande.org/, 2008.
22. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput., 28(9):690-691, 1979.
23. R. J. Lipton. Reduction: A method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, 1975.
24. S. Lu, S. Park, C. Hu, X. Ma,W. Jiang, Z. Li, R. A. Popa, and Y. Zhou. Muvi: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In SOSP, pages 103-116, 2007.
25. J. Manson, W. Pugh, and S. V. Adve. The Java memory model. In POPL, pages 378-391, 2005.
26. F. Mattern. Virtual time and global states of distributed systems. In Workshop on Parallel and Distributed Algorithms, 1988.
27. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, 2008.
28. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for Java. In PLDI, pages 308-319, 2006.
29. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. Automatically classifying benign and harmful data races using replay analysis. In PLDI, pages 22-31, 2007.
30. H. Nishiyama. Detecting data races using dynamic escape analysis based on read barrier. In Virtual Machine Research and Technology Symposium, pages 127-138, 2004.
31. S. Owens, S. Sarkar, and P. Sewell. A better x86 memory model: x86-TSO. In TPHOLs, pages 391-407, 2009.
32. E. Pozniansky and A. Schuster. Efficient on-the-fly data race detection in multihreaded C++ programs. In PPOPP, pages 179-190, 2003.
33. E. Pozniansky and A. Schuster. MultiRace: Efficient on-the-fly data race detection in multithreaded C++ programs. Concurrency and Computation: Practice and Experience, 19(3):327-340, 2007.
34. M. Ronsse and K. D. Bosschere. RecPlay: A fully integrated practical record/replay system. TCS, 17(2):133-152, 1999.
35. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. TOCS, 15(4):391-411, 1997.
36. K. Sen. Race directed random testing of concurrent programs. In PLDI, pages 11-21, 2008.
37. Standard Performance Evaluation Corporation. SPEC benchmarks. http://www.spec.org/, 2003.
38. N. Sterling. Warlock: A static data race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993.
39. M. Vaziri, F. Tip, and J. Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL, pages 334-345, 2006.
40. W. Visser and P. C. Mehlitz. Model checking programs with Java PathFinder. In SPIN, page 27, 2005.
41. C. von Praun and T. Gross. Object race detection. In OOPSLA, pages 70-82, 2001.
42. C. von Praun and T. Gross. Static conflict analysis for multi-threaded object-oriented programs. In PLDI, pages 115-128, 2003.
43. J. W. Voung, R. Jhala, and S. Lerner. Relay: Static race detection on millions of lines of code. In FSE, pages 205-214, 2007.
44. E. Yahav. Verifying safety properties of concurrent Java programs using 3-valued logic. In POPL, pages 27-40, 2001.
45. Y. Yu, T. Rodeheffer, and W. Chen. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In SOSP, pages 221-234, 2005.