Recursive blocked algorithms for solving triangular systems—Part II
- 1 December 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 28 (4) , 416-435
- https://doi.org/10.1145/592843.592846
Abstract
We continue our study of high-performance algorithms for solving triangular matrix equations. They appear naturally in different condition estimation problems for matrix equations and various eigenspace computations, and as reduced systems in standard algorithms. Building on our successful recursive approach applied to one-sided matrix equations (Part I), we now present novel recursive blocked algorithms for two-sided matrix equations, which include matrix product terms such as AXB T . Examples are the discrete-time standard and generalized Sylvester and Lyapunov equations. The means for achieving high performance is the recursive variable blocking, which has the potential of matching the memory hierarchies of today's high-performance computing systems, and level-3 computations which mainly are performed as GEMM operations. Different implementation issues are discussed, including the design of efficient new algorithms for two-sided matrix products. We present uniprocessor and SMP parallel performance results of recursive blocked algorithms and routines in the state-of-the-art SLICOT library. Although our recursive algorithms with optimized kernels for the two-sided matrix equations perform more operations, the performance improvements are remarkable, including 10-fold speedups or more, compared to standard algorithms.Keywords
This publication has 17 references indexed in Scilit:
- Blocked algorithms and software for reduction of a regular matrix pair to generalized Schur formACM Transactions on Mathematical Software, 1999
- LAPACK Users' GuidePublished by Society for Industrial & Applied Mathematics (SIAM) ,1999
- Algorithm 705; a FORTRAN-77 software package for solving the Sylvester matrix equation AXB
T
+ CXD
T
= EACM Transactions on Mathematical Software, 1992
- Solution of the Sylvester matrix equation AXB
T
+ CXD
T
= EACM Transactions on Mathematical Software, 1992
- FORTRAN codes for estimating the one-norm of a real or complex matrix, with applications to condition estimationACM Transactions on Mathematical Software, 1988
- The solution of the matrix equations AXB−CXD=E AND (YA−DZ,YC−BZ)=(E,F)Linear Algebra and its Applications, 1987
- Condition EstimatesSIAM Journal on Scientific and Statistical Computing, 1984
- Numerical Solution of the Stable, Non-negative Definite Lyapunov Equation Lyapunov EquationIMA Journal of Numerical Analysis, 1982
- A Hessenberg-Schur method for the problem AX + XB= CIEEE Transactions on Automatic Control, 1979
- Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4]Communications of the ACM, 1972