计算机工程与科学

作者：郭思雨, 王磊

单位：（中原工学院前沿信息技术研究院，河南 郑州 450007）

关键词：浮点数学函数,IEEE-754,插桩,异常检测,

浮点数是实数的有限精度编码，在进行浮点计算时，可能会导致不精确或者异常的结果，因此实现有效的浮点异常检测方法很重要。现有异常检测方法不面向浮点数学函数，由此提出了一种面向浮点数学函数的异常检测方法。该方法依据IEEE-754标准中定义的上溢出、下溢出、被零除、无效操作和不精确5类异常，并结合申威高性能数学函数库中使用的浮点控制寄存器FPCR和IEEE-754标准定义的浮点异常产生条件的相关理论,通过将异常类型和浮点运算指令进行对应分类，在程序编译时进行插桩以检测出浮点数学函数中出现的异常，同时记录代码覆盖率。最后将该方法应用于数学函数库，对库中100多个浮点数学函数进行了测试实验。实验结果表明，该浮点异常检测方法能够有效检测各类异常。

来源：2022年第6期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2022年第6期