Abstract
A parallel program for the solution of a triangular system of equations is formally derived. The program assumes the grid distribution of the n×n triangular matrix across p=Q 2 processes. The complexity is n 2/p+O (n), both for a complete and for a square mesh communication network.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R.H. BISSELING AND J.G.G. VAN DE VORST, "Parallel Triangular System Solving on a Mesh Network of Transputers," submitted (1988).
S.C. EISENSTAT, M.T. HEATH, C.S. HENKEL, and C.H. ROMINE, "Modified Cyclic Algorithms for Solving Triangular Systems on Distributed-Memory Multiprocessors," SIAM J. Sci. Statist. Comput., 9 (1988), pp. 589–600.
G.C. FOX, M.A. JOHNSON, G.A. LYZENGA, S.W. OTTO, J.K. SALMON, and D.W. WALKER, "Solving Problems on Concurrent Processors," Vol. 1, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1988.
D. GRIES, "The Science of Computer Programming," Springer-Verlag New York Inc., 1981.
M.T. HEATH and C.H. ROMINE, "Parallel Solution of Triangular Systems on Distributed-Memory Multiprocessors," SIAM J. Sci. Statist. Comput., 9 (1988), pp. 558–588.
C.A.R. HOARE, "Communicating Sequential Processes," Prentice-Hall International, UK, Ltd., London, 1985.
S.L. JOHNSSON, "Communication Efficient Basic Linear Algebra Computations on Hypercube Architectures," J. Parallel Distrib. Comput., 4 (1987), pp. 133–172.
G. LI and T.F. COLEMAN, "A Parallel Triangular Solver for a Distributed-Memory Multiprocessor," SIAM J. Sci. Statist. Comput., 9 (1988), pp. 485–502.
C.H. ROMINE and J.M. ORTEGA, "Parallel Solution of Triangular Systems of Equations," Parallel Comput., 6 (1988), pp. 109–114.
J.G.G. VAN DE VORST, "The Formal Development of a Parallel Program Performing LU-Decomposition," Acta Inform., 26 (1988), pp. 1–17.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loyens, L.D.J.C., Bisseling, R.H. (1989). The formal construction of a parallel triangular system solver. In: van de Snepscheut, J.L.A. (eds) Mathematics of Program Construction. MPC 1989. Lecture Notes in Computer Science, vol 375. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51305-1_19
Download citation
DOI: https://doi.org/10.1007/3-540-51305-1_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51305-6
Online ISBN: 978-3-540-46191-3
eBook Packages: Springer Book Archive