Документация Python неофициальный перевод
Содержание страницы

27.13. fpectl – Управление исключениями с плавающей запятойfpectl – Floating point exception control

Платформы: Unix

Примечание

Модуль fpectl не собирается по умолчанию, его использование не рекомендуется и может быть опасным, за исключением случаев, когда это делают эксперты. См. также раздел Ограничения и прочие соображения об ограничениях для получения дополнительной информации.

Большинство компьютеров выполняют операции с плавающей запятой в соответствии с так называемым стандартом IEEE-754. На любом реальном компьютере некоторые операции с плавающей запятой дают результаты, которые невозможно выразить в виде обычного числа с плавающей запятой. Например, попробуйте

>>> import math
>>> math.exp(1000)
inf
>>> math.exp(1000) / math.exp(1000)
nan

(Приведённый выше пример будет работать на многих платформах. DEC Alpha может быть исключением.) «Inf» – это специальное нечисловое значение в IEEE-754, обозначающее «бесконечность», а «nan» означает «не число». Обратите внимание, что, помимо нечисловых результатов, ничего особенного не произошло, когда вы попросили Python выполнить эти вычисления. На самом деле это поведение по умолчанию, предписанное стандартом IEEE-754, и если оно вас устраивает, прекратите чтение сейчас.

В некоторых случаях было бы лучше возбудить исключение и остановить обработку в точке, где была предпринята ошибочная операция. Модуль fpectl предназначен для использования в таких ситуациях. Он предоставляет управление блоками операций с плавающей запятой от нескольких производителей оборудования, позволяя пользователю включить генерацию SIGFPE всякий раз, когда происходит любое из исключений IEEE-754: деление на ноль, переполнение или недопустимая операция. В сочетании с парой макросов-обёрток, которые вставляются в C-код, составляющий вашу систему Python, SIGFPE перехватывается и преобразуется в исключение Python FloatingPointError.

Модуль fpectl определяет следующие функции и может возбуждать указанное исключение:

fpectl.turnon_sigfpe()
Включает генерацию SIGFPE и устанавливает соответствующий обработчик сигналов.
fpectl.turnoff_sigfpe()
Сбрасывает обработку исключений с плавающей запятой по умолчанию.
exception fpectl.FloatingPointError
После выполнения turnon_sigfpe() операция с плавающей запятой, которая возбуждает одно из исключений IEEE-754: Деление на ноль, Переполнение или Недопустимая операция, в свою очередь возбудит это стандартное исключение Python.

27.13.1. ПримерExample

Следующий пример демонстрирует, как запустить и проверить работу модуля fpectl.

>>> import fpectl
>>> import fpetest
>>> fpectl.turnon_sigfpe()
>>> fpetest.test()
overflow        PASS
FloatingPointError: Overflow

div by 0        PASS
FloatingPointError: Division by zero
  [ more output from test elided ]
>>> import math
>>> math.exp(1000)
Traceback (most recent call last):
  File "<stdin>", line 1, in ?
FloatingPointError: in math_1

27.13.2. Ограничения и прочие соображенияLimitations and other considerations

Настройка конкретного процессора на перехват ошибок IEEE-754 с плавающей запятой в настоящее время требует индивидуального кода для каждой архитектуры. Возможно, потребуется изменить fpectl для управления вашим конкретным оборудованием.

Для преобразования исключения IEEE-754 в исключение Python требуется вставить в код соответствующим образом макросы-обёртки PyFPE_START_PROTECT и PyFPE_END_PROTECT. Сам Python был изменён для поддержки модуля fpectl, но многие другие программы, представляющие интерес для численных аналитиков, – нет.

Модуль fpectl не является потокобезопасным.

См. также

Некоторые файлы в дистрибутиве исходного кода могут быть интересны для более подробного изучения того, как работает этот модуль. Заголовочный файл Include/pyfpe.h обсуждает реализацию этого модуля довольно подробно. Modules/fpetestmodule.c содержит несколько примеров использования. Много дополнительных примеров можно найти в Objects/floatobject.c.