我发现浮点模型/错误问题非常令人困惑。这是一个我不熟悉的领域,而且我不是低级别的 C/asm 程序员,所以我希望能得到一些建议。
我有一个使用 VS2012 (VC11) 构建的大型 C++ 应用程序,我已将其配置为抛出浮点异常(或更准确地说,允许 C++ 运行时和/或硬件抛出 fp 异常) - 它抛出了很多它们在发布(优化)版本中,但不在调试版本中。我认为这是由于优化和浮点模型(尽管编译器 /fp:precise 开关设置为发布和调试版本)。
我的第一个问题与管理应用程序的调试有关。我想控制在哪里抛出 fp 异常以及它们在哪里被“屏蔽”。这是必需的,因为我正在调试(优化的)发布版本(这是 fp 异常发生的地方)-并且我想在我检测到问题的某些函数中禁用 fp 异常,这样我就可以找到新的 FP 问题。但是我对使用 _controlfp_s 执行此操作(效果很好)和编译器(和#pragma float_control)切换“/fp:except”(似乎没有效果)之间的区别感到困惑。这两种机制有什么区别?它们是否应该对 fp 异常产生相同的影响?
其次,我得到了一些“浮点堆栈检查”异常——包括一个似乎在调用 GDI+ dll 时抛出的异常。在网上搜索,很少提到这个异常似乎表明它是由于编译器错误造成的。一般情况是这样吗?如果是这样,我应该如何解决这个问题?如果似乎没有返回任何错误的浮点值,是否最好禁用问题函数的编译器优化,或者仅针对有问题的代码区域禁用 fp-exceptions?例如,在引发此异常的 GDI+ 调用(对 GraphicsPath::GetPointCount)中,实际返回的整数值似乎是正确的。目前,我正在使用 _controlfp_s 在 GDI+ 调用之前立即禁用 fp-exceptions,然后在调用之后再次使用它来重新启用异常。
最后,我的应用程序确实进行了大量的浮点计算,需要稳健可靠,但不一定非常准确。该应用程序的性质是浮点值通常表示概率,因此本质上有些不精确。但是,我想捕获任何纯逻辑错误,例如除以零。什么是最好的 fp 模型?目前我是:
- 使用 _controlfp_s 和 SIGFPE 信号处理程序捕获所有 fp 异常(即 EM_OVERFLOW | EM_UNDERFLOW | EM_ZERODIVIDE | EM_DENORMAL | EM_INVALID),
- 已启用非正规为零 (DAZ) 和清零 (FTZ)(即 _MM_SET_FLUSH_ZERO_MODE(_MM_DENORMALS_ZERO_ON)),以及
- 我正在使用默认的 VC11 编译器设置 /fp:precise 和 /fp:except 未指定。
这是最好的模型吗?
谢谢并恭祝安康!