A new error analysis based method for tolerance computation for algorithm-based checks

doi:10.1109/12.485376

1996-01-01

PRE

Chowdhury, AR *

P. Banerjee

DOI：10.1109/12.485376

原文链接

原文求助

摘要

En 中文

Algorithm-based techniques are based on checking for the preservation of certain properties possessed by global data following a set of computations. This often involves the introduction of a check variable which Is updated in such a manner that, in the absence of roundoff errors, it equals the value of some function which involves all the data elements participating in the algorithm. However, the fact that roundoff errors accumulate in different ways in the updates involving the check variables and the computations involving data elements make it highly unlikely that the equality is preserved exactly for an implementation of the algorithm on a real computer. Thus, the check step involves verifying the preservation of the equality to within a tolerance value. In this brief contribution, we propose a method for determination of the tolerance based on error analysis techniques. We present results on three numerical algorithms which show the effectiveness of our approach for data sets of varying sizes and data ranges.

Keyword:

parallel algorithms

algorithm-based fault-tolerance

checksum encodings

check thresholding

roundoff error analysis