Symbolic array dataflow analysis for array privatization and program parallelization

Junjie Gu, Zhiyuan Li, Kyung Ho Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)

Abstract

Array dataflow information plays an important role for successful automatic parallelization of Fortran programs. This paper proposes a powerful symbolic array dataflow analysis to support array privatization and loop parallelization for programs with arbitrary control flow graphs and acyclic call graphs. Our scheme summarizes array access information using guarded array regions and propagates such regions over a Hierarchical Supergraph (HSG). The use of guards allows us to use the information in IF conditions to sharpen the array dataflow analysis and thereby to handle difficult cases which elude other existing techniques. The guarded array regions retain the simplicity of set operations for regular array regions in common cases, and they enhance regular array regions in complicated cases by using guards to handle complex symbolic expressions and array shapes. Scalar values that appear in array subscripts and loop limits are substituted on the fly during the array information propagation, which disambiguates the symbolic values precisely for set operations. We present efficient algorithms that implement our scheme. Initial experiments of applying our analysis to Perfect Benchmarks show promising results of improved array privatization.

Original languageEnglish
Title of host publicationProceedings of the ACM/IEEE Supercomputing Conference
Editors Anon
PublisherIEEE
Pages1233-1269
Number of pages37
Volume2
Publication statusPublished - 1995
Externally publishedYes
EventProceedings of the 1995 ACM/IEEE Supercomputing Conference. Part 2 (of 2) - San Diego, CA, USA
Duration: 1995 Dec 31995 Dec 8

Other

OtherProceedings of the 1995 ACM/IEEE Supercomputing Conference. Part 2 (of 2)
CitySan Diego, CA, USA
Period95/12/395/12/8

    Fingerprint

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Gu, J., Li, Z., & Lee, K. H. (1995). Symbolic array dataflow analysis for array privatization and program parallelization. In Anon (Ed.), Proceedings of the ACM/IEEE Supercomputing Conference (Vol. 2, pp. 1233-1269). IEEE.