@inproceedings {icl:672, title = {Algorithm-Based Fault Tolerance for Dense Matrix Factorization}, journal = {Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012}, year = {2012}, month = {2012-02}, pages = {225-234}, publisher = {ACM}, address = {New Orleans, LA, USA}, abstract = {Dense matrix factorizations, such as LU, Cholesky and QR, are widely used for scientific applications that require solving systems of linear equations, eigenvalues and linear least squares problems. Such computations are normally carried out on supercomputers, whose ever-growing scale induces a fast decline of the Mean Time To Failure (MTTF). This paper proposes a new hybrid approach, based on Algorithm-Based Fault Tolerance (ABFT), to help matrix factorizations algorithms survive fail-stop failures. We consider extreme conditions, such as the absence of any reliable component and the possibility of loosing both data and checksum from a single failure. We will present a generic solution for protecting the right factor, where the updates are applied, of all above mentioned factorizations. For the left factor, where the panel has been applied, we propose a scalable checkpointing algorithm. This algorithm features high degree of checkpointing parallelism and cooperatively utilizes the checksum storage leftover from the right factor protection. The fault-tolerant algorithms derived from this hybrid solution is applicable to a wide range of dense matrix factorizations, with minor modifications. Theoretical analysis shows that the fault tolerance overhead sharply decreases with the scaling in the number of computing units and the problem size. Experimental results of LU and QR factorization on the Kraken (Cray XT5) supercomputer validate the theoretical evaluation and confirm negligible overhead, with- and without-errors.}, keywords = {ft-la, ftmpi}, doi = {10.1145/2145816.2145845}, author = {Peng Du and Aurelien Bouteiller and George Bosilca and Thomas Herault and Jack Dongarra}, editor = {J. Ramanujam and P. Sadayappan} } @techreport {icl:626, title = {Algorithm-based Fault Tolerance for Dense Matrix Factorizations}, journal = {University of Tennessee Computer Science Technical Report}, number = {UT-CS-11-676}, year = {2011}, month = {2011-08}, address = {Knoxville, TN}, keywords = {ft-la}, author = {Peng Du and Aurelien Bouteiller and George Bosilca and Thomas Herault and Jack Dongarra} } @article {icl:622, title = {High Performance Dense Linear System Solver with Soft Error Resilience}, journal = {IEEE Cluster 2011}, year = {2011}, month = {2011-09}, address = {Austin, TX}, keywords = {ft-la}, author = {Peng Du and Piotr Luszczek and Jack Dongarra} } @techreport {icl:625, title = {Soft Error Resilient QR Factorization for Hybrid System}, journal = {University of Tennessee Computer Science Technical Report}, number = {UT-CS-11-675}, year = {2011}, month = {2011-07}, address = {Knoxville, TN}, keywords = {ft-la}, author = {Peng Du and Piotr Luszczek and Stanimire Tomov and Jack Dongarra} } @article {icl:642, title = {Soft Error Resilient QR Factorization for Hybrid System with GPGPU}, journal = {Journal of Computational Science}, year = {2011}, month = {2011-11}, publisher = {Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems at SC11}, address = {Seattle, WA}, keywords = {ft-la}, author = {Peng Du and Piotr Luszczek and Stanimire Tomov and Jack Dongarra} } @techreport {icl:303, title = {Condition Numbers of Gaussian Random Matrices}, journal = {University of Tennessee Computer Science Department Technical Report}, volume = {{\textendash}04-539}, year = {2005}, month = {2005-00}, keywords = {ft-la}, author = {Zizhong Chen and Jack Dongarra} } @techreport {icl:301, title = {Recovery Patterns for Iterative Methods in a Parallel Unstable Environment}, journal = {University of Tennessee Computer Science Department Technical Report, UT-CS-04-538}, year = {2005}, month = {2005-00}, keywords = {ft-la}, author = {George Bosilca and Zizhong Chen and Jack Dongarra and Julien Langou} }