Что делает компьютер, когда получает машинную инструкцию поделить на ноль?

Question

[Filipp42]

Скажите, что будет, если в ассемблере поделить на ноль? Когда я попытался написать такую программу на Си, она просто упал, программа на Лисп выкинула отладчик. Что же сделает программа на чистом ассемблере?

Answer 1

[Василий Банников]

Исключение будет - специальный флаг поднимается.
Компилятор Си в программу, естественно, встраивает проверку этого флага и аварийно завершает.
Аналогично с лиспом.

https://software.intel.com/content/dam/www/public/...

https://software.intel.com/content/dam/www/public/...

Поведение также зависит от других флагов, так что читай мануалы)
Для одного только IDIV в мануале целых три страницы расписано.

Описание инструкцию во втором томе подробно описаны. Для деления тебя должны интересовать семейство FDIV* для чисел с плавающей точкой и IDIV/DIV для целых чисел.
Ещё можешь посмотреть на всякие AVX и SSE - там тоже по своему происходит проверка на деление на ноль.

Comments

[jcmvbkbc]

Компилятор Си в программу, естественно, встраивает проверку этого флага и аварийно завершает.

Неа. Целочисленное деление на 0 -- это UB, который в правильно написанной программе не происходит, зачем вставлять на него проверку? Аварийно завершает программу ОС если исключение не обработать. Деление на 0 с плавающей точкой вполне определено, но, опять же, проверок со стороны компилятора не требует.

[Василий Банников]

jcmvbkbc, ладно. Надеялся что что-то таки проверяется

Answer 2

[jcmvbkbc]

Что же сделает программа на чистом ассемблере?

Программа "на чистом ассемблере" всё равно выполняется в каком-то окружении. От этого окружения и зависит, что именно произойдёт. С программой запущенной на x86 в реальном режиме произойдёт одно (прерывание int 0), запущенной под windows -- другое (исключение -> SEH -> завершение программы), запущенной под linux -- третье (но довольно похожее -- исключение -> сигнал -> завершение программы), а запущенной на микроконтроллере с ядром arm -- так и вообще ничего не произойдёт: разделит и глазом не моргнёт, вернёт 0 в качестве результата деления.