Abstract
Parallel programs mainly differ from sequential ones in that they include geometrical aspects involved by the hardware architecture. We present in this paper the PEI formalism, which enables to take into account both the geometrical and functional aspects of programs. It provides a refinement calculus mainly used to transform the geometrical characteristics of parallel programs, and we show how it may apply on data parallel programs, in particular for data alignments.
Chapter PDF
Similar content being viewed by others
References
Back, R. J. (1988), ‘A calculus of refinements for program derivations’, Acta Informatica 25, 593–624.
Bird, R. S. (1987), Introduction to the theory of lists, in M. Broy, cd., ‘Logic of Programming and Calculi of Discrete Design’, Springer-Verlag, pp. 3–42.
Chandy, K. M. & Misra, J. (1988), Parallel Program Design: A foundation, Addison Wesley.
Chen, M., il Choo, Y. & Li, J. (1991), Parallel Functional Languages and Compilers, ACM Press.
Genaud, S., Violard, E. & Perrin, G.-R. (1995), Transformations techniques in PEI, in P. Magnusson, S. Haridi & A. Khayri, eds, ‘LNCS’, EURO-PAR95 Parallel Processing, Springer-Verlag, Stockholm, Sweden, pp. 131–142.
Golub, G. H. & Loan, C. F. V. (1989), Matrix Computations, 2nd edn, The John Hopkins University Press.
HPF (1993), High Performance Fortran Language Specification, 1.0 edn.
Knapp, E. (1990), ‘An exercise in the formal derivation of parallel programs: Maximum flows in graphs’, ACM Transactions on Programming Languages and Systems 12, 203–223.
Mauras, C. (1989), ALPHA: un langage équationnel pour la conception et la programmation d’architectures parallèles synchrones, PhD thesis, Université de Rennes I.
Morgan, C. (1990), Programming from specifications, C.A.R. Hoare, Prentice Hall Ed., Endlewood Cliffs, N.J.
Petiton, S. & Emad, N. (1996), A data parallel scientific computation introduction, Vol. LNCS 1132, Springer Verlag, pp. 45–62.
Skillicorn, D. B. (1993), The Bird-Meertens formalism as a parallel model, in J. Kowalik & L. Grandinetti, eds, ‘NATO ARW “Software for Parallel Computation”’, Springer-Verlag.
Thi (1990), C* Programming Guide.
Violard, E. & Perrin, G.-R. (1992), ‘PEI: a language and its refinement calculus for parallel programming’, Parallel Computing 18, 1167–1184.
Violard, E. & Perrin, G.-R. (1993), PEI: a single unifying model to design parallel programs, in A. Bode, M. Reeve & G. Wolf, eds, ‘PARLE 93, LNCS’, Springer-Verlag, pp. 500–516.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP
About this chapter
Cite this chapter
Violard, E., Genaud, S., Perrin, GR. (1997). Refinement of data parallel programs in PEI. In: Bird, R.S., Meertens, L. (eds) Algorithmic Languages and Calculi. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35264-0_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-35264-0_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2877-3
Online ISBN: 978-0-387-35264-0
eBook Packages: Springer Book Archive