2010
DOI: 10.1145/1644001.1644002
|View full text |Cite
|
Sign up to set email alerts
|

ScaLAPACK's MRRR algorithm

Abstract: eliaus (éa 3679 upvd) and Guillaume Melquiond lip (umr 5668 cnrs-éns Lyon-inria) Gappa is a tool designed to formally verify the correctness of numerical softwares and hardwares. It uses interval arithmetic and forward error analysis to bound mathematical expressions that involve rounded as well as exact operators. It then generates a theorem and its proof for each verified enclosure. This proof can be automatically checked with a proof assistant, such as Coq or HOL Light. It relies on the facts of a large com… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
21
1

Year Published

2011
2011
2022
2022

Publication Types

Select...
5
4

Relationship

1
8

Authors

Journals

citations
Cited by 26 publications
(22 citation statements)
references
References 48 publications
0
21
1
Order By: Relevance
“…LAPACK 3.2.2 [31] and release 3.2 of the PLAPACK library [53] also provide the new MRRR algorithm [54,12], which will be included in a future ScaLAPACK release as well [55].…”
Section: Partial Eigensystems Of Symmetric Tridiagonal Matricesmentioning
confidence: 99%
“…LAPACK 3.2.2 [31] and release 3.2 of the PLAPACK library [53] also provide the new MRRR algorithm [54,12], which will be included in a future ScaLAPACK release as well [55].…”
Section: Partial Eigensystems Of Symmetric Tridiagonal Matricesmentioning
confidence: 99%
“…The estimate of parallelism assumes that clusters are processed sequentially, while in reality the bulk of the work (the refinement of the eigenvalues and the final computation of eigenpairs) can be parallelized. Nonetheless, matrices with high clustering still pose difficulties to MRRR as they introduce load-balancing issues and communication, which considerably reduce the parallel scalability [38,37,30]. Therefore, even if we did not have the desire to guarantee improved accuracy of the method, we could use the mixed precision approach to significantly enhance parallelism.…”
Section: Adjusting the Algorithmmentioning
confidence: 99%
“…12 Criterion I is used in LAPACK [12] and in results of mr3smp in [32], which usually uses II. Criterion II is used in ScaLAPACK [38] and Elemental [33]. In massively parallel computing environments, criteria III and IV can (and should) be additionally complemented with the splitting based on absolute gaps; see also [34].…”
Section: Adjusting the Algorithmmentioning
confidence: 99%
“…We cannot give an exhaustive overview but want to point to some publications concerning relative perturbation theory [26,27,28,30], about issues of relevance for a robust implementation [10,11,22], and addressing problematic aspects in the original version and how they can be overcome [2,34].…”
Section: A743mentioning
confidence: 99%