基于编译时插桩的浮点异常检测方法

摘要：

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

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

所属期刊栏目：44

分类号：TP311.53(计算技术、计算机技术)

在线出版日期：2022-06-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：979-985