Деление на ноль в программе C приводит к аварийному завершению с сообщением об ошибке Floating point exception (core dumped). Это неудивительно для деления с плавающей запятой, но почему он говорит об этом, когда происходит целочисленное деление на ноль? Действительно ли целочисленное деление использует FPU под капотом?
(Кстати, это все в Linux под x86.)
Действительно ли целочисленное деление использует FPU под капотом?
Нет, Linux и в этом случае просто генерирует SIGFPE (это устаревшее имя, использование которого теперь расширено). Действительно, спецификация единой Unix определяет SIGFPE как " Ошибочные арифметические операции ".
man signal упоминает:
Целочисленное деление на ноль дает неопределенный результат. На некоторых архитектурах он генерирует сигнал SIGFPE. (Также деление самого отрицательного целого числа на -1 может привести к появлению SIGFPE.)
Я предполагаю, что историческое объяснение этому будет заключаться в том, что исходное оборудование Unix не генерировало ловушку при целочисленном делении на ноль, поэтому имя SIGFPE имело смысл. (Программисты сборки PDP, подтвердите?) Затем, позже, когда система была перенесена (или, в случае Linux, переопределена) на оборудование с ловушкой целочисленного деления на ноль, не было сочтено целесообразным добавлять новый номер сигнала, поэтому старый приобрел новое значение и теперь имеет немного сбивающее с толку название.
DIV просто устанавливает флаги C и V на деление на ноль, а V - только если результат не помещается в регистр назначения. OTOH, согласно этой странице FP11 - более новый FPU PDP-11 - действительно поддерживал треппинг. Так что действительно изначально не было необходимости в имени сигнала ошибки целочисленного деления.
- person Ruslan; 31.03.2018
Для этого может быть много разных причин, связанных с реализацией.
Например, блок FPU на платформе x86 поддерживает форматы как с плавающей запятой, так и целочисленные для чтения аргументов и записи результатов. Когда сама платформа была 16-битной, некоторые компиляторы использовали FPU для выполнения деления с 32-битными целочисленными операндами (поскольку нет потери точности для 32-битных данных). При таких обстоятельствах не было бы ничего необычного в получении подлинной ошибки FPU из-за недопустимого 32-битного целочисленного деления.
