Article

Free access

Semantical interprocedural parallelization: an overview of the PIPS project

Authors:

François Irigoin,

Pierre Jouvelot,

Rémi TrioletAuthors Info & Claims

ICS '91: Proceedings of the 5th international conference on Supercomputing

Pages 244 - 251

https://doi.org/10.1145/109025.109086

Published: 01 June 1991 Publication History

PDF eReader

References

[1]

ANSI X3J3/S8.115. Fortran90. June 90

Google Scholar

[2]

Ancourt, C. G~n~ration Automatique de Codes de Transfert pour Multiproce~seurs 5 Mdmoire8 gocaIe~. PhD thesis, Universit6 Paris 6, 1991

Google Scholar

[3]

Allen F., Burke M., Charles P., Cytron R., and Ferran~e J. An overview of the PTRAN analysis system for multiprocessing. Journal of Parallel and Distributed Computing, Vol. 5, No 5, Oct. 1988.

Digital Library

Google Scholar

[4]

Allen, 1~_, and Kennedy K. Automatic translation of FORTRAN programs to vector form. ACM Transactions on Programming Langages and Systems, Oct. 87.

Digital Library

Google Scholar

[5]

Appelbe, B., and Smith, K. Start/Pat: A Parallel Programming Toolkit. IEEE Software, Jul. 89.

Digital Library

Google Scholar

[6]

Banerjee, U. Dependence Analysis for Supercomput. ing. Kluwer Academic Publishers, 1988

Digital Library

Google Scholar

[7]

Burke, M., and Cytron, It. Interprocedural Dependence Analysis and Parallelization. In the Proceedings of the A CM Symposium on Compiler Construetion, 1986

Digital Library

Google Scholar

[8]

Balasundaram, V., Kennedy, K. A Technique for Summarizing Data Access and its Use in Parallelism Enhancing Transformations. In the Proceedings of the A CM Symposium on Programming Languages Design and implementation, 1989

Digital Library

Google Scholar

[9]

Callahan, D. A Global Approach to Detection of Parallelism. PhD Thesis, Rice University, 1987

Digital Library

Google Scholar

[10]

Chassany, P. Les m~thodes de parall~llsation interproc~durale. Tech. Rep. EMP-CAI-I E/129, Ecole des Mines, 1990

Google Scholar

[11]

CaUahan, C. D., Cooper, K. D., Hood, R. T., Kennedy, K., and Torczon, L. Parascope: A Parallel Programming Environment. In the In~er. J. of Supercomputer Applications, Winter 88.

Google Scholar

[12]

Callahan, C. D., Cooper, K. D., Kennedy, K., and Torczon, L. Interprocedural Constant Propagation. In the Proceedings of the A CM Symposium on Compiler Construction, 1986

Digital Library

Google Scholar

