Analyzing multicore dumps to facilitate concurrency bug reproduction

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2010, Pages 155-166

  Weeratunge, Dasarath ^a   Zhang, Xiangyu ^a   Jagannathan, Suresh ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Concurrency bugs; Execution indexing; Multi core; Reproduction

Indexed keywords

CONCURRENT PROGRAM; CORE SYSTEMS; FAILURE POINTS; INTERLEAVINGS; MULTI CORE; NON-DETERMINISM; RE-EXECUTION; REPRODUCTION TECHNIQUES; SEARCH ALGORITHMS;

COMPUTER OPERATING SYSTEMS; INDEXING (OF INFORMATION); LEARNING ALGORITHMS; LINGUISTICS; PROGRAM DEBUGGING;

CONCURRENCY CONTROL;

EID: 77952268287     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1736020.1736039     Document Type: Conference Paper

References (30)

1. A. R. Alameldeen and D. A. Wood. Addressing Workload Variability in Architectural Simulations. In IEEE Micro, 23(6):94-98, 2003.
2. G. Altekar and I. Stoica. ODR: Output-Deterministic Replay for Multicore Debugging. In SOSP, pages 193-206, 2009.
3. A. Ayers, R. Schooler, C. Metcalf, A. Agarwal, J. Rhee, and E. Witchel. Traceback: First Fault Diagnosis by Reconstruction of Distributed Control Flow. In PLDI, pages 201-212, 2005. (Pubitemid 43924034)
4. S. Bhansali, W.-K. Chen, S. de Jong, A. Edwards, R. Murray, M. Drinic, D. Mihocka, and J. Chau. Framework for Instruction-Level Tracing and Analysis of Program Executions. In VEE, pages 154-163, 2006.
5. H. J. Boehm and M. Weiser. Garbage Collection in an Uncooperative Environment. In Software Practice and Experience, 18(9):807-820, 1988.
6. M. D. Bond and K. S. McKinley. Probabilistic Calling Context. In OOPSLA, pages 97-112, 2007.
7. J.-D. Choi and H. Srinivasan. Deterministic Replay of Java Multithreaded Applications. In SIGMETRICS, pages 48-59, 1998.
8. G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen. Execution Replay of Multiprocessor Virtual Machines. In VEE, pages 121-130, 2008.
9. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The Program Dependence Graph and its Use in Optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, 1987. (Pubitemid 17641083)
10. B. C. M. Fung, K. Wang, R. Chen, and P. S. Yu. Privacy-preserving Data Publishing: A Survey on Recent Developments. In ACM Computing Surveys, 2009.
11. Z. Guo, X.Wang, J. Tang, X. Liu, Z. Xu, M.Wu,M. F. Kaashoek, and Z. Zhang. R2: An Application-Level Kernel for Record and Replay. In OSDI, pages 193-208, 2008.
12. D. R. Hower and M. D. Hill. Rerun: Exploiting Episodes for Lightweight Memory Race Recording. In ISCA, pages 265-276, 2008.
13. 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.
14. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging Operating Systems with Time-Traveling Virtual Machines. In USENIX, pages 1-15, 2005.
15. B. Korel and J. Laski. Dynamic Program Slicing. In Information Processing Letters, 29(3):155-163, 1988.
16. P. Montesinos, M. Hicks, S. T. King, and J. Torrellas. Capo: A Software-Hardware Interface for Practical Deterministic Multiprocessor Replay. In ASPLOS, pages 73-84, 2009.
17. M. Musuvathi and S. Qadeer. Iterative Context Bounding for Systematic Testing of Multithreaded Programs. In PLDI, pages 446-455, 2007.
18. S. Narayanasamy, C. Pereira, and B. Calder. Recording Shared Memory Dependencies Using Strata. In ASPLOS, pages 229-240, 2006.
19. N. Nethercote and J. Seward. Valgrind: A Framework for Heavy-weight Dynamic Binary Instrumentation. In PLDI, pages 89-100, 2007. (Pubitemid 47630678)
20. R. H. B. Netzer and M. H. Weaver. Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. In PLDI, pages 313-325, 1994.
21. D. Z. Pan and M. A. Linton. Supporting Reverse Execution for Parallel Programs. In SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, pages 124-129, 1988.
22. S. Park, S. Lu, and Y. Zhou. Ctrigger: Exposing Atomicity Violation Bugs from Their Hiding Places. In ASPLOS, pages 25-36, 2009.
23. S. Park,W. Xiong, Z. Yin, R. Kaushik, K. Lee, S. Lu, and Y. Zhou. Do You Have to Reproduce the Bug at the First Replay Attempt? - pres: Probabilistic Replay with Execution Sketching on Multiprocessors. In SOSP, pages 177-192, 2009.
24. M. Ronsse, K. D. Bosschere, M. Christiaens, J. C. d. Kergommeaux, and D. Kranzlmüller. Record/Replay for Nondeterministic Program Executions. In Communcation of the ACM, 46(9):62-67, 2003.
25. Y. Saito. Jockey: A User-Space Library for Record-Replay Debugging. In Automated Analysis-Driven Debugging, pages 69-76, 2005.
26. , S. Sarkar, P. Sewell, F.Z. Nardelli, S. Owens, T. Ridge, T. Braibant, M. Myreen, and J. Aglave The Semantics of x86-CC Multiprocessor Machine Code In POPL, pages 379-391, 2009.
27. K. Sen. Race Directed Random Testing of Concurrent Programs. In PLDI, pages 11-21, 2008.
28. S.M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou. Flashback: A Lightweight Extension For Rollback and Deterministic Replay for Software Debugging. In USENIX, pages 29-44, 2004.
29. B. Xin, N. Sumner, and X. Zhang. Efficient Program Execution Indexing. In PLDI, pages 238-249, 2008.
30. X. Zhang, R. Gupta, and Y. Zhang. Cost and Precision Tradeoffs of Dynamic Data Slicing Algorithms. ACM Transactions on Programming Languages and Systems, 27(4):631-661, 2005. (Pubitemid 43942502)