乗法的浮動小数点除算アルゴリズムの誤差限界モデル
スポンサーリンク
概要
- 論文の詳細を見る
THis report compares the behaviors of three multiplicative algorithms for floating-point divide operation. They are the Newton-Raphson method, Goldschmidt's algorithm, and another method that simply evaluates the Taylor series expansion of a reciprocal. Goldschmidt's algorithm is based on the same series but differs from the alternative method in a manner of evaluating the series. The behaviors of the three methods are compared using two kinds of models for each method : a performance model, which describes latency, and an accuracy model, which describes the upper bound for the error of the quotient. Particular emphasis is placed on development of the accuracy models. Validity of the accuracy models were empirically verified with numerical tests. It is shown that, with a practical choice of the number of iterations, k, the magnitude of the relative error is bounded by 3×2^<-p> (2k+1)×2^<-p> and (k+1)×2^<-p> where p is the size of the mantissa represented in bits, for the Newton-Raphson method, Goldschmidt's algorithm, and the alternative method, respectively (results on a floating-point unit with a multiplyadd-fused configuration). For the Newton-Raphson method, any number of additional iterations further reduce the bound to (8/3)×2^<-p>. The performance models indicate that, on a pipelined floating-point unit, Goldschmidt's algorithm and the alternative method are equally faster than the Newton-Raphson method. As a result, in general, the alternative method is promising in the case of k≤3, a very realistic value.
- 日本応用数理学会の論文
- 1999-06-15
著者
関連論文
- 超高速分子軌道計算専用機MOEの開発
- 超高速分子軌道計算専用機MOEの開発
- 自己触媒反応に現れる多根を持つ2変数の非線形方程式の簡便な数値解法
- B3LYP法とMP2法のH2,H2[+],H2[-]の解離ポテンシャル--HF法との比較
- 乗法的浮動小数点除算アルゴリズムの誤差限界モデル
- 超高速分子軌道計算専用機MOEのアーキテクチャ
- 分子軌道計算のための不完全ガンマ関数の有理式近似
- 超高速分子軌道計算専用機MOEのアーキテクチャ
- 水の凍結が促進する酸化・還元反応 : ヨウ化物イオン酸性水溶液の凍結によるヨウ素生成