LEAN: Simplifying concurrency bug reproduction via replay-supported execution reduction

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2012, Pages 451-465

  Huang, Jeff ^a   Zhang, Charles ^a  

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

Author keywords

Concurrecy Defect; Execution Reduction; Replay

Indexed keywords

CONCURRENT PROGRAM; CONTEXT SWITCH; EVALUATION RESULTS; NON-DETERMINISM; NOVEL TECHNIQUES; NUMBER OF THREADS; ORDERS OF MAGNITUDE; PROGRAM EXECUTION; REDUNDANT COMPUTATION; REPLAY;

COMPUTER PROGRAMMING LANGUAGES; OBJECT ORIENTED PROGRAMMING; REDUNDANCY; TIME SWITCHES;

PROGRAM DEBUGGING;

EID: 84869776385     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2384616.2384649     Document Type: Conference Paper

References (40)

1. Gautam Altekar and Ion Stoica. ODR: output deterministic replay for multicore debugging. In SOSP, 2009.
2. Jong-Deok Choi and Harini Srinivasan. Deterministic replay of java multithreaded applications. In SPDT, 1998.
3. Jong-Deok Choi and Andreas Zeller. Isolating failureinducing thread schedules. In ISSTA, 2002.
4. William R. Dieter and James E. Lumpp Jr. A user-level checkpointing library for posix threads programs. In FTCS, 1999.
5. George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, and Peter M. Chen. Execution replay of multiprocessor virtual machines. In VEE, 2008.
6. Eitan Farchi, Yarden Nir, and Shmuel Ur. Concurrent bug patterns and how to test them. IPDPS, 2003.
7. Dennis Giffhorn and Christian Hammer. Precise slicing of concurrent programs. Automated Software Engg., 2009.
8. Derek R. Hower and Mark D. Hill. Rerun: Exploiting episodes for lightweight memory race recording. In ISCA, 2008.
9. Jeff Huang, Peng Liu, and Charles Zhang. LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs. In FSE, 2010.
10. Jeff Huang and Charles Zhang. An efficient static trace simplification technique for debugging concurrent programs. In SAS, 2011.
11. Nicholas Jalbert and Koushik Sen. A trace simplification technique for effective debugging of concurrent programs. In FSE, 2010.
12. Jens Krinke. Context-sensitive slicing of concurrent programs. In ESEC/FSE, 2003.
13. Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, and Jason Flinn. Respec: efficient online multiprocessor replayvia speculation and external determinism. In ASPLOS, 2010.
14. Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, and Xiangyu Zhang. Toward generating reducible replay logs. In PLDI, 2011.
15. Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ASPLOS, 2008.
16. Ghassan Misherghi and Zhendong Su. Hdd: hierarchical delta debugging. In ICSE, 2006.
17. Pablo Montesinos, Luis Ceze, and Josep Torrellas. Delorean: Recording and deterministically replaying shared-memory multi-processor execution efficiently. In ISCA, 2008.
18. Pablo Montesinos, Matthew Hicks, Samuel T. King, and Josep Torrellas. Capo: a software-hardware interface for practical deterministic multi-processor replay. In ASPLOS, 2009.
19. Madan Musuvathi and Shaz Qadeer. Chess: systematic stress testing of concurrent software. In Proceedings of the 16th international conference on Logic-based program synthesis and transformation, 2007.
20. Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Ǵerard Basler, Piramanayagam A. Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, 2008.
21. Mangala Gowri Nanda and S. Ramesh. Interprocedural slicing of multithreaded programs with applications to java. ACM Trans. Program. Lang. Syst., 2006.
22. 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, 2009.
23. Venkatesh Prasad Ranganath and John Hatcliff. Slicing concurrent java programs using indus and kaveri. Int. J. Softw. Tools Technol. Transf., 2007.
24. Koushik Sen. Race directed random testing of concurrent programs. In PLDI, 2008.
25. John Steven, Pravir Ch, Bob Fleck, and Andy Podgurski. jrapture: A capture/replay tool for observation-based testing. In ISSTA, 2000.
26. Sriraman Tallam, Chen Tian, and Rajiv Gupta. Dynamic slicing of multithreaded programs for race detection. In ICSM, pages 97-106, 2008.
27. Sriraman Tallam, Chen Tian, Rajiv Gupta, and Xiangyu Zhang. Enabling tracing of long-running multithreaded programs via dynamic execution reduction. In ISSTA, 2007.
28. Frank Tip. A survey of program slicing techniques. Journal of Programming Languages, 1995.
29. Mandana Vaziri, Frank Tip, and Julian Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL, 2006.
30. Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn, and Satish Narayanasamy. Doubleplay: parallelizing sequential logging and replay. In ASPLOS, 2011.
31. Christoph von Praun and Thomas R. Gross. Object race detection. In OOPSLA, 2001.
32. Dasarath Weeratunge, Xiangyu Zhang, and Suresh Jagannathan. Analyzing multicore dumps to facilitate concurrency bug reproduction. In ASPLOS, 2010.
33. Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, and Suresh Jagannathan. Analyzing concurrency bugs using dual slicing. In ISSTA, 2010.
34. Mark Weiser. Program slicing. In TSE, 1984.
35. K. Whisnant, Z. Kalbarczyk, and R. K. Iyer. Microcheckpointing: Checkpointing for multithreaded applications. In IOLTW, 2000.
36. Bin Xin, William N. Sumner, and Xiangyu Zhang. Efficient program execution indexing. In PLDI, 2008.
37. Cristian Zamfir and George Candea. Execution synthesis: a technique for automated software debugging. In EuroSys, 2010.
38. Andreas Zeller and Ralf Hildebrandt. Simplifying and isolating failure-inducing input. TSE, 2002.
39. Xiangyu Zhang and Rajiv Gupta. Cost effective dynamic program slicing. In PLDI, 2004.
40. Lukasz Ziarek and Suresh Jagannathan. Lightweight checkpointing for concurrent ml. J. Funct. Program., 2010.