-
题名计算机系统浮点数异常的处理
被引量：1
- 1
-
-
作者
张殿辉
夏四清
-
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第4期57-62,共6页
-
文摘
本文简要介绍了计算机系统浮点数及浮点异常的基本概念，以ＩＲＩＳ工作站为例讨论了浮点异常的处理方法。
-
关键词
浮点数
浮点运算
计算机系统
浮点异常
-
Keywords
floating-point, IEEE standard, exception, IRIS work-station
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于程序重写与区间运算的浮点异常检测
被引量：1
- 2
-
-
作者
袁浩
-
机构
华东师范大学上海市高可信计算重点实验室
-
出处
《计算机工程与设计》
北大核心
2016年第6期1520-1525,共6页
-
基金
国家自然科学基金项目(91118007)
上海市教育委员会创新基金项目(14ZZ046)
-
文摘
研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针对性的异常检测的方法,分别解决对于函数特定值输入的异常检测和函数在某范围内的异常检测。研发相应的异常检测工具,自动重写待测程序,嵌入相应的异常检测方法。测试所得程序,实验结果表明,提出的两种异常检测方法可以有效检测浮点异常。
-
关键词
浮点异常
符号执行
抽象语法树
区间算术
程序重写
-
Keywords
floating-point exception
symbol execution
abstract syntax tree
interval arithmetic
program rewriting
-
分类号
TP30
[自动化与计算机技术—计算机系统结构]
-
-
题名一种高精度、高指令密集度开放式异常处理方法
- 3
-
-
作者
田杭沛
曾宇永
佘建功
吴松林
曾翀
-
机构
西北工业大学计算机学院
湘南学院
清华大学计算机系
-
出处
《中国集成电路》
2008年第8期57-60,56,共5页
-
文摘
根据IEEE754/854标准,微处理器浮点单元的异常类型繁多,产生异常的原因和处理方式也比较复杂。因此浮点单元的设计中经常面临异常难以捕获的问题。本文提出一种高精度、高指令密集度开放式异常处理方法,保证了异常检测的完备性,减少了面积和功耗,加快了指令执行速度。
-
关键词
浮点异常
松耦合关联
异常处理
-
Keywords
floating-point exception
loose-coupled association
exception processing
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
-
