结构化异常处理程序和Delphi

Question

我试图设置SEH不使用try except
(这是为了我个人的知识,以更好地了解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)时想到了这个/读过这个.