Dynamic slicing of multithreaded programs for race detection

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2008, Pages 97-106

  Tallam, Sriraman ^a   Tian, Chen ^b   Gupta, Rajiv ^b  

^a GOOGLE INC   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; DIGITAL SIGNAL PROCESSING; MAINTAINABILITY; MAINTENANCE; PROGRAM PROCESSORS;

CASE STUDIES; CONTROL DEPENDENCES; DATA DEPENDENCES; DATA RACES; DYNAMIC SLICES; DYNAMIC SLICING; EFFICIENT ALGORITHMS; EXTENDED FORMS; MULTITHREADED PROGRAMS; PRIOR WORKS; PROGRAM VALUES; RACE DETECTIONS; ROOT CAUSES; SEQUENTIAL PROGRAMS; TRANSITIVE CLOSURES;

MULTITASKING;

EID: 57849166365     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2008.4658058     Document Type: Conference Paper

References (29)

1. Mysql atomicity violation-1 : http://bugs.mysql.com/bug.php?id=791.
2. Mysql atomicity violation-2 : http://bugs.mysql.com/bug.php?id=169.
3. Mysql atomicity violation-3 : http://bugs.mysql.com/bug.php?id=2011.
4. www.mysql.org.
5. J. Cheng. Slicing concurrent programs - a graph-theoretical approach. In AADEBUG '93: Proceedings of the First International Workshop on Automated and Algorithmic Debugging, pages 223-240, London, UK, 1993. Springer-Verlag.
6. M. Christiaens and K. D. Bosschere. Trade, a topological approach to on-the-fly race detection in java programs. In JVM'01: Proceedings of the JavaTM Virtual Machine Research and Technology Symposium, pages 105-116, Berkeley, CA, USA, 2001. USENIX Association.
7. A. Dinning and E. Schonberg. Detecting access anomalies in programs with critical sections. In PADD '91: Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, pages 85-96, New York, NY, USA, 1991. ACM Press.
8. E. Duesterwald, R. Gupta, and M. L. Soffa. Distributed slicing and partial re-execution for distributed programs. In LCPC : The International Workshop on Languages and Compilers for Parallel Computing, pages 497-511, 1992.
9. C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. SIGPLAN Not., 39(1):256-267, 2004.
10. M. Kamkar and P. Krajina. Dynamic slicing of distributed programs. In ICSM '95: Proceedings of the International Conference on Software Maintenance, pages 222-231, Washington, DC, USA, 1995. IEEE Computer Society.
11. B. Korel and S. Yalamanchili. Forward computation of dynamic program slices. In ISSTA : Proceedings of the 1994 International Symposium on Software Testing and Analysis, pages 66-79, 1994.
12. B. Krena, Z. Letko, R. Tzoref, S. Ur, and T. Vojnar. Healing data races on-the-fly. In PADTAD '07: Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, pages 54-64, New York, NY, USA, 2007. ACM Press.
13. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565, 1978.
14. S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou. Bugbench: Benchmarks for evaluating bug detection tools. In Workshop on the Evaluation of Software Defect Detection Tools, pages 1-5, 2005.
15. J. Mellor-Crummey. On-the-fly detection of data races for programs with nested fork-join parallelism. In Supercomputing '91: Proceedings of the 1991 ACM/IEEE conference on Supercomputing, pages 24-33, New York, NY, USA, 1991. ACM.
16. S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. Automatically classifying benign and harmful data races using replay analysis. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 22-31, New York, NY, USA, 2007. ACM Press.
17. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In PLDI '07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, pages 89-100, 2007.
18. R. H. B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs. In Workshop on Parallel and Distributed Debugging, pages 1-11, 1993.
19. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In PPoPP '03: Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 167-178, New York, NY, USA, 2003. ACM Press.
20. J. Rilling and H. F. Li. Predicate-based dynamic slicing of message passing programs. In ICSM'02: Proceeding of the IEEE International Conference on Software Maintenance, pages 133-142, 2002.
21. M. Ronsse and K. D. Bosschere. Recplay: a fully integrated practical record/replay system. ACM Trans. Comput. Syst., 17(2):133-152, 1999.
22. Y. Saito. Jockey: a user-space library for record-replay debugging. In AADEBUG : Proceedings of the First International Workshop on Automated and Algorithmic Debugging, pages 69-76, 2005.
23. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. In SOSP '97: Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, pages 27-37, New York, NY, USA, 1997. ACM Press.
24. S. Tallam, C. Tian, R. Gupta, and X. Zhang. Enabling tracing of long-running multithreaded programs via dynamic execution reduction. In ISSTA '07: Proceedings of the 2007 International Symposium on Software Testing and Analysis, pages 207-218, New York, NY, USA, 2007. ACM.
25. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 programs: Characterization and methodological considerations. In Proceedings of the 22th International Symposium on Computer Architecture, pages 24-36, Santa Margherita Ligure, Italy, 1995.
26. B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen. A brief survey of program slicing. SIGSOFT Softw. Eng. Notes, 30(2):1-36, 2005.
27. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: efficient detection of data race conditions via adaptive tracking. SIGOPS Oper. Syst. Rev., 39(5):221-234, 2005.
28. X. Zhang, S. Tallam, and R. Gupta. Dynamic slicing long running programs through execution fast forwarding. In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 81-91, New York, NY, USA, 2006. ACM Press.
29. P. Zhou, R. Teodorescu, and Y. Zhou. Hard: Hardware-assisted lockset-based race detection. In HPCA'07: Proceedings of the International Symposium on High-Performance Computer Architecture, pages 121-132, 2007.