为什么浮动“除零”异常没有被捕获到一个函数甚至处理程序被设置？

我试过在C中学习信号处理，发现奇怪的行为。
当x/= y;在信号处理程序工作的主函数的上下文中执行。但是，如果在某些函数（bad_func）处理程序中执行的处理程序被忽略，但是已经设置了SIGFPE的信号处理程序。为什么浮动“除零”异常没有被捕获到一个函数甚至处理程序被设置？

问：为什么SIGFPE没有被我的全局信号处理函数捕获到，即使_control87被调用？

（MS VC 2010）：

#include "stdafx.h" 
#include <stdlib.h> 
#include <stdio.h> 
#include <signal.h> 
#include <setjmp.h> 
#include <float.h> 

jmp_buf g_jb_MainFunc; 

void hook_zd (int i) 
{ 
    printf("Result :%i\n",i); 
    longjmp(g_jb_MainFunc, 5); 
} 
void bad_func(void) 
{ 
    double x = 0., y = 0.; 
    puts("hello1"); 
    //abort(); 
    x /= y; 
    puts("bye1"); 
} 
int main(int argc, char* argv[]) 
{ 
    double x = 0., y = 0.; 
    signal(SIGFPE, hook_zd); 
    signal(SIGABRT, hook_zd); 
    puts("hello"); 
    _control87(0, _MCW_EM); 
    int res; 
    if (! (res = setjmp(g_jb_MainFunc))) 
    { 
     //abort(); 
     //x /= y; 
     bad_func(); 
    } else 
    { 
     printf("Jumped here from: %i\n",res); 
    } 
    puts("bye"); 

    return 0; 
}

来源

2010-06-23 outmind

'_control87'是浮点只，整数运算是一个完全不同的事情。 – GManNickG 2010-06-23 21:21:03

这可能会有帮助：http://blogs.amd.com/developer/tag/mxcsr-registe/ – pmod 2010-06-23 21:40:39

GMan：在Unix上设置浮点控制字也与整数除零相关。所以“浮动”名称来自向后兼容。 – outmind 2010-06-23 22:09:35

它为我，除非我编译优化开启。例如，如果我从命令行将它编译为cl mysigtest.cpp，则异常按预期工作。但是如果我编译它cl /O1 mysigtest.cpp，那么它不会显示异常。

的反汇编代码示出了该问题：

[email protected]@YAXXZ (void __cdecl bad_func(void)): 
    00000000: 68 00 00 00 00  push  offset [email protected][email protected][email protected] 
    00000005: E8 00 00 00 00  call  _puts 
    0000000A: 68 00 00 00 00  push  offset [email protected][email protected][email protected] 
    0000000F: E8 00 00 00 00  call  _puts 
    00000014: 83 C4 08   add   esp,8 
    00000017: C3     ret

划分已被优化了。尝试关闭优化，或将bad_func更改为以下内容。对我来说，“击败”了优化：

double bad_func(double y) 
{ 
    double x = 0.; 
    puts("hello1"); 
    //abort(); 
    x /= y; 
    puts("bye1"); 
    return x; 
}

和呼叫改变它：

bad_func(0.0);

来源

2010-06-23 21:43:10

谢谢！我会检查它在asm级别，如果这是由于优化！ – outmind 2010-06-23 21:53:05

不错！添加_fpreset（）也很好。在hook_zd的longjmp之前，如果我们想在SIGFPE之后继续执行。其他程序下次使用FPU时，程序会在我的环境中崩溃。 – outmind 2010-06-23 22:07:27

为什么浮动“除零”异常没有被捕获到一个函数甚至处理程序被设置？

回答

相关问题