LEAP: Lightweight deterministic multi-processor replay of concurrent java programs

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2010, Pages 207-216

  Huang, Jeff ^a   Liu, Peng ^a   Zhang, Charles ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

concurrency bug reproduction; deterministic replay; multi processor

Indexed keywords

BENCHMARK SUITES; CONCURRENCY BUG REPRODUCTION; CONCURRENT JAVA PROGRAMS; CONCURRENT PROGRAM; CONCURRENT THREADS; DETERMINISTIC REPLAY; FORMAL MODEL; LOCAL ORDER; MULTI-PROCESSORS; MULTI-THREADED APPLICATION; OPEN SOURCES; PROGRAM EXECUTION; PROGRAM UNDERSTANDING AND DEBUGGING; REAL-WORLD APPLICATION; RECORD-AND-REPLAY; SHARED MEMORIES; STATE OF THE ART;

BENCHMARKING; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; MULTIPROCESSING SYSTEMS;

PROGRAM DEBUGGING;

EID: 78751520356     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1882291.1882323     Document Type: Conference Paper

References (31)

1. Gautam Altekar and Ion Stoica. Odr: output deterministic replay for multicore debugging. In SOSP, pages 193-206. ACM, 2009.
2. Emery D. Berger, Ting Yang, Tongping Liu, and Gene Novark. Grace: safe multithreaded programming for c/c++. In OOPSLA, pages 81-96. ACM, 2009.
3. Robert L. Bocchino, Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, and Mohsen Vakilian. A type and effect system for deterministic parallel java. In OOPSLA, pages 97-116. ACM, 2009.
4. Eric Bodden and Klaus Havelund. Racer: effective race detection using aspectj. In ISSTA, pages 155-166. ACM, 2008.
5. Jong-Deok Choi and Harini Srinivasan. Deterministic replay of java multithreaded applications. In SPDT, pages 48-59. ACM, 1998.
6. Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin. Dmp: deterministic shared memory multi-processing. In ASPLOS, pages 85-96. ACM, 2009.
7. George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, and Peter M. Chen. Execution replay of multiprocessor virtual machines. In VEE, pages 121-130. ACM, 2008.
8. Eitan Farchi, Yarden Nir, and Shmuel Ur. Concurrent bug patterns and how to test them. In IPDPS, page 286.2. IEEE Computer Society, 2003.
9. Cormac Flanagan and Stephen N Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In POPL, pages 256-267. ACM, 2004.
10. A. Georges, M. Christiaens, M. Ronsse, and K. De Bosschere. Jarec: a portable record/replay environment for multi-threaded java applications. Software Practice and Experience, 34(6):523-547, 2004.
11. Richard L. Halpert, Christopher J. F. Pickett, and Clark Verbrugge. Component-based lock allocation. In PACT, pages 353-364. IEEE Computer Society, 2007.
12. Derek R. Hower and Mark D. Hill. Rerun: Exploiting episodes for lightweight memory race recording. In ISCA, pages 265-276. IEEE Computer Society, 2008.
13. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
14. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers, 36(4):471-482, 1987.
15. Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, and Yuanyuan Zhou. Muvi: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In SOSP, pages 103-116. ACM, 2007.
16. Pablo Montesinos, Luis Ceze, and Josep Torrellas. Delorean: Recording and deterministically replaying shared-memory multi-processor execution efficiently. In ISCA, pages 289-300. IEEE Computer Society, 2008.
17. Pablo Montesinos, Matthew Hicks, Samuel T. King, and Josep Torrellas. Capo: a software-hardware interface for practical deterministic multi-processor replay. In ASPLOS, pages 73-84. ACM, 2009.
18. Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam A. Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, pages 267-280, 2008.
19. Satish Narayanasamy, Cristiano Pereira, Harish Patil, Robert Cohn, and Brad Calder. Automatic logging of operating system effects to guide application-level architecture simulation. In SIGMETRICS, pages 216-227. ACM, 2006.
20. Satish Narayanasamy, Gilles Pokam, and Brad Calder. Bugnet: Continuously recording program execution for deterministic replay debugging. In ISCA, pages 284-295. IEEE Computer Society, 2005.
21. Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, and Brad Calder. Automatically classifying benign and harmful data racesallusing replay analysis. In PLDI, pages 22-31. ACM, 2007.
22. Robert O'Callahan and Jong-Deok Choi. Hybrid dynamic data race detection. In PPoPP, pages 167-178. ACM, 2003.
23. Marek Olszewski, Jason Ansel, and Saman Amarasinghe. Kendo: efficient deterministic multithreading in software. In ASPLOS, pages 97-108, New York, NY, USA, 2009. ACM.
24. Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, and Shan Lu. Pres: probabilistic replay with execution sketching on multi-processors. In SOSP, pages 177-192. ACM, 2009.
25. Michiel Ronsse and Koen De Bosschere. Recplay: a fully integrated practical record/replay system. ACM TOCS, 17(2):133-152, 1999.
26. Michiel Ronsse, Koen De Bosschere, Mark Christiaens, Jacques Chassin de Kergommeaux, and Dieter Kranzlmüller. Record/replay for nondeterministic program executions. Communications of the ACM, 46(9):62-67, 2003.
27. Mark Russinovich and Bryce Cogswell. Replay for concurrent non-deterministic shared-memory applications. In PLDI, pages 258-266. ACM, 1996.
28. Koushik Sen. Race directed random testing of concurrent programs. In PLDI, pages 11-21. ACM, 2008.
29. Mandana Vaziri, Frank Tip, and Julian Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL, pages 334-345. ACM, 2006.
30. Min Xu, Rastislav Bodik, and Mark D. Hill. A "flight data recorder" for enabling full-system multiprocessor deterministic replay. In ISCA, pages 122-135. ACM, 2003.
31. Jie Yu and Satish Narayanasamy. A case for an interleaving constrained shared-memory multi-processor. In ISCA, pages 325-336. ACM, 2009.