Abstract
We have shown that it is possible mechanically to produce a highly efficient implementation tailored for execution on the AMT DAP 510 of a high-level functional specification. The functional specification is not biased in ways that would permit its efficient execution on a particular machine architecture, but is expressed in a way that gives a clear statement of the algorithm. Indeed, the functional specification may be used as the starting point for producing implementations tailored for execution on other machines (and will be used in this way in future investigations).
The transformations used to produce the implementation discussed in this paper are not particular to this problem and are currently being applied in the transformation of functional specification for other algorithms where an implementation tailored for the DAP processor is required. However, there is still development work to be undertaken for these derivations. This includes tailoring the generated code for the compiler (for example, producing sectioned array operations) and tailoring for particular data sets (for example, sparse matrices or banded matrices).
This work was supported by the Applied mathematical sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under Contract W-31-109-Eng-38.
This work is supported by a research studentship from Department of Education, Northern Ireland.
Preview
Unable to display preview. Download preview PDF.
References
Fortran-Plus Language, AMT, man 00202, 1988.
Fortran-Plus Language Enhanced, AMT, man 102.01, 1988.
A Transformational Component for Programming Language Grammar, J. M. Boyle, ANL-7690 Argonne National Laboratory, July 1970, Argonne, Illinois.
Abstract programming and program transformations — An approach to reusing programs. James M. Boyle, Editors Ted J. Biggerstaff and Alan J. Perlis in Software Reusability, Volume I, Pages 361–413, ACM Press (Addison-Wesley Publishing Company), New York, NY, 1989
Deriving efficient programs for the AMT DAP 510 using Program transformation, J.M. Boyle, M. Clint, S. Fitzpatrick and T.J. Harmer, QUB Techical Report, June 1992.
Towards the construction of an eigenvalue engine, Clint M. et al, Parallel Computing, 8, 127–132, 1988.
A Comparison of two Parallel Algorithms for the Symmetric Eigenproblem, Clint M. et al, Intern'l Journal of Computer mathematics, 15, 291–302, 1984.
Fortran-Plus v. Fortran-Plus Enhanced: A comparison for an Application in Linear Algebra, M. Clint et al, QUB Technical Report, 1991 (submitted for publication).
Functional Programming using Standard ML, Wilstöm, A, Prentice Hall, London 1987.
The parallel computation of eigenvalues and eigenvectors of large hermitian marices using the AMT DAP 510, Weston J. et al, Concurrency Practice and Experience, Vol 3(3), 179–185, June 1991.
Two algorithms for the parallel computation of eigenvalues and eigenvectors of large symmetric matrices using the ICL DAP, Weston J., Clint M., Parallel Computing, 13, 281–288, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boyle, J.M., Clint, M., Fitzpatrick, S., Harmer, T.J. (1992). The construction of numerical mathematical software for the AMT DAP by program transformation. In: Bougé, L., Cosnard, M., Robert, Y., Trystram, D. (eds) Parallel Processing: CONPAR 92—VAPP V. VAPP CONPAR 1992 1992. Lecture Notes in Computer Science, vol 634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55895-0_481
Download citation
DOI: https://doi.org/10.1007/3-540-55895-0_481
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55895-8
Online ISBN: 978-3-540-47306-0
eBook Packages: Springer Book Archive