Adaptive precision sparse matrix-vector product and its application to Krylov solvers - Archive ouverte HAL
Journal Articles SIAM Journal on Scientific Computing Year : 2024

Adaptive precision sparse matrix-vector product and its application to Krylov solvers

Abstract

We introduce a mixed precision algorithm for computing sparse matrix-vector products and use it to accelerate the solution of sparse linear systems by iterative methods. Our approach is based on the idea of adapting the precision of each matrix element to their magnitude: we split the elements into buckets and use progressively lower precisions for the buckets of progressively smaller elements. We carry out a rounding error analysis of this algorithm that provides us with an explicit rule to decide which element goes into which bucket and allows us to rigorously control the accuracy of the algorithm. We implement the algorithm on a multicore computer and obtain significant speedups (up to a factor 7×) with respect to uniform precision algorithms, without loss of accuracy, on a range of sparse matrices from real-life applications. We showcase the effectiveness of our algorithm by plugging it into various Krylov solvers for sparse linear systems and observe that the convergence of the solution is essentially unaffected by the use of adaptive precision.
Fichier principal
Vignette du fichier
paper.pdf (565.1 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03561193 , version 1 (08-02-2022)
hal-03561193 , version 2 (15-09-2022)
hal-03561193 , version 3 (06-09-2023)

Identifiers

Cite

Stef Graillat, Fabienne Jézéquel, Théo Mary, Roméo Molina. Adaptive precision sparse matrix-vector product and its application to Krylov solvers. SIAM Journal on Scientific Computing, 2024, 46 (1), pp.C30-C56. ⟨10.1137/22M1522619⟩. ⟨hal-03561193v3⟩
431 View
640 Download

Altmetric

Share

More