計算精度低下を検出するPCエミュレータの開発

• 松田 稔彦

• 北村 俊明

書誌事項

タイトル別名

• Development of PC emulator detecting a calculation precision degradation

抄録

コンピュータによる浮動小数点演算では，演算結果の丸め，オーバーフロー，アンダーフロー，桁落ち，情報落ちなどの要因により，計算した結果が正しい答えとなっていない場合がある．浮動小数点演算を規格化した IEEE754 では，例外を検出する事によって，丸め，オーバーフロー，アンダーフローに対処している．しかしながら，桁落ちや情報落ちは検出できないため，精度低下検出には不十分であるといえる．そこで我々は，精度低下検出に仮想マシンを用いることを考え，PC エミュレータに桁落ち，情報落ちの検出機能を追加し，それらの検出が可能な計算環境を構築した．本稿では，このシステム上で，計算精度が低下するワークロードに対して，正しく精度低下検出が行うことが可能かを確認すると共に，汎用プロセッサと実行速度を比較することで実用性を評価した．Some errors may be observed in floating-point calculations caused by rounding, overflow, underflow, loss of significant digits, or loss of trailing digits. IEEE754 handles this problems by signaling the exception of rounding, overflow and underflow. However, the precision degradation detection isn't sufficient, because it can't detect loss of significant digits and loss of trailing digits. We study precision degradation detection using a virtual machine. We added a function to detect loss of significant digits and loss of trailing digits into a PC emulator, in order to develop the calculation environment that detect the calculation precision degradation. In this paper, we verified that this system can detect precision degradation and evaluated the utility by comparing the execution speed of this system with the general-purpose processor.

収録刊行物

• 研究報告計算機アーキテクチャ（ARC）

  研究報告計算機アーキテクチャ（ARC） 2011 (24), 1-6, 2011-11-21

詳細情報

• CRID: 1574231876762442880
• NII論文ID: 110008713494
• NII書誌ID: AN10096105
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles
  • KAKEN