Abstract:Soft errors in scientific computing applications are becoming inevitable with the ever-increasing system scale and execution time, and new technologies that feature increased transistor density and lower voltage. Soft errors can be mainly classified into two categories: bit-flipping error e.g. 1 becomes −1 in random access memory; and computation error e.g. 1+1 = 3 in floating point units. Traditionally, bit-flipping error is handled by the Error Correcting Code ECC technique, and computation error is dealt with the Triple Modular Redundancy TMR method. Note that, ECC cannot handle computation error, while TMR cannot deal with bit-flipping error and is not efficient on handling computation error. To uniformly and efficiently handle both computation and bit-flipping errors in matrix operations, the Algorithm-Based Fault Tolerance ABFT method is developed. This paper focuses on the detection of soft errors in the LU Decomposition with Partial Pivoting LUPP algorithm, which is widely used in scientific computing applications. First, this paper notes that existing ABFT methods are not adequate to detect soft errors in LUPP in terms of time or space. Then we propose a new ABFT algorithm which can detect soft errors in LUPP both flexible in time and comprehensive in space. Flexible in time means that soft errors can be detected flexibly during the execution instead of only at the end of LUPP, while comprehensive in space indicates that all of the elements in data matrices L and U will be covered for detecting soft errors. To show the feasibility and efficiency of the proposed algorithm, this paper has incorporated it into the implementation of LUPP in the widely used benchmark High Performance Linpack HPL. Experiment results verify the feasibility of this algorithm: for soft errors injected at various timings and to different elements in LUPP, this algorithm has detected most of the injected errors, which have covered all of the errors that cannot pass the residual check of HPL. Both theoretical overhead analysis and experiments demonstrate that this ABFT algorithm is also very efficient at detecting soft errors in LUPP.

A Modified Gram-Schmidt-Based Downdating Technique for Ulv Decompositions with Applications to Recursive Tls Problems

Fast Moving Window Algorithm for QR and Cholesky Decompositions

Modifying the Generalized Singular Value Decomposition with Application with Application in Direction-of-arrival Finding

Adaptive Parallelizable Algorithms for Interpolative Decompositions via Partially Pivoted LU

Regularization Total Least Squares and Randomized Algorithms

RLS-based Adaptive Algorithms for Generalized Eigen-Decomposition

Tensor Train Decomposition for Solving Large-Scale Linear Equations.

An algorithm for solving rank-deficient scaled total least square problems

Randomized Alternating Least Squares for Canonical Tensor Decompositions: Application to a PDE with Random Data

UTV decomposition of dual matrices and its applications

Limited Memory Block Krylov Subspace Optimization for Computing Dominant Singular Value Decompositions.

Efficient Alternating Least Squares Algorithms for Truncated HOSVD of Higher-Order Tensors.

Detection of soft errors in LU decomposition with partial pivoting using algorithm-based fault tolerance

Recursive sparse LU decomposition based on nested dissection and low rank approximations

A decoupled form of the structure-preserving doubling algorithm with low-rank structures

Efficiently updating a covariance matrix and its LDL decomposition

Efficient Alternating Least Squares Algorithms for Low Multilinear Rank Approximation of Tensors

Incremental algorithms for truncated higher-order singular value decompositions

Very Large-Scale Singular Value Decomposition Using Tensor Train Networks

An alternating iterative minimisation algorithm for the double-regularised total least square functional

Perturbation Analysis and Randomized Algorithms for Large-Scale Total Least Squares Problems