Detecting parallelism in C programs with recursive data structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1383, Issue , 1998, Pages 159-173

  Ghiya, Rakesh ^a   Hendren, Laurie J ^a   Zhu, Yingchun ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; PROGRAM COMPILERS; TREES (MATHEMATICS);

C COMPILERS; C PROGRAMS; FUNCTION CALLS; LOOP-CARRIED DEPENDENCE; POINTER ANALYSIS; RECURSIVE DATA STRUCTURES; SHAPE ANALYSIS;

C (PROGRAMMING LANGUAGE);

EID: 84958049341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0026429     Document Type: Conference Paper

References (15)

1. Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the A CM SIGPLAN '9th Conference on Programming Language Design and Implementation, pages 242-256, Orlando, Florida, June 1994.
2. Rakesh Ghiya and Laurie J. Hendren. Connection Analysis: A practical interprocedural heap analysis for C. International Journal of Parallel Programming, 24(6), pages 547-578, 1996.
3. Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? a shape analysis for heap-directed pointers in C. In Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programmin 9 Languages, pages 1-15, St. Petersburg, Florida, January 1996.
4. Rakesh Ghiya and Laurie J. Hendren. Putting Pointer Analysis to Work. In Conference Record of the 25th ACId SIGPLAN-SIGA CT Symposium on Principles of Programming Languages, San Diego, California, January 1998.
5. Rakesh Ghiya. Putting Pointer Analysis to Work. PhD Thesis, School of Computer Science, McGill University, Montreal, Canada. February 1998. Expected.
6. Vincent A. Guarna Jr. A technique for analyzing pointer and structure references in parallel restructuring compilers. In Proceeding s of the 1988 International Conference on Parallel Processing, volume II, pages 212-220, August 1988.
7. Joseph Hummel, Laurie J. Hendren, and Alexandru Nicolau. A general data dependence test for dynamic, pointer-based data structures. In Proceedings of the A CM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 218-229, Orlmldo, Florida, June 1994.
8. Laurie J. Hendren and Alexandru Nicolau. Parallelizing programs with recursive data structures. IEEE '.Pransactions on Parallel and Distributed Systems, 1(1):35-47, January 1990.
9. Susan Horwitz, Phil Pfeiffer, and Thomas Reps. Dependence analysis for pointer variables. In Proceedings of the SIGPLAN '89 Conference on Programmin 9 Language Desi9n and Implementation, pages 28-40, Portland, Oregon, June 1989.
10. Laurie J. Hendren, Xinan Tang, Yingchun Zhu, Guang R. Gao, Xun Xue, Halying Cai, and Pierre Ouellet. Compiling C for the EARTH multithreaded architecture. In Proceedings of the 1996 Conference on Parallel Architectures and Compilation Techniques (PACT '96), pages 12-23, Boston, Massachusetts, October 1996.
11. J Justiani. An array dependence testing framework for the McCAT compiler. Master's thesis, McGill University, Montréal, Québec, December 1994.
12. Christopher Lapkowski. A practical symbolic array dependence analysis framework for C. Master's thesis, McGiU University, Montreal, Quebec, April 1997.
13. James R. Larus and Paul N. Hilfinger. Detecting conflicts between structure accesses. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 21-34, Atlanta, Georgia, June 1988.
14. Bhama Sridharan. An analysis framework for the McCAT compiler. Master's thesis, McGill University, Montréal, Québec, September 1992.
15. Xinan Tang, Rakesh Ghiya, L. J. Hendren, and G. R. Gao. Heap analysis and optimizations for threaded programs. In Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques, San Franc., Calif., Nov. 1997.