[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

Digital Library

Google Scholar

[14]

Callahan, D., and Kennedy, K. Analysis of Interprocedural Side Effects in a Parallel Programming Envlronment. Journal of Parallel and Distributed Computing, v. 5, n. 5, 1988

Digital Library

Google Scholar

[15]

Dehbonei, B., Laurent, C., Tawbi, N., and Kulkarni, R. & S. PMACS: An Environment for Parallel Programming. In the Proceedings o/the International Workshop on Compilers for Parallel Computers, Paris, Dec. 90.

Google Scholar

[16]

Feautrier, P. Array Expansion. In the Proceedings of the A CM International Conference on Supercomputing, St-Malo, 1988.

Digital Library

Google Scholar

[17]

Ferrante, J., Ottenstein, K. J., and Warren, J. D. The Program Dependence Graph and it Use in Optimization. A CM TOPLAS, 1987

Digital Library

Google Scholar

[18]

Irigoin, F. Loop Reordering with Dependence Direction Vectors. In the Journdes FIRTECH Syst~mes et Tglgmatique Architectures Futures: Programmation Parall~le et Intdgration V~SI, Paris, 1988

Google Scholar

[19]

lxigoin, F., and Triolet, R. Supernode Partitioning. In the Proceedings of the A CM Symposium on Principles of Programming Languages, San-Diego, 1988

Digital Library

Google Scholar

[20]

Irigoin, F., and Triolet, It. Dependence Approximation and Global Parallel Code Generation for Nested Loops. In the Proceedings of the International Workshop on Parallel and Distributed Algorithms, Bonas, 1988

Google Scholar

[21]

Jouvelot, P., and Dehbonei, B. A Unified Semantic Approach For The Vectorization And Parallelization Of Generalized Reductions. In the Proceedings of the A CM International Conf. on Supercomputing, Crete, 1989

Digital Library

Google Scholar

[22]

Jouvelot, P., and Gifford, D. K. Reasoning aboug Continuation with Control Effects. In the Proceedings of the A CM Conference on Programming Languages Design and Implementation, 1989

Digital Library

Google Scholar

[23]

Jouvelot, P., and Triolet, R. NewGen: A Language Independent Program Generator. Rapport Interne CAII 191, 1989

Google Scholar

[24]

Karr, M. Affine Relationships among Variables of a Program. Acta informatica, 1976

Google Scholar

[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

Google Scholar

[26]

Lamport, L. The Parallel Execution of DO Loops. Communications of the A CM, 1974

Digital Library

Google Scholar

[27]

Lichnewsky, A., and Thomasset, F. Techniques de base pour l'exploitation automatique du parall~lisme dans les programmes. INRIA Report 460, 1985

Google Scholar

[28]

Li. Intraprocedural and Interprocedural Data Dependence Analysis for Parallel Computing. CSRD Report 910, 1989

Google Scholar

[29]

Rosen, B. K. High-Level Data Flow Analysis. Communications of the A CM, 1977

Digital Library

Google Scholar

[30]

Stoy, J. E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977

Digital Library

Google Scholar

[31]

Sharir, M. Structural Analysis: A New Approach to Flow Analysis in Optimizing Compilers. Computer Language~ 1980

Google Scholar

[32]

Shei, B., and Gannon, D. SIGMACS: A Programmable Programming Environment. In the Proceedings o/the International Workshop on Programming Languages and Compilers for Parallel Computers, Irvine, Aug. 90.

Google Scholar

[33]

Triolet, R. Contribution ~ la parall~lisation automatique de programmes Fortran comportant des appels de procedure, PhD Thesis, Universit~ Pierre et Marie Curie, 1984

Google Scholar

[34]

Triolet, R. Interprocedural Analysis for Program Restructuring with Parafrase. CSRD Report 538, 1985

Google Scholar

[35]

Tawbi, N., and Feautrier, P. Parall~lisation automatique de programmes pour ordinateurs multiprocesseurs m~moire partag~e. Tech. Rep. MASI, Universit~ Pierre et Marie Curie, 1989

Google Scholar

[36]

Triolet, R., Irigoin, F., and Feautrier, P. Direct arallellzatlon of Call ~tatements. in the Proceeding~ of the A CM Symposium on Compiler Construction, 1986

Digital Library

Google Scholar

[37]

Wolfe, M. J. Optimizing Supercompilers for Supercomputers. MIT Press, 1989.

Digital Library

Google Scholar

Cited By

View all

Benoit NLouise S(2023)Runtime support for automatic placement of workloads on heterogeneous processors2023 IEEE 16th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC)10.1109/MCSoC60832.2023.00039(210-217)Online publication date: 18-Dec-2023
https://doi.org/10.1109/MCSoC60832.2023.00039
Magomedov SLebedev A(2019)A tool for automatic parallelization of affine programs for systems with shared and distributed memoryRussian Technological Journal10.32362/2500-316X-2019-7-5-7-197:5(7-19)Online publication date: 15-Oct-2019
https://doi.org/10.32362/2500-316X-2019-7-5-7-19
Brunet PCreusillet BGuinet AMartinez JFalcarin PZunke M(2019)Epona and the Obfuscation ParadoxProceedings of the 3rd ACM Workshop on Software Protection10.1145/3338503.3357722(41-52)Online publication date: 15-Nov-2019
https://dl.acm.org/doi/10.1145/3338503.3357722
Show More Cited By

Index Terms

Semantical interprocedural parallelization: an overview of the PIPS project
1. Computing methodologies
  1. Parallel computing methodologies
    1. Parallel programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Control structures
      2. Language types
        Parallel programming languages

Recommendations

Interprocedural pointer alias analysis

We present practical approximation methods for computing and representing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (1) a framework ...
Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization
Special issue on architecture-independent languages and software tools for parallel processing

Since sequential languages such as Fortran and C are more machine-independent than current parallel languages, it is highly desirable to develop powerful parallelization-tools which can generate parallel codes, automatically or semiautomatically, ...
Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project
ACM International Conference on Supercomputing 25th Anniversary Volume

The PIPS project was started in 1988 to investigate the automatic detection of medium- and large-grain parallelism in scientific programs thanks to summarization techniques based on convex array regions. By 1992 the PIPS system had reached its original ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICS '91: Proceedings of the 5th international conference on Supercomputing

June 1991

470 pages

ISBN:0897914341

DOI:10.1145/109025

Editors:
Edward S. Davidson
Univ. of Michigan, Ann Arbor
,
Friedel Hossfield
Research Center Juelich, Germany

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICS91

Sponsor:

SIGARCH

ICS91: ACM SIGARCH International Conference on Supercomputing

June 17 - 21, 1991

Cologne, West Germany

Acceptance Rates

Overall Acceptance Rate 629 of 2,180 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

122
Total Citations
View Citations
435
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)2

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Benoit NLouise S(2023)Runtime support for automatic placement of workloads on heterogeneous processors2023 IEEE 16th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC)10.1109/MCSoC60832.2023.00039(210-217)Online publication date: 18-Dec-2023
https://doi.org/10.1109/MCSoC60832.2023.00039
Magomedov SLebedev A(2019)A tool for automatic parallelization of affine programs for systems with shared and distributed memoryRussian Technological Journal10.32362/2500-316X-2019-7-5-7-197:5(7-19)Online publication date: 15-Oct-2019
https://doi.org/10.32362/2500-316X-2019-7-5-7-19
Brunet PCreusillet BGuinet AMartinez JFalcarin PZunke M(2019)Epona and the Obfuscation ParadoxProceedings of the 3rd ACM Workshop on Software Protection10.1145/3338503.3357722(41-52)Online publication date: 15-Nov-2019
https://dl.acm.org/doi/10.1145/3338503.3357722
Prema SNasre RJehadeesan RPanigrahi B(2019)A study on popular auto‐parallelization frameworksConcurrency and Computation: Practice and Experience10.1002/cpe.516831:17Online publication date: 11-Feb-2019
https://doi.org/10.1002/cpe.5168
Büscher NDemmler DKatzenbeisser SKretzmer DSchneider TLie DMannan MBackes MWang X(2018)HyCCProceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security10.1145/3243734.3243786(847-861)Online publication date: 15-Oct-2018
https://dl.acm.org/doi/10.1145/3243734.3243786
Slaughter ELee WTreichler SZhang WBauer MShipman GMcCormick PAiken AMohr BRaghavan P(2017)Control replicationProceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis10.1145/3126908.3126949(1-12)Online publication date: 12-Nov-2017
https://dl.acm.org/doi/10.1145/3126908.3126949
Perentis CVescovi MLeonardi CMoiso CMusolesi MPianesi FLepri B(2017)Anonymous or Not? Understanding the Factors Affecting Personal Mobile Data DisclosureACM Transactions on Internet Technology10.1145/301743117:2(1-19)Online publication date: 23-Mar-2017
https://dl.acm.org/doi/10.1145/3017431
Rosenthal SMckeown K(2017)Detecting Influencers in Multiple Online GenresACM Transactions on Internet Technology10.1145/301416417:2(1-22)Online publication date: 23-Mar-2017
https://dl.acm.org/doi/10.1145/3014164
Goncalves JHosio SKostakos V(2017)Eliciting Structured Knowledge from Situated Crowd MarketsACM Transactions on Internet Technology10.1145/300790017:2(1-21)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.1145/3007900
Büscher NKatzenbeisser SBüscher NKatzenbeisser S(2017)Towards Scalable and Optimizing Compilation for MPCCompilation for Secure Multi-party Computation10.1007/978-3-319-67522-0_7(79-85)Online publication date: 17-Nov-2017
https://doi.org/10.1007/978-3-319-67522-0_7
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Interprocedural pointer alias analysis

Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization

Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project