Adaptive precision sparse matrix-vector product and its application to Krylov solvers - Archive ouverte HAL
Article Dans Une Revue SIAM Journal on Scientific Computing Année : 2024

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
497 Consultations
728 Téléchargements

Altmetric

Partager

More