在另一个问题中,有人想知道他们为什么会得到一个“浮点错误”,而实际上他们在C ++程序中有一个整数除零。围绕这一点进行了讨论,其中一些断言浮点异常实际上从未因浮点除以零而增加,而是仅在整数除以零时出现。
这听起来很奇怪,因为我知道:
#DE
(整数除法异常)作为中断0.浮点异常触发中断16(x87浮点)或中断19(SIMD浮点)。_controlfp_s
内部(最终stmxcsr
操作)取消屏蔽零除零的浮点异常,然后捕获它们以进行调试。所以我在实践中肯定会看到IEEE754除零异常。因此,我得出结论,有些平台将异常作为浮点异常报告,例如x64 Linux(无论ALU管道如何,都会针对所有算术错误提升SIGFPE)。
其他操作系统(如果您是操作系统,还是C / C ++运行时)报告整数除零作为浮点异常?
发布于 2018-09-17 14:39:56
其他操作系统(如果您是操作系统,还是C / C ++运行时)报告整数除零作为浮点异常?
答案取决于您是在内核空间还是用户空间。如果你在内核空间,可以放入“i / 0” kernel_main()
,让你的中断处理程序调用异常处理程序并暂停你的内核。如果您在用户空间中,答案取决于您的操作系统和编译器设置。
AMD64硬件指定整数除零作为中断0,不同于中断16(x87浮点异常)和中断19(SIMD浮点异常)。
“除零”例外是用div
指令除以零。讨论x87 FPU超出了本问题的范围。
其他硬件具有类似不同的中断(例如,PPC在float-div-by上引发0x7000并且根本不为int / 0捕获)。
更具体地说,00700
映射到异常类型“Program”,其中包括一个启用浮点的异常。如果尝试使用浮点指令进行除零,则会引发此类异常。
另一方面,整数除法是每个PPC PEM的未定义行为:
8-53分 如果尝试执行任一分区-0x8000_0000÷-1或÷0,则rD的内容未定义,CR0字段的LT,GT和EQ位的内容也是如此(如果Rc = 1 )。在这种情况下,如果OE = 1则设置OV。
我们的应用程序使用
_controlfp_s
内部函数(最终是stmxcsr op)取消屏蔽零除零的浮点异常,然后捕获它们以进行调试。所以我在实践中肯定会看到IEEE754除零异常。
我认为你的时间最好花在编译时而不是在运行时除以零。
发布于 2018-09-17 15:47:36
我不确定目前的情况如何,但目前FP异常检测支持与整数非常不同。陷阱的整数除法很常见。 POSIX要求它提升,SIGFPE
如果它根本引发异常。
但是,你可以理清它是什么类型的SIGFPE,看它实际上是一个除法异常。(但不一定是被0除以:2的补码INT_MIN
/ -1
除法陷阱,以及当64b / 32b除法的商不适合32b输出寄存器时x86 div
和idiv
陷阱。)
所述的glibc手册说明那BSD和GNU系统用于信号处理程序提供一个额外的精氨酸SIGFPE
,这将是FPE_INTDIV_TRAP
对被零除。POSIX文档FPE_INTDIV_TRAP
作为包含该成员的系统上siginfo_t
的int si_code
字段的可能值siginfo_t
。
IDK,如果Windows首先提供不同的异常,或者它将事物捆绑到与Unix相同的算术异常的不同风格中。如果是这样,默认处理程序会对额外信息进行解码,以告诉您它是什么类型的异常。
POSIX和Windows都使用短语“除以零”来涵盖所有整数除法异常,所以显然这是常见的简写。对于知道关于INT_MIN / -1(带有2的补码)的人来说,“除以零”这一短语可以视为除法异常的同义词。这句话立即指出了那些不知道为什么整数除法可能成为问题的人的常见情况。
对于大多数操作系统/ C ABI中的用户空间进程,默认情况下会屏蔽FP异常。
这是有道理的,因为IEEE浮点可以表示无穷大,并且有NaN将错误传播到使用该值的所有未来计算。
0.0/0.0
=> NaN
x
是有限的: x/0.0
=> +/-Inf
符号为x这甚至允许这样的事情在掩盖异常时产生合理的结果:
double x = 0.0;
double y = 1.0/x; // y = +Inf
double z = 1.0/y; // z = 1/Inf = 0.0, no FP exception
FP检测错误的方法非常好:当屏蔽异常时,它们在FP状态寄存器中设置一个标志而不是陷阱。(例如x86的MXCSR用于SSE指令)。标志保持设置直到手动清除,因此您可以检查一次(例如循环之后)以查看发生了哪些异常,但未查看发生的异常。
已经提出了具有类似“粘性”整数溢出标志的建议,以记录在计算序列期间的任何点处是否发生溢出。允许屏蔽整数除法异常在某些情况下会很好,但在其他情况下很危险(例如,在地址计算中,您应该捕获而不是潜在地存储到虚假位置)。
但是,在x86上,检测在计算序列期间是否发生整数溢出需要在每一个之后放置一个条件分支,因为标志只是被覆盖。MIPS有一条add
指令可以捕获有符号的溢出,以及一条永不陷阱的无符号指令。因此,整数异常检测和处理的标准化程度要低得多。
整数除法不能选择产生NaN或Inf结果,因此以这种方式工作是有意义的。
整数除法产生的任何整数位模式都是错误的,因为它将代表一个特定的有限值。
但是,在x86上,如果屏蔽了“浮点无效”异常,则将超出范围的浮点值cvtsd2si
转换为带有或任何类似转换指令的整数会产生“整数不确定”值。除符号位外,该值为全零。即INT_MIN
。
(请参阅英特尔手册,x86标签wiki 中的链接。
https://stackoverflow.com/questions/-100002651
复制相似问题