Hardware-Oriented Krylov Methods for High-Performance Computing
arXiv:2104.02494
Abstract
Krylov subspace methods are an essential building block in numerical simulation software. The efficient utilization of modern hardware is a challenging problem in the development of these methods. In this work, we develop Krylov subspace methods to solve linear systems with multiple right-hand sides, tailored to modern hardware in high-performance computing. To this end, we analyze an innovative block Krylov subspace framework that allows to balance the computational and data-transfer costs to the hardware. Based on the framework, we formulate commonly used Krylov methods. For the CG and BiCGStab methods, we introduce a novel stabilization approach as an alternative to a deflation strategy. This helps us to retain the block size, thus leading to a simpler and more efficient implementation. In addition, we optimize the methods further for distributed memory systems and the communication overhead. For the CG method, we analyze approaches to overlap the communication and computation and present multiple variants of the CG method, which differ in their communication properties. Furthermore, we present optimizations of the orthogonalization procedure in the GMRes method. Beside introducing a pipelined Gram-Schmidt variant that overlaps the global communication with the computation of inner products, we present a novel orthonormalization method based on the TSQR algorithm, which is communication-optimal and stable. For all optimized method, we present tests that show their superiority in a distributed setting.
arXiv commentPhD thesis (2020)
References in corpus (8)
- LIKWID: Lightweight Performance Tools
- Asynchronous MPI for the Masses
- A numerically stable a posteriori error estimator for reduced basis approximations of elliptic equations
- The Communication-Hiding Conjugate Gradient Method with Deep Pipelines
- s-Step Orthomin and GMRES implemented on parallel computers
- Computing the R of the QR factorization of tall and skinny matrices using MPI_Reduce
- Improving strong scaling of the Conjugate Gradient method for solving large linear systems using global reduction pipelining
- Numerically Stable Variants of the Communication-hiding Pipelined Conjugate Gradients Algorithm for the Parallel Solution of Large Scale Symmetric Linear Systems