Abstract
In this paper we propose a methodology for structured parallel programming using functional skeletons to compose and coordinate concurrent activities written in a standard imperative language. Skeletons are higher order functional forms with built-in parallel behaviour. We show how such forms can be used uniformly to abstract all aspects of a parallel program's behaviour including data partitioning, placement and re-arrangement (communication) as well as computation. Skeletons are naturally data parallel and are capable of expressing computation and co-ordination at a higher level of abstraction than other process oriented co-ordination notations. Examples of the application of this methodology are given and an implementation technique outlined.
Chapter PDF
Keywords
- Parallel Program
- Base Language
- Matrix Multiplication Algorithm
- Parallel Coordination
- High Performance Fortran
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
J. Darlington, A. J. Field, P. G. Harrison, P. H. J. Kelly, D. W. N. Sharp, Q. Wu, and R. L. While. Parallel programming using skeleton functions. In Parallel Architectures And Languages, Europe: PARLE 93. Springer-Verlag, 1993.
J. Darlington, Y. Guo, and H. W. To. Structured parallel programming: Theory meets practice. Technical report, Imperial College, 1995. unpublished.
Ian Foster, Robert Olson, and Steven Tuecke. Productive parallel programming: The PCN approach. Scientific Programming, 1(1), 1992.
David Gelernter and Nicholas Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97–107, February 1992.
High Performance Fortran Forum. Draft High Performance Fortran Language Specification, version 1.0. Available as technical report CRPC-TR92225, Rice University, January 1993.
Hiroaki Ishihata, Takeshi Horie, Satoshi Inano, Toshiyuki Shimizu, Sadayuki Kato, and Morio Ikesaka. Third generation message passing computer AP1000. In International Symposium on Supercomputing, pages 46–55, 1991.
Message Passing Interface Forum. Draft Document for a Standard Message-Passing Interface. Available from Oak Ridge National Laboratory, November 1993.
S. Pelagatti. A Methodology for the Development and the Support of Massively Parallel Programs. PhD thesis, Università Delgi Studi Di Pisa, 1993.
Michael J. Quinn. Parallel Computing: Theory and Practice. McGraw-Hill, second edition, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Darlington, J., Guo, Yk., To, H.W., Yang, J. (1995). Functional skeletons for parallel coordination. In: Haridi, S., Ali, K., Magnusson, P. (eds) EURO-PAR '95 Parallel Processing. Euro-Par 1995. Lecture Notes in Computer Science, vol 966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020455
Download citation
DOI: https://doi.org/10.1007/BFb0020455
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60247-7
Online ISBN: 978-3-540-44769-6
eBook Packages: Springer Book Archive