Umeå University's logo

umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Robust Task-Parallel Solution of the Triangular Sylvester Equation
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0002-8444-6303
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2020 (English)In: Parallel Processing and Applied Mathematics: 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I / [ed] Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Springer, 2020, p. 82-92Conference paper, Published paper (Refereed)
Abstract [en]

The Bartels-Stewart algorithm is a standard approach to solving the dense Sylvester equation. It reduces the problem to the solution of the triangular Sylvester equation. The triangular Sylvester equation is solved with a variant of backward substitution. Backward substitution is prone to overflow. Overflow can be avoided by dynamic scaling of the solution matrix. An algorithm which prevents overflow is said to be robust. The standard library LAPACK contains the robust scalar sequential solver dtrsyl. This paper derives a robust, level-3 BLAS-based task-parallel solver. By adding overflow protection, our robust solver closes the gap between problems solvable by LAPACK and problems solvable by existing non-robust task-parallel solvers. We demonstrate that our robust solver achieves a performance similar to non-robust solvers.

Place, publisher, year, edition, pages
Springer, 2020. p. 82-92
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 12043
Keywords [en]
Overflow protection, Task parallelism, Triangular Sylvester equation, Real Schur form
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-159435DOI: 10.1007/978-3-030-43229-4_8Scopus ID: 2-s2.0-85084010959ISBN: 978-3-030-43228-7 (print)ISBN: 978-3-030-43229-4 (electronic)OAI: oai:DiVA.org:umu-159435DiVA, id: diva2:1318521
Conference
13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019
Funder
EU, Horizon 2020, 671633
Note

Originally included in thesis in manuscript form. 

Preprint version: https://arxiv.org/abs/1905.10574

Available from: 2019-05-28 Created: 2019-05-28 Last updated: 2023-03-23Bibliographically approved
In thesis
1. Towards efficient overflow-free solvers for systems of triangular type
Open this publication in new window or tab >>Towards efficient overflow-free solvers for systems of triangular type
2019 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Triangular linear systems are fundamental in numerical linear algebra. A triangular linear system has a straight-forward and efficient solution strategy, namely forward substitution for lower triangular systems and backward substitution for upper triangular systems. Triangular systems, or, more generally, systems of triangular type occur frequently in algorithms for more complex problems. This thesis addresses three systems that involve linear systems of triangular type. The first system concerns quasi-triangular matrices. Quasi-triangular matrices are block triangular with 1-by-1 and 2-by-2 blocks on the diagonal. Quasi-triangular systems arise in the computation of eigenvectors from the real Schur form for the non-symmetric eigenvalue problem. This thesis contributes two algorithms for the eigenvector computation, which solve shifted quasi-triangular linear systems in an efficient and scalable way. The second system addresses scaled triangular linear systems. During the solution of a triangular linear system, the entries of the solution can grow. This growth can exceed the representable range of floating-point numbers. Such an overflow can be avoided by solving a scaled triangular system. The solution is scaled prior to every operation that would otherwise result in an overflow. After scaling, the operations can be executed safely. This thesis analyzes the scalability of a recently developed tiled, robust solver for scaled triangular systems, which ensures that at no point in the computation the overflow threshold is exceeded. The third system tackles the scaled continuous-time triangular Sylvester equation, which couples two quasi-triangular matrices. The solution process is prone to overflow. This thesis contributes a robust, tiled solver and demonstrates its practicability. These three systems can be addressed with a variation of forward or backward substitution. Compared to the highly optimized and scalable implementations of standard forward and backward substitution available in HPC libraries,the existing implementations of these three systems run at a smaller fraction of the peak performance. This thesis presents techniques to improve on the performance and robustness of the implementations of the three systems.

Place, publisher, year, edition, pages
Umeå: Department of computing science, Umeå University, 2019. p. 18
Series
Report / UMINF, ISSN 0348-0542 ; 19.05
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-159436 (URN)978-91-7855-084-5 (ISBN)
Supervisors
Available from: 2019-05-28 Created: 2019-05-28 Last updated: 2023-03-07Bibliographically approved
2. Improving the efficiency of eigenvector-related computations
Open this publication in new window or tab >>Improving the efficiency of eigenvector-related computations
2021 (English)Doctoral thesis, comprehensive summary (Other academic)
Alternative title[sv]
Förbättrad effektivitet för egenvektor-relaterade beräkningar
Abstract [en]

An effective strategy in dense linear algebra is the design of algorithms as tiled algorithms. Tiled algorithms that express the bulk of the computation as matrix-matrix operations (level-3 BLAS) have proven successful in achieving high performance on cache-based architectures. At the same time, tiled algorithms interoperate with dynamic data-driven execution models such as task parallelism and promise good parallel scalability.

This thesis applies the concept of tiled algorithms and task-centric execution to algorithms related to the computation of eigenvectors for the dense, non-symmetric eigenvalue problem. First, a standard algorithm for computing eigenvectors from the Schur form is recast such that all computational steps are rich in matrix-matrix operations. Second, inverse iteration on the Hessenberg matrix as an alternative approach to computing eigenvectors is addressed. An existing algorithm is revised to express the computationally most expensive step with matrix-matrix operations. Third, a task-parallel, tiled triangular Sylvester equation solver is amended to solve a larger class of problems. All algorithms have an enhanced performance, which is demonstrated through numerical experiments.

Place, publisher, year, edition, pages
Umeå: Umeå University, 2021. p. 27
Series
Report / UMINF, ISSN 0348-0542 ; 21.05
Keywords
high-performance computing, standard non-symmetric eigenvalue problem, triangular Sylvester equation, tiled algorithms, task parallelism
National Category
Computer Sciences
Identifiers
urn:nbn:se:umu:diva-185734 (URN)978-91-7855-577-2 (ISBN)978-91-7855-576-5 (ISBN)
Public defence
2021-09-20, MA316, MIT-huset, plan 3, Umeå, 10:00 (English)
Opponent
Supervisors
Available from: 2021-08-30 Created: 2021-07-04 Last updated: 2021-07-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Schwarz, Angelika BeatrixKjelgaard Mikkelsen, Carl Christian

Search in DiVA

By author/editor
Schwarz, Angelika BeatrixKjelgaard Mikkelsen, Carl Christian
By organisation
Department of Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 530 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf