公开(公告)号：CN111104091B

公开(公告)日：2021-11-26

申请号：CN201911275775.9

申请日：2019-12-12

Applicant: 北京科技大学

Inventor： 时加 ,  何啸 ,  王星伟 ,  王学松 ,  杨宏伟 ,  刘天才 ,  胡长军

IPC: G06F7/483

Abstract: 本发明提供一种动态浮点误差分析中精度特定计算的检测和转换方法，能够有效提高高精度执行结果的准确性和误差分析的准确性。方法包括：通过监测浮点指令加操作数地址的方式完成位操作的检测和位操作从低精度程序执行向高精度程序执行的转换；通过监测乘法操作的浮点指令执行序列来检测乘法操作，并根据乘法操作的浮点指令执行序列，完成乘法操作从低精度程序执行向高精度程序执行的转换；通过监测加法和减法的操作序列及对应的操作数，对舍入操作进行检测，完成舍入操作从低精度程序执行向高精度程序执行的转换；通过常数值匹配的方式对特定常数进行检测，将低精度特定常数转换为高精度下对应常数的准确值。本发明涉及计算机、软件工程技术领域。

公开(公告)号：CN111104091A

公开(公告)日：2020-05-05

申请号：CN201911275775.9

申请日：2019-12-12

Applicant: 北京科技大学

Inventor： 时加 ,  何啸 ,  王星伟 ,  王学松 ,  杨宏伟 ,  刘天才 ,  胡长军

IPC: G06F7/483

Abstract: 本发明提供一种动态浮点误差分析中精度特定计算的检测和转换方法，能够有效提高高精度执行结果的准确性和误差分析的准确性。方法包括：通过监测浮点指令加操作数地址的方式完成位操作的检测和位操作从低精度程序执行向高精度程序执行的转换；通过监测乘法操作的浮点指令执行序列来检测乘法操作，并根据乘法操作的浮点指令执行序列，完成乘法操作从低精度程序执行向高精度程序执行的转换；通过监测加法和减法的操作序列及对应的操作数，对舍入操作进行检测，完成舍入操作从低精度程序执行向高精度程序执行的转换；通过常数值匹配的方式对特定常数进行检测，将低精度特定常数转换为高精度下对应常数的准确值。本发明涉及计算机、软件工程技术领域。