Обработка исключений в Delphi: глубокое погружение в Structured Exception Handler

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

Вопрос обработки исключений в среде разработки Delphi может быть достаточно сложным, особенно когда речь заходит о глубоком понимании механизмов Structured Exception Handler (SEH). В этом материале мы рассмотрим, как работает SEH, и на примере кода на Object Pascal (Delphi) попробуем разобраться в отличиях между двумя подходами установки SEH.

Что такое Structured Exception Handler (SEH)?

Structured Exception Handler — это механизм обработки исключений в операционных системах семейства Windows. Он позволяет перехватывать и обрабатывать различные типы исключений, возникающих во время выполнения программы, например, деление на ноль, доступ к неинициализированной памяти и другие.

Проблема пользователя

Пользователь пытается установить SEH без использования конструкций try...except, что является нестандартным подходом для Delphi. Даны два примера кода, один из которых не работает, а второй — работает.

Неработающий код:

type
    TSeh = packed record
        OldSeh: DWORD;
        NewSeh: DWORD;
    end;

procedure test;
begin
    WriteLn('Hello from seh');
end;

var
    eu: TSeh;
    old_seh: DWORD;
begin
    asm
    mov eax,fs:[0]
    mov old_seh,eax
    end;
    eu.OldSeh := old_seh;
    eu.NewSeh := DWORD(@test);
    asm
        mov eax,offset eu
        mov fs:[0],eax
        ret // Это вызовет исключение, так как производится переход на невалидный адрес памяти
    end;
end.

Работающий код:

procedure test;
begin
    WriteLn('Hello from seh');
end;

begin
    asm
    push offset test
    push fs:[0]
    mov fs:[0],esp
    ret // Это вызовет исключение
    end;
end.

Пользователь спрашивает, в чем заключается ошибка в первом примере кода и в чем состоит различие между двумя кодами.

Анализ проблемы

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

Подтвержденный ответ

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

Альтернативный ответ

Функция обратного вызова обработчика исключений должна иметь другой прототип, и её нельзя использовать как test. Рекомендуется ознакомиться со статьёй Мата Питрика, которая считается одним из лучших источников информации о SEH Win32.

Рекомендации по коду

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

function test: Integer;
begin
    WriteLn('Hello from seh');
    Result := 0;
end;

Также, в первом примере кода, вместо записи ret можно вызвать исключение, например, доступом к нулевому указателю:

PInteger(nil)^ := 0; // всегда вызовет исключение

Или с помощью ассемблерного кода:

asm
  xor eax,eax
  mov [eax],eax // всегда вызовет исключение
end;

Заключение

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

Обработка исключений — это важная часть разработки надёжных программ, и понимание механизмов SEH позволит разработчикам создавать более устойчивые к ошибкам приложения.

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

Вопрос связан с пониманием и реализацией обработки исключений в Delphi через Structured Exception Handler (SEH), с анализом двух примеров кода и выяснением причины их работы или неработоспособности.

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

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

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