delphi - 结构化异常处理程序和 Delphi

Question

我尝试在不使用 try except 的情况下设置 SEH
(这是我个人的知识，以便更好地了解 SEH 的工作原理)

下面的代码不起作用

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 //This will cause an exception because jumps on an invalid memory address
    end;
end.

但这确实

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



begin
    asm
    push offset test
    push fs:[0]
    mov fs:[0],esp
    ret //This will cause an exception because jumps on an invalid memory address
    end;
end.

我做错了什么？第一个代码和第二个代码有什么区别？

Answer 1

Windows 要求所有堆栈帧都位于系统分配的堆栈内。它还要求堆栈帧在堆栈上按顺序排列。此外，对于异常处理，它要求所有“异常记录”都位于堆栈上，并将它们链接在一个通过堆栈内存的顺序。

几年前，我在编写微线程库时发现/读到了这一点(http://www.eternallines.com/microthreads)。