Interprocedural slicing of multithreaded programs with applications to Java

ACM Transactions on Programming Languages and Systems

Volumn 28, Issue 6, 2006, Pages 1088-1144

  Nanda, Mangala Gowri ^a,c   Ramesh, S ^b  

^a IBM INDIA RESEARCH LAB   (India)

^b INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

^c IBM RESEARCH INDIA   (India)

Author keywords

Context sensitivity; Data dependence; Interference dependence; Multithreading; Program slicing; Strongly connected regions

Indexed keywords

INTERFERENCE DEPENDENCE; MULTITHREADING; PROGRAM SLICING; STRONGLY CONNECTED REGIONS;

ALGORITHMS; COMPUTER PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS; SYNCHRONIZATION;

JAVA PROGRAMMING LANGUAGE;

EID: 33845521068     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1186632.1186636     Document Type: Article

References (48)

1. AGRAWAL, H., DEMILLO, R., AND SPAFFORD, E. 1993. Debugging with dynamic slicing and backtracking. Softw. - Pract. Exper. 23, 6, 589-616.
2. AHO, A., SETHI, R., AND ULLMAN, J. 1986. Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading, MA.
3. BECK, J. AND EICHMANN, D. 1993. Program and interface slicing for reverse engineering. In Proceedings of the 15th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 509-518.
4. BINKLEY, D. AND GALLAGHER, K. 1996. Program slicing. Advances in Computers 43.
5. BINKLEY, D., HORWITZ, S., AND REPS, T. 1995. Program integration for languages with procedure calls. ACM Trans. Softw. Eng. Meth. 4, 1 (Jan.), 3-35.
6. BURKE, M. 1990. An interval-based approach to exhaustive and incremental interprocedural data-flow analysis. ACM Trans. Prog. Lang. Syst. 12, 3 (July).
7. CALLAHAN, D. 1988. The program summary graph and flow-sensitive interprocedural data flow analysis. In Proceedings of the Conference on Programming Language Design and Implementation.
8. CHEN, Z. AND XU, B. 2001. Slicing concurrent Java programs. ACM SIGPLAN Notices 36, 4 (Apr.), 41-47.
9. CHENG, J. 1993. Slicing concurrent programs. In Automated and Algorithmic Debugging 1st International Workshop. Lecture Notes in Computer Science, vol 749. Springer-Verlag, New York.
10. CHOI, J.-D., GUPTA, M., SREEDHAR, V. C., AND MIDKIFF, S. 1999. Escape analysis for Java. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications. ACM, New York.
11. CORMEN, T. H., LEISERSON, C. E., AND RIVEST, R. L. 1990. Introduction to algorithms. MIT press, Cambridge MA.
12. DIJKSTRA, E. W. 1968. Programming Languages, Academic Press, London, England.
13. GALLAGHER, K. B. AND LYLE, J. R. 1991. Using program slicing in software maintenance. IEEE Trans. Softw. Eng. 17, 8, 751-761.
14. HARMAN, M., BINKLEY, D., AND DANICIC, S. 2003. Amorphous program slicing. J. Syst. Softw. 68, 1, 45-64.
15. HARMAN, M. AND DANICIC, S. 1995. Using program slicing to simplify testing. Softw. Test. Verifi. Reliab., 143-162.
16. HARROLD, M. J., ROTHERMEL, G., AND SINHA, S. 1998. Computation of interprocedural control dependence. In Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM, New York. 11-20.
17. HATCLIFF, J., CORBETT, J., DWYER, M., SOKOLOWSKI, S., AND ZHENG, H. 1999. A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In Proceedings of the Conference on International Static Analysis Symposium.
18. HORWITZ, S., PRINS, J., AND REPS, T. 1989. Integrating noninterfering versions of programs. ACM Trans. Prog. Lang. Syst. 11, 3, 345-387.
19. HORWITZ, S., REPS, T., AND BINKLEY, D. 1990. Interprocedural slicing using dependence graphs. ACM Trans. Prog. Lang. Syst. 12, 26-60.
20. JAVAGRAND. Benchmark suite - thread version 1.0. URL http://www.epcc.ed. ac.uk/computing/research_activities/java_grande/.
21. JOHNSON, R. AND PINGALI, K. 1993. Dependence based program analysis. In Proceedings of the Conference on Programming Language Design and Implementation. ACM, New York. 78-89.
22. KRINKE, J. 1998. Static slicing of threaded programs. In Proceedings of the Conference on Program Analysis for Software Tools and Engineering (PASTE 98). 35-42.
23. KRINKE, J. 2003. Context-sensitive slicing of concurrent programs. In Proceedings of the ACM Symposium on the Foundations of Software Engineering. ACM, New York.
24. KRISHNAMURTHY, A. AND YELICK, K. 1995. Optimizing parallel programs with explicit synchronization. In Proceedings of the Conference on Programming Language Design and Implementation. ACM, New York. 196-204.
25. MÜLLER-OLM, M. AND SEIDE, H. 2001. On optimal slicing of concurrent programs. In Proceedings of the ACM Symposium on Theory of Computing (STOC 2001). ACM, New York. 647-656.
26. MILLET, L. AND TEITELBAUM, T. 1998. Slicing Promela and its application to model checking, simulation, and protocol understanding. In Proceedings of the 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker.
27. MILLET, L. AND TEITELBAUM, T. 1999. A case for channel dependence analysis: Slicing Promela. In Proceedings of the 1999 International Symposium, on Software Engineering for Parallel and Distributed Systems (PDSE'99).
28. NANDA, M. G. 2001. Slicing concurrent Java programs: Issues and solutions. Ph.D. thesis, Department of Computer Science and Engineering, Indian Institute of Technology, Bombay. http://www.cse.iitb.ernet.in/~ramesh/gow- thesis.ps.gz; Examiners: Dr. Frank Tip, IBM T. J. Watson Research Center and Prof. R. Mall, Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur.
29. NANDA, M. G., BHADURI, P., OBEROI, S., AND SANYAL, A. 1999. An application of compiler technology to the year 2000 problem. Softw. - Pract. Exper.
30. NANDA, M. G. AND RAMESH, S. 2000. Slicing concurrent programs. In Proceedings of the International Symposium on Software Testing and Analysis.
31. NANDA, M. G. AND RAMESH, S. 2003. Pointer analysis of multithreaded Java programs. In Proceedings of the ACM Symposium, on Applied Computing. ACM, New York.
32. NOVILLO, D., UNRAU, R., AND SCHAEFFER, J. 1998. Concurrent SSA form in the presence of mutual exclusion. In Proceedings of the International Conference on Parallel Processing.
33. OTTENSTEIN, K. AND OTTENSTEIN, L. 1984. The program dependence graph in a software development environment. In Proceedings of the ACM SIGSOFT/ SIGPLAN Software Engineering Symposium on Practical Software Development Environments. ACM, New York. 177-184.
34. RAMALINGAM, G. 2000. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Trans. Program. Lang. Syst. 22, 2, 416-430.
35. RANGANATH, V. P. AND HATCLIFF, J. 2004. Pruning interference and ready dependence for slicing concurrent Java. In Proceedings of the 13th International Conference on Compiler Construction (CC).
36. REPS, T., HORWITZ, S., SAGIV, M., AND ROSAY, G. 1994. Speeding up slicing. In Proceedings of the ACM Symposium on the Foundations of Software Engineering (New Orleans, LA). ACM, New York. 11-20.
37. RUF, E. 2000. Effective synchronization removal for Java. In Proceedings of the Conference on Programming Language Design and Implementation. ACM, New York. 208-218.
38. RUGINA, R. AND RINARD, M. 1999. Pointer analysis for multithreaded programs. In Proceedings of the Conference on Programming Language Design and Implementation, ACM, New York.
39. SALCIANU, A. AND RINARD, M. 2001. Pointer and escape analysis for multithreaded programs. In Proceedings of the ACM SIGPLAN Symposium, on Principles and Practice of Parallel Programming. ACM, New York.
40. SARKAR, V. 1991. Automatic partitioning of a program dependence graph into parallel tasks. IBM J. Res. Devel. 35, 779-804.
41. SHARIR, M. AND PNUELI, A. 1981. Two approaches to interprocedural data flow analysis. In Program. Flow Analysis: Theory and Applications, S. S. Muchnick and N. D. Jones, Eds. Prentice-Hall, Englewood Cliffs, NJ, 189-233.
42. SINHA, S., HARROLD, M. J., AND ROTHERMEL, G. 1999. System-dependence- graph-based slicing of programs with arbitrary interprocedural control flow. In Proceedings of the International Conference on Software Engineering. 432-441.
43. TIP, F. 1995. A survey of program slicing techniques. J. Prog. Lang. 3, 121-181.
44. VENKATESH, R. 1991. The semantic approach to program slicing. In Proceedings of the Conference on Programming Language Design and Implementation. ACM, New York.
45. WEISER, M. 1984. Program slicing. IEEE Trans. Softw. Eng. 10, 352-357.
46. WHALEY, J. AND RINARD, M. 1999. Compositional pointer and escape analysis for Java programs. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications. ACM, New York.
47. YANG, W., HORWITZ, S., AND REPS, T. 1992. A program integration algorithm that accommodates semantics-preserving transformations. ACM Trans. Softw. Eng. Method. 1, 3 (July), 310-354.
48. ZHAO, J. 1999. Slicing concurrent Java programs. In Proceedings of the IEEE International Workshop on Program Comprehension, IEEE Computer Society Press, Los Alamitos, CA.