Oracle® Solaris Studio 12.4:数值计算指南

退出打印视图

更新时间: 2015 年 1 月
 
 

4.1 异常处理目标

在基于 SPARC 和 x86 的系统上,由 Oracle Solaris Studio 编译器和 Oracle Solaris OS 提供的浮点环境支持 IEEE 标准所需的全部异常处理功能以及许多推荐的可选功能。IEEE 754 标准(IEEE 854,第 18 页)对这些功能的某个目标进行了如下介绍:

... 为用户最大程度地减少由于异常条件产生的复杂问题。运算系统设计为尽可能长久地进行持续计算,使用合理的缺省响应处理异常情况(包括设置适当的标志)。

为了实现此目标,标准指定了异常运算的缺省结果,并要求所实现的方案提供可由用户感应、设置或清除的状态标志,以便指出异常已经发生。这些标准还建议在所实现的方案中为程序提供一种在发生异常时自陷的方法(即,中断正常的控制流)。例如,程序可以为异常运算提供替代结果并继续执行,从而提供一个用来以适当方式处理异常的陷阱处理程序。以下各节详细介绍了浮点环境的功能如何支持这些异常。