收藏本站
收藏 | 投稿 | 论文排版

浮点数学函数异常处理方法

许瑾晨  郭绍忠  黄永忠  王磊  周蓓  
【摘要】:异常会造成程序错误,实现完全没有异常的浮点计算软件也很艰难,因此,实现有效的异常处理方法很重要.但现有的异常处理并不针对浮点运算,并且研究重点都集中在整数溢出错误上,而浮点类型运算降低了整数溢出存在的可能.针对上述现象,面向基于汇编实现的数学函数,提出了一种针对浮点运算的分段式异常处理方法.通过将异常类型映射为64位浮点数,以核心运算为中心,将异常处理过程分为3个阶段:输入参数检测(处理INV异常)、特定代码检测(处理DZE异常和INF异常)以及输出结果检测(处理FPF异常和DNO异常),并从数学运算的角度对该方法采用分段式处理的原因进行了证明.实验将该方法应用于Mlib浮点函数库,对库中600多个面向不同平台的浮点函数进行了测试.测试结果表明:该方法能够将出现浮点异常即中断的函数个数从90%降到0%.同时,实验结果验证了该方法的高效性.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 沈涵,陈进;高性能浮点DSP芯片加法运算单元的研究与设计[J];通信技术;2003年11期
2 雷宏洲;;J2ME浮点计算的简单实现[J];计算机与信息技术;2007年11期
3 姜加红;陈立前;王戟;;基于浮点区间幂集抽象域的浮点程序分析[J];计算机科学与探索;2013年03期
4 王晓云;Scanf( )函数的浮点错误及对策[J];涪陵师范学院学报;2003年05期
5 陆文斌;;双向并行移位链式浮点加速体系结构[J];电子科技大学学报;1992年01期
6 岳宗辉;吴跃飞;郑桂昌;;C语言中浮点类型数组赋值问题新解[J];金华职业技术学院学报;2007年02期
7 Г.Н.Соловьев;石国华;;縮短浮点加法时間的一种方法[J];电子计算机动态;1963年03期
8 ;浮点算术[J];电子计算机参考资料;1974年Z3期
9 谢海斌;武成岗;崔慧敏;李晶;;二进制翻译中的X86浮点栈处理[J];计算机研究与发展;2007年11期
10 James Hrica;;利用赛灵思Vivado HLS实现浮点设计[J];今日电子;2013年01期
11 汤韬,瞿洋;C++超长浮点类的设计及π的精确计算[J];空军工程大学学报(自然科学版);2001年05期
12 李杰;MCS-51四字节浮点库及其使用说明[J];单片机与嵌入式系统应用;2002年12期
13 李杰;AVR-90三字节浮点库及其使用说明[J];单片机与嵌入式系统应用;2003年02期
14 杜勇;刘帝英;;浮点LMS算法的FPGA实现[J];电子工程师;2007年06期
15 于春;浮点BASIC语言编程技巧[J];家用电器;1994年09期
16 王金础,余松煜;TMS320C3×浮点DSP的高效编程[J];电子技术;1999年10期
17 陈宇,毕淑艳,王遵立,何敬梅,刘维亚,金圣经;快速浮点多字节BCD加减运算[J];电子技术应用;1998年10期
18 冯春阳;杨靓;黄士坦;;随机法和Hensel Lifting联合的浮点乘测试用例生成方法[J];计算机辅助设计与图形学学报;2014年09期
19 ;Altera演示基于模型的FPGA浮点DSP工具[J];单片机与嵌入式系统应用;2011年11期
20 葛莹;李文新;许珩;曹觐姝;;UC/OS_II在浮点DSP上的移植和测试[J];硅谷;2009年15期
中国博士学位论文全文数据库 前1条
1 陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前4条
1 刘剑;基于区间分析的浮点计算误差估计与异常检测[D];华东师范大学;2015年
2 宋凯;浮点计算程序误差分析理论研究及其实现[D];华东师范大学;2015年
3 韩山秀;浮点三角类超越函数的算法研究及硬件实现[D];西北工业大学;2006年
4 姜加红;面向浮点C程序的区间分析方法[D];国防科学技术大学;2012年
中国重要报纸全文数据库 前1条
1 本报记者 李胜永;AMD真四核技术加速电力信息化[N];中国电力报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978