一种基于程序重写的浮点程序精度缺陷修复方法
摘要:
本发明公开了一种基于程序重写的浮点程序精度缺陷修复方法,用以提升浮点计算的准确性,属于浮点运算技术领域;该方法中以浮点程序作为输入,首先提出一种取样‑替换‑分类的方法,对特定精度的操作进行筛选隔离,其次进行函数之间的嵌入,之后应用一组表达式间的转换规则以及变量间的映射方法,进行表达式间的重组,生成具有更多重写可能性的表达式,接着使用工具FPtool对生成的表达式进行处理,然后对处理后的浮点表达式进行重写,最后经过多次迭代生成比初始程序浮点计算精度更高的目标程序。本发明通过在GNU科学计算库GSL中进行10个函数的实验,结果显示以误差小于1ULP的比例为指标,平均精度提升5.2个百分点,部分函数提升20个百分点。
0/0