Как исправить проблемы с исключениями вещественных чисел в архитектурах AARCH64 на примере Raspberry Pi

Delphi , Синтаксис , Ошибки и Исключения

Проблемы с исключениями вещественных чисел в AARCH64 и их решение для Raspberry Pi

В данной статье рассматривается проблема, связанная с обработкой исключений вещественных чисел на архитектуре AARCH64, в частности на 64-битном Raspberry Pi. Проблема заключается в том, что по умолчанию архитектура не поддерживает поднятие сигнала при возникновении исключения с плавающей точкой.

Обсуждаемая проблема

Разработчик столкнулся с ситуацией, когда при выполнении кода на языке Pascal (Delphi) возникало ожидаемое исключение для целого числа чисел Фибоначчи, выраженное в виде степени: (9^{9}), возведенного в пятую степень. Это выражение приводит к очень большому числу, которое превышает допустимый диапазон значений типа Single. Однако вместо получения исключения, программа продолжает выполнение и обходит его, идентифицируя результат как бесконечность, что не является ожидаемым поведением для 64-битных систем вроде Intel.

program test_single_exception_1;
{$MODE OBJFPC}
uses Math, SysUtils, StrUtils;
var R: Single;
begin
    R := 9**9; // Выражение приведет к очень большому числу, вызывающему переполнение типа Single.
    try
        R := R**5; // В данном случае на Intel CPU будет выловлен исключение.
    except
        Writeln('Got exception'); // Этот блок не выполняется для 64-битного Raspberry Pi.
    end;
    if Single.IsInfinity(R) then
        Writeln('Why no exception?');
end.

Диагностика

Диагностика указывает на то, что архитектура AARCH64 имеет известные проблемы с обработкой исключений для чисел с плавающей точкой. Это не новость и подтверждается документацией по Apple AARCH64, но применимо к любой системе, использующей данную архитектуру.

Предусмотренные решения

Пользователь уже работает над обходным путем, проверяя значение на бесконечность с помощью метода Single.IsInfinity. Это временное решение может позволить ему продолжить работу, пока проблема не будет окончательно решена разработчиками компилятора.

Альтернативные решения

1. Обновление компилятора: Следите за обновлениями и патчами для вашего компилятора, так как возможна поддержка дополнительных опций обработки исключений.
2. Использование других типов данных: Можно рассмотреть использование типов с плавающей точкой более высокого порядка, таких как Double, которые могут обрабатывать большие числа без переполнения.

Настройка компилятора

Согласно контексту обсуждения от Thaddy, для компиляторов Clang доступна опция -ffp-mode=full. Это позволяет включить полную поддержку режимов обработки исключений вещественных чисел. Важно проверить, может ли использоваться аналогичная настройка в вашем бэкенде FPC.

# Компилирование с включенной поддержкой исключений плавающей точки:
fpc -ffp-mode=full your_program.pas

Заключение

Разработчики, сталкивающиеся со схожими проблемами на Raspberry Pi и других устройствах AARCH64, должны быть в курсе ограничений архитектуры. Важно держать руку на пульсе с обновлениями компилятора и изучать альтернативные подходы к обработке вещественных чисел для обеспечения надежности программного обеспечения.

Приведенный выше код является упрощенным примером, иллюстрирующем потенциальную проблему. В реальных приложениях необходимо тщательно анализировать обработку исключений и, при необходимости, реализовать дополнительные стратегии для их корректной идентификации или предотвращения в зависимости от контекста использования вещественных чисел.

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

Создано по материалам из источника по ссылке.

Проблема описана в контексте сложностей, связанных с обработкой исключений для вещественных чисел на 64-битном Raspberry Pi, где по умолчанию отсутствует сигнализация исключений с плавающей точкой на архитектуре AARCH64.

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Ошибки и Исключения ::