The RoadRunner dynamic analysis framework for concurrent programs

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2010, Pages 1-8

  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

Indexed keywords

ALGORITHMIC ISSUES; ANALYSIS TOOLS; CHAIN ARCHITECTURE; CODE SIZE; COMPLEX ANALYSIS; CONCURRENCY; CONCURRENT JAVA PROGRAMS; CONCURRENT PROGRAM; EVENT STREAMS; IMPLEMENTATION AND OPTIMIZATION; MONITORING TOOLS; MONOLITHIC ANALYSIS; NEW THREAD; ORDER OF MAGNITUDE; PERFORMANCE TUNING; PROGRAMMING ENVIRONMENT;

COMPUTER SOFTWARE; CONCURRENT ENGINEERING; EXPERIMENTS; HYDRAULICS; JAVA PROGRAMMING LANGUAGE; JOB ANALYSIS; PARALLEL PROCESSING SYSTEMS; RAPID PROTOTYPING;

DYNAMIC ANALYSIS;

EID: 77954699473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806672.1806674     Document Type: Conference Paper

References (31)

1. R. Agarwal and S. D. Stoller. Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In PADTAD, pages 51-60, 2006.
2. Byte Code Engineering Library. http://jakarta.apache.org/bcel/,2007.
3. E. Bruneton, R. Lenglet, and T. Coupaye. ASM: A code manipulation tool to implement adaptable systems. In Adaptable and extensible component systems, 2002.
4. J. Burnim and K. Sen. Asserting and checking determinism for multithreaded programs. In FSE, pages 3-12, 2009.
5. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In PLDI, pages 258-269, 2002.
6. M. Christiaens and K. D. Bosschere. TRaDe: Data Race Detection for Java. In International Conference on Computational Science, pages 761-770, 2001.
7. The Eclipse programming environment, version 3.4.0. Available at http://www.eclipse.org, 2009.
8. T. Elmas, S. Qadeer, and S. Tasiran. Goldilocks: A race and transaction-aware Java runtime. In PLDI, pages 245-255, 2007.
9. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program., 71(2):89-109, 2008.
10. C. Flanagan and S. N. Freund. FastTrack: efficient and precise dynamic race detection. In PLDI, pages 121-133, 2009.
11. C. Flanagan and S. N. Freund. Adversarial memory for detecting destructive races. In PLDI, 2010.
12. 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.
13. J. Hatcliff, Robby, and M. B. Dwyer. Verifying atomicity specifications for concurrent object-oriented software using model-checking. In VMCAI, pages 175-190, 2004.
14. Java Grande Forum. Java Grande benchmark suite. Available at http://www.javagrande.org/, 2008.
15. P. Joshi, M. Naik, C.-S. Park, and K. Sen. Calfuzzer: An extensible active testing framework for concurrent programs. In CAV, pages 675-681, 2009.
16. P. Joshi, C.-S. Park, K. Sen, and M. Naik. A randomized dynamic program analysis technique for detecting real deadlocks. In PLDI, pages 110-120, 2009.
17. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP, pages 220-242, 1997.
18. A. Kinneer, M. B. Dwyer, and G. Rothermel. Sofya: Supporting rapid development of dynamic program analyses for Java. ICSE Companion, pages 51-52, 2007.
19. F. Mattern. Virtual time and global states of distributed systems. In Workshop on Parallel and Distributed Algorithms, 1988.
20. N. Nethercote and J. Seward. Valgrind: A framework for heavy-weight dynamic binary instrumentation. In PLDI, pages 89-100, June 2007.
21. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In PPOPP, pages 167-178, 2003.
22. 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.
23. C. Sadowski, S. N. Freund, and C. Flanagan. SingleTrack: A dynamic determinism checker for multithreaded programs. In ESOP, pages 394-409, 2009.
24. 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.
25. A. Srivastava and A. Eustace. ATOM : A system for building customized program analysis tools. In PLDI, pages 196-205, 1994.
26. R. Vallee-Rai, E. Gagnon, L. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing Java bytecode using the Soot framework: Is it feasible? In Compiler Construction, pages 18-34, 2000.
27. C. von Praun and T. Gross. Object race detection. In OOPSLA, pages 70-82, 2001.
28. L. Wang and S. D. Stoller. Runtime analysis of atomicity for multi-threaded programs. IEEE Trans. Software Eng., 32(2):93-110, 2006.
29. M. Xu, R. Bodík, and M. D. Hill. A serializability violation detector for shared-memory server programs. In PLDI, pages 1-14, 2005.
30. J. Yi, C. Sadowski, and C. Flanagan. SideTrack: generalizing dynamic atomicity analysis. In PADTAD, 2009.
31. Y. Yu, T. Rodeheffer, and W. Chen. RaceTrack: Efficient detection of data race conditions via adaptive tracking. In SOSP, pages 221-234, 2005.