Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/55364.55406acmconferencesArticle/Chapter ViewAbstractPublication PagesicsConference Proceedingsconference-collections
Article
Free access

Array expansion

Published: 01 June 1988 Publication History

Abstract

A common problem in restructuring programs for vector or parallel execution is the suppression of false dependencies which originate in the reuse of the same memory cell for unrelated values. The method is simple and well understood in the case of scalars. This paper gives the general solution for the case of arrays. The expansion is done in two steps: first, modify all definitions of the offending array in order to obtain the single assignment property. Then, reconstruct the original data flow by adapting all uses of the array. This is done with the help of a new algorithm for solving parametric integer programs. The technique is quite general and may be used for other purposes, including program checking, collecting array predicates, etc

References

[1]
Aho A.V, Sethi R, Ullman J.D Compilers: Principles, Techniques and Tools Addison-Wesley, Reading, Mass, 1986
[2]
Allen, J.R, Kennedy K. Automatic Loop Interchange SIGPLAN Notices, 19, 1984
[3]
Baker B.S An algorithm for structuring programs JACM 24, 98-120, 1977
[4]
Cousot P, Halbwach N. Automatic Discovery of Linear Restraints among Variables of a Program ACM POPL, 1978
[5]
Feautrier P. Parametric Integer Programming to appear in RAIRO Recherche Operationelle, September 1988
[6]
P. Jouvelot Semantic parallelizatio, a practical exercise in abstract interpretation ACM-POPL '87, Munich
[7]
Kuck D.J The structure of computers and computations, J. Wiley and sons, New York, 1978
[8]
Padua D.A, Wolfe M.1 Advanced Compiler optimization for super computers CACM, 1986
[9]
Wolfe M. J Techniques for improving the inherent parallelism in programs. M.S. thesis, Univ of Illinois at Urbane-Champlain, 1978.

Cited By

View all
  • (2023)A Deep Learning Model for Loop InterchangeProceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction10.1145/3578360.3580257(50-60)Online publication date: 17-Feb-2023
  • (2023)Time series analysis acceleration with advanced vectorization extensionsThe Journal of Supercomputing10.1007/s11227-023-05060-279:9(10178-10207)Online publication date: 2-Feb-2023
  • (2022)Sparsity-Specific Code Optimization using Expression TreesACM Transactions on Graphics10.1145/352048441:5(1-19)Online publication date: 13-May-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICS '88: Proceedings of the 2nd international conference on Supercomputing
June 1988
679 pages
ISBN:0897912721
DOI:10.1145/55364
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1988

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Acceptance Rates

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

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)100
  • Downloads (Last 6 weeks)17
Reflects downloads up to 12 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2023)A Deep Learning Model for Loop InterchangeProceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction10.1145/3578360.3580257(50-60)Online publication date: 17-Feb-2023
  • (2023)Time series analysis acceleration with advanced vectorization extensionsThe Journal of Supercomputing10.1007/s11227-023-05060-279:9(10178-10207)Online publication date: 2-Feb-2023
  • (2022)Sparsity-Specific Code Optimization using Expression TreesACM Transactions on Graphics10.1145/352048441:5(1-19)Online publication date: 13-May-2022
  • (2022)Exploiting Vector Extennsions to Accelerate Time Series Analysis2022 30th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)10.1109/PDP55904.2022.00017(55-62)Online publication date: Mar-2022
  • (2021)Polygeist: Raising C to Polyhedral MLIR2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT)10.1109/PACT52795.2021.00011(45-59)Online publication date: Sep-2021
  • (2020)Automated policy synthesis for system call sandboxingProceedings of the ACM on Programming Languages10.1145/34282034:OOPSLA(1-26)Online publication date: 13-Nov-2020
  • (2020)EGGS: Sparsity‐Specific Code GenerationComputer Graphics Forum10.1111/cgf.1408039:5(209-219)Online publication date: 12-Aug-2020
  • (2019)Tiramisu: a polyhedral compiler for expressing fast and portable codeProceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization10.5555/3314872.3314896(193-205)Online publication date: 16-Feb-2019
  • (2019)Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2019.8661197(193-205)Online publication date: Feb-2019
  • (2019)Accelerating time series motif discovery in the Intel Xeon Phi KNL processorThe Journal of Supercomputing10.1007/s11227-019-02923-5Online publication date: 10-Jun-2019
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media