FastTrack: Efficient and precise dynamic race detection

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

Volumn , Issue , 2009, Pages 121-133

  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

Indexed keywords

DEVELOPMENT ENVIRONMENT; FALSE ALARMS; LIGHT-WEIGHT REPRESENTATION; MULTI-THREADED PROGRAMS; ON DYNAMICS; ORDER OF MAGNITUDE; RACE CONDITION; RACE DETECTION; REPRESENTATION CHANGE; TIME AND SPACE PERFORMANCE; VECTOR CLOCKS;

C (PROGRAMMING LANGUAGE); CLOCKS; COMPUTER SOFTWARE; DETECTORS; DYNAMIC ANALYSIS; ERRORS; HAZARDS AND RACE CONDITIONS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MULTITASKING; VECTORS;

ALARM SYSTEMS;

EID: 70450237676     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542476.1542490     Document Type: Conference Paper

References (42)

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, M. D. Hill, B. P. Miller, and R. H. B. Netzer. Detecting data races on weak memory systems. In ISCA, pages 234-243, 1991.
3. R. Agarwal and S. D. Stoller. Type inference for parameterized race-free Java. In VMCAI, pages 149-160, 2004.
4. A. Aiken and D. Gay. Barrier inference. In POPL, pages 243-354, 1998.
5. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In OOPSLA, pages 56-69, 2001.
6. CERN. Colt 1.2.0. Available at http://dsd.lbl.gov/~hoschek/colt/, 2007.
7. 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.
8. 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.
9. 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.
10. M. Christiaens and K. D. Bosschere. Accordion clocks: Logical clocks for data race detection. In Euro-Par, pages 494-503, 2001.
11. M. Christiaens and K. D. Bosschere. TRaDe: Data Race Detection for Java. In International Conference on Computational Science, pages 761-770, 2001.
12. M. B. Dwyer and L. A. Clarke. Data flow analysis for verifying properties of concurrent programs. Technical Report 94-045, Department of Computer Science, University of Massachusetts at Amherst, 1994.
13. The Eclipse programming environment, version 3.4.0. Available at http://www.eclipse.org, 2009.
14. T. Elmas, S. Qadeer, and S. Tasiran. Goldilocks: A race and transaction-aware Java runtime. In PLDI, pages 245-255, 2007.
15. D. R. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP, pages 237-252, 2003.
16. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program., 71(2):89-109, 2008.
17. C. Flanagan, S. N. Freund, and J. Yi. Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In PLDI, pages 293-303, 2008.
18. E. Fleury and G. Sutre. Raja, version 0.4.0-pre4. Available at http://raja.sourceforge.net/, 2007.
19. D. Grossman. Type-safe multithreading in Cyclone. In TLDI, pages 13-25, 2003.
20. Java Grande Forum. Java Grande benchmark suite. Available at http://www.javagrande.org/, 2008.
21. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565, 1978.
22. J. Manson, W. Pugh, and S. V. Adve. The Java memory model. In POPL, pages 378-391, 2005.
23. F. Mattern. Virtual time and global states of distributed systems. In Workshop on Parallel and Distributed Algorithms, 1988.
24. J. M. Mellor-Crummey. On-the-fly detection of data races for programs with nested fork-join parallelism. In Supercomputing, pages 24-33, 1991.
25. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, 2008.
26. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for Java. In PLDI, pages 308-319, 2006.
27. H. Nishiyama. Detecting data races using dynamic escape analysis based on read barrier. In Virtual Machine Research and Technology Symposium, pages 127-138, 2004.
28. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In PPOPP, pages 167-178, 2003.
29. E. Pozniansky and A. Schuster. Efficient on-the-fly data race detection in multihreaded C++ programs. In Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming, pages 179-190, 2003.
30. 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.
31. M. Ronsse and K. D. Bosschere. RecPlay: A fully integrated practical record/replay system. TCS, 17(2):133-152, 1999.
32. C. Sadowski, S. N. Freund, and C. Flanagan. SingleTrack: A dynamic determinism checker for multithreaded programs. In ESOP, 2009.
33. 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.
34. E. Schonberg. On-the-fly detection of access anomalies. In PLDI, pages 285-297, 1989.
35. Standard Performance Evaluation Corporation. SPEC benchmarks. http://www.spec.org/, 2003.
36. N. Sterling. Warlock: A static data race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993.
37. Sun Microsystems. The java.util.concurrent package. Available at http://java.sun.com/javase/6/docs/api/, 2008.
38. C. von Praun and T. Gross. Object race detection. In OOPSLA, pages 70-82, 2001.
39. C. von Praun and T. Gross. Static conflict analysis for multi-threaded object-oriented programs. In PLDI, pages 115-128, 2003.
40. J. W. Voung, R. Jhala, and S. Lerner. Relay: static race detection on millions of lines of code. In FSE, pages 205-214, 2007.
41. E. Yahav. Verifying safety properties of concurrent Java programs using 3-valued logic. In POPL, pages 27-40, 2001.
42. Y. Yu, T. Rodeheffer, and W. Chen. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In SOSP, pages 221-234, 2005.