Abstract
This paper describes a dataflow analysis of array data structures for data-parallel and/or control- (or task-) parallel imperative languages. This analysis departs from previous work because it 1) simultaneously handles both parallel programming paradigms, and 2) does not rely on the usual iterative solving process of a set of data flow equations but extends array dataflow analysis based on integer linear programming, thus improving the precision of results.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
P. Feautrier. Dataflow analysis of scalar and array references. Int. Journal of Parallel Programming, 20(1):23–53, February 1991.
C.H. Koelbel, D.B. Loveman, R.S. Schreiber, G.L. Stelle Jr, and M.E. Zosel. The High Performance Fortran Handbook. The MIT Press, 1994.
Parallel Computing Forum. PCF fortran extensions. Fortran Forum, 10(3), 1991.
M. Gerndt and R. Berrendorf. SVM-Fortran, Reference Manual, Version 1.4. KFA-ZAM-IB-9510, Research Center Jülich May 1995.
I. Foster et al. A Compilation System That Integrates High Performance Fortran and Fort ran M. In Proc. of the Scalable High-Performance Computing Conf (SHPCC'94). pages 293–300, Knoxville, TN, May 1994.
B. Chapman et al. Extending Vienna Fortran with Task Parallelism. In Proc. of the 1994 Intl Conf on Parallel and Distributed System s. pages 258–263, Hsinchu, Taiwan, December 1994.
J. Ferrante, D. Grunwald, and H. Srinivasan. Computing communication sets for control parallel programs. In K. Pingali et al., editor, Proc. of 7th Int. W. on Lang. and Compilers for Parallel Comp., volume 892 of LNCS, pages 316–330, Ithaca, NY, August 1994.
J.-F. Collard, D. Barthou, and P. Feautrier. Fuzzy array dataflow analysis. In Proc. of 5th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, pages 92–102, Santa Barbara, CA, July 1995.
W. Pugh. A practical algorithm for exact array dependence analysis. Communications of the ACM, 35(8):27–47, August 1992.
W. Pugh and D. Wonnacott. Nonlinear Array Dependence Analysis. In Third Workshop on Languages, Compilers and Run-Time Systems for Sc alable Computers, Troy, NY, May 1992.
J. Li and M. Wolfe. Defining, Analyzing, and Transforming Program Constructs. IEEE Parallel and Distributed Technology, 32–39, Spring 1994
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Collard, JF., Griebl, M. (1996). Array dataflow analysis for explicitly parallel programs. In: Bougé, L., Fraigniaud, P., Mignotte, A., Robert, Y. (eds) Euro-Par'96 Parallel Processing. Euro-Par 1996. Lecture Notes in Computer Science, vol 1123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61626-8_54
Download citation
DOI: https://doi.org/10.1007/3-540-61626-8_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61626-9
Online ISBN: 978-3-540-70633-5
eBook Packages: Springer Book Archive