FastTrack: Efficient and precise dynamic race detection

Communications of the ACM

Volumn 53, Issue 11, 2010, Pages 93-101

  Flanagan, Cormac ^a   Freund, Stephen N ^b  

^a University of California Santa Cruz   (United States)

^b WILLIAMS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FALSE ALARMS; LIGHT-WEIGHT REPRESENTATION; MULTI-THREADED PROGRAMS; RACE CONDITION; RACE DETECTION; VECTOR CLOCKS;

DATA STRUCTURES; MULTITASKING;

DETECTORS;

EID: 78149256882     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1839676.1839699     Document Type: Article

References (22)

1. Adve, S.V., Hill, M.D., Miller, B.P., Netzer, R.H.B. Detecting data races on weak memory systems. In ISCA (1991), 234-243.
2. CERN . Colt 1.2.0. Available at http://dsd.lbl.gov/~hoschek/colt/(2007).
3. Choi, J.-D., Lee, K., Loginov, A., O'Callahan, R., Sarkar, V., Sridhara, M. Efficient and precise datarace detection for multithreaded objectoriented programs. In PLDI (2002), 258-269.
4. Choi, J.-D., Miller, B.P., Netzer R.H.B. Techniques for debugging parallel programs with flowback analysis. TOPLAS 13, 4 (1991), 491-530.
5. Christiaens, M., Bosschere, K.D. TRaDe: Data race detection for Java. In International Conference on Computational Science (2001), 761-770.
6. The Eclipse programming environment, version 3.4.0. Available at http://www.eclipse.org, 2009.
7. Elmas, T., Qadeer, S., Tasiran, S. Goldilocks: A race and transactionaware Java runtime. In PLDI (2007), 245-255.
8. Flanagan, C., Freund, S.N. FastTrack: Efficient and precise dynamic race detection. In PLDI (2009), 121-133.
9. Flanagan, C., Freund, S.N. Adversarial memory for detecting destructive races. In PLDI (2010), 244-254.
10. Flanagan, C., Freund, S.N. The RoadRunner dynamic analysis framework for concurrent programs. In PASTE (2010), 1-8.
11. Fleury, E., Sutre, G. Raja, version 0.4.0-pre4. Available at http://raja. sourceforge.net/, 2007.
12. Java Grande Forum. Java Grande benchmark suite. Available at http://www.javagrande.org/, 2008.
13. Lamport, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558-565.
14. M attern, F. Virtual time and global states of distributed systems. In Workshop on Parallel and Distributed Algorithms, 1988.
15. O'Callahan, R., Choi J.-D. Hybrid dynamic data race detection. In PPOPP (2003), 167-178.
16. Pozniansky, E., Schuster, A. MultiRace: Efficient on-the-fly data race detection in multithreaded C++ programs. Concurrency and Computation: Practice and Experience 19, 3 (2007), 327-340.
17. Ronsse, M., Bosschere, K.D. RecPlay: A fully integrated practical record/replay system. TCS 17, 2 (1999), 133-152.
18. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E. Eraser: A dynamic data race detector for multi-threaded programs. TOCS 15, 4 (1997), 391-411. (Pubitemid 127449840)
19. Standard Performance Evaluation Corporation. SPEC benchmarks. http://www.spec.org/, 2003.
20. von Praun, C., Gross, T. Object race detection. In OOPSLA, 2001, 70-82.
21. von Praun, C., Gross, T. Static conflict analysis for multi-threaded objectoriented programs. In PLDI (2003), 115-128.
22. Yu, Y., Rodeheffer, T., Chen, W. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In SOSP (2005), 221-234.