Semantical interprocedural parallelization: An overview of the PIPS project

Proceedings of the International Conference on Supercomputing

Volumn , Issue , 1991, Pages 244-251

  Irigoin, François ^a   Jouvelot, Pierre ^a   Triolet, Rémi ^a  

^a PSL RESEARCH UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

METADATA;

CONTROL GRAPHS; DEMAND-DRIVEN; IMPLEMENTATION LANGUAGES; INTER-PROCEDURAL; INTER-PROCEDURAL ANALYSIS; NESTED LOOPS; PARALLELIZATIONS; TRANSFORMATION PHASIS;

INTELLIGENT CONTROL;

EID: 85040171708     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (37)

1. ANSI X3J3/S8.115. Fortran90. June 90
2. Ancourt, C. Generation Automatique de Codes de Transfert pour Multiprocesseurs a Memoires Locales. PhD thesis, Universite Paris 6, 1991
3. Allen F., Burke M., Charles P., Cytron R., and Ferrante J. An overview of the PTRAN analysis system for multiprocessing. Journal of Parallel and Distributed Computing, Vol. 5, No 5, Oct. 1988.
4. Allen, R., and Kennedy K. Automatic translation of FORTRAN programs to vector form. ACM Transactions on Programming Langages and Systems, Oct. 87.
5. Appelbe, B., and Smith, K. Start/Pat: A Parallel Programming Toolkit. IEEE Software, Jul. 89.
6. Banerjee, U. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, 1988
7. Burke, M., and Cytron, R. Interprocedural Dependence Analysis and Parallelization. In the Proceedings of the ACM Symposium on Compiler Construction, 1986
8. Balasundaram, V., Kennedy, K. A Technique for Summarizing Data Access and its Use in Parallelism Enhancing Transformations. In the Proceedings of the ACM Symposium on Programming Languages Design and Implementation, 1989
9. Callahan, D. A Global Approach to Detection of Parallelism. PhD Thesis, Rice University, 1987
10. Chassany, P. Les methodes de parallelisation interprocedurale. Tech. Rep. EMP-CAI-I E/129, Ecole des Mines, 1990
11. Callahan, C. D., Cooper, K. D., Hood, R. T., Kennedy, K., and Torczon, L. Parascope: A Parallel Programming Environment. In the Inter. J. of Supercomputer Applications, Winter 88.
12. Callahan, C. D., Cooper, K. D., Kennedy, K., and Torczon, L. Interprocedural Constant Propagation. In the Proceedings of the ACM Symposium on Compiler Construction, 1986
13. Halbwachs, N., and Cousot, P. Automatic Discovery of Linear Restraints Among Variables of a Program. In the Conference Record of the Tenth A CM Annual Symposium on Principles of Programming Languages, 1978
14. Callahan, D., and Kennedy, K. Analysis of Interprocedural Side Effects in a Parallel Programming Environment. Journal of Parallel and Distributed Computing, v. 5, n. 5, 1988
15. Dehbonei, B., Laurent, C, Tawbi, N., and Kulkarni, R. & S. PMACS: An Environment for Parallel Programming. In the Proceedings of the International Workshop on Compilers for Parallel Computers, Paris, Dec. 90.
16. Feautrier, P. Array Expansion. In the Proceedings of the ACM International Conference on Supercomputing, St-Malo, 1988.
17. Ferrante, J., Ottenstein, K. J., and Warren, J. D. The Program Dependence Graph and it Use in Optimization. ACM TOPLAS, 1987
18. Irigoin, F. Loop Reordering with Dependence Direction Vectors. In the Journees FIRTECH Systemes et Telematique Architectures Futures: Programmation Parallele et Integration VLSI, Paris, 1988
19. Irigoin, F., and Triolet, R. Supernode Partitioning. In the Proceedings of the A CM Symposium on Principles of Programming Languages, San-Diego, 1988
20. Irigoin, F., and Triolet, R. Dependence Approximation and Global Parallel Code Generation for Nested Loops. In the Proceedings of the International Workshop on Parallel and Distributed Algorithms, Bonas, 1988
21. Jouvelot, P., and Dehbonei, B. A Unified Semantic Approach For The Vectorization And Parallelization Of Generalized Reductions. In the Proceedings of the ACM International Conf. on Super computing, Crete, 1989
22. Jouvelot, P., and Gifford, D. K. Reasoning about Continuation with Control Effects. In the Proceedings of the ACM Conference on Programming Languages Design and Implementation, 1989
23. Jouvelot, P., and Triolet, R. NewGen: A Language Independent Program Generator. Rapport Interne CAII 191, 1989
24. Karr, M. Affine Relationships among Variables of a Program. Acta Informatica, 1976
25. Kuck, D. J., Kuhn, R. H., Leasure, B., and Wolfe, M. J. The Structure of an Advanced Retargetable Vectorizer. In Supercomputers: Design and Application, IEEE Comp. Soc. Press, 1984
26. Lamport, L. The Parallel Execution of DO Loops. Communications of the ACM, 1974
27. Lichnewsky, A., and Thomasset, F. Techniques de base pour Sexploitation automatique du parallelisme dans les programmes. INRIA Report 460, 1985
28. Li. Intraprocedural and Interprocedural Data Dependence Analysis for Parallel Computing. CSRD Report 910, 1989
29. Rosen, B. K. High-Level Data Flow Analysis. Communications of the ACM, 1977
30. Stoy, J. E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977
31. Sharir, M. Structural Analysis: A New Approach to Flow Analysis in Optimizing Compilers. Computer Language, 1980
32. Shei, B., and Gannon, D. SIGMACS: A Programmable Programming Environment. In the Proceedings of the International Workshop on Programming Languages and Compilers for Parallel Computers, Irvine, Aug. 90.
33. Triolet, R. Contribution a la parallelisation automatique de programmes Fortran comportant des appels de procedure, PhD Thesis, Universite Pierre et Marie Curie, 1984
34. Triolet, R. Interprocedural Analysis for Program Restructuring with Parafrase. CSRD Report 538, 1985
35. Tawbi, N., and Feautrier, P. Parallelisation automatique de programmes pour ordinateurs multiprocesseurs a memoire partagee. Tech. Rep. MASI, Universite Pierre et Marie Curie, 1989
36. Triolet, R., Irigoin, F., and Feautrier, P. Direct Parallelization of Call Statements. In the Proceedings of the ACM Symposium on Compiler Construction, 1986
37. Wolfe, M. J. Optimizing Super compilers for Supercomputers. MIT Press, 1989