Abstract
We developed a theory in order to address crucial questions of program design methodology. We think that it could unify two concepts of data parallel programming that we consider fundamental as they concern data locality expression: the notions of alignment in HPF and shape in C*. In this article, we aim at exploring the impact of program transformations on efficiency. For this, we define a formal operational semantics associated with the aforementioned theory.
Chapter PDF
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
High Performance Fortran Forum. High Performance Fortran Language Specification, Version 1.0, January 1993.
C.B. Jay. A semantics for shape. Sc. of Computer Programming, 25:251–283, 1995.
V. Kumar, A. Grama, A. Gupta, and G. Karypis. Introduction to Parallel Computing: Design and Analysis of Algorithms. Benjamin/Cummings, 1994.
B. Lisper. Data Parallelism and Functional Programming. LNCS 1132-Tutorial Series, 1996.
C. Mauras. Alpha: un langage équationnel pour la conception et la programmation d’architectures parall`eles synchrones. PhD thesis, U. Rennes, 1989.
Thinking Machines Corp. C* Programming Guide, November 1990.
E. Violard. What really is data parallelism? Technical Report RR 00-01, ICPS, Université Louis Pasteur, January 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gerner, P., Violard, E. (2000). A Theoretical Framework of Data Parallelism and Its Operational Semantics. In: Bode, A., Ludwig, T., Karl, W., Wismüller, R. (eds) Euro-Par 2000 Parallel Processing. Euro-Par 2000. Lecture Notes in Computer Science, vol 1900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44520-X_92
Download citation
DOI: https://doi.org/10.1007/3-540-44520-X_92
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67956-1
Online ISBN: 978-3-540-44520-3
eBook Packages: Springer Book Archive