windows 异常处理机制

SEH 的工作原理：
         Windows 程序设计中最重要的理念就是消息传递，事件驱动。当GUI应用程序触发一个消息时，系统将把该消息放入消息队列，然后去查找并调用窗体的消息处理函数(CALLBACK)，传递的参数当然就是这个消息。我们同样可以把异常也当作是一种消息，应用程序发生异常时就触发了该消息并告知系统。系统接收后同样会找它的“回调函数”，也就是我们的异常处理例程。当然，如果我们在程序中没有做异常处理的话，系统也不会置之不理，它将弹出我们常见的应用程序错误框，然后结束该程序。所以，当我们改变思维方式，以CALLBACK 的思想来看待 SEH，SEH 将不再神秘。

SEH 是 Windows 系统提供的功能，跟开发工具无关。值得一提的是，VC 将 SEH 进行了封装 try  catch  finally，c＋＋中也可以用c的封装 __try{}__except(){} 和 __try{}__finally{}. 所以当你建立一个C++ try块时，编译器就生成一个S E H_ _t r y块。一个C + +c a t c h测试变成一个S E H异常过滤器，并且c a t c h中的代码变成S E H_ _e x c e p t块中的代码。实际上，当你写一条C++ throw语句时，编译器就生成一个对Wi n d o w s的R a i s e E x c e p t i o n函数的调用。用于t h r o w语句的变量传递给R a i s e E x c e p t i o n作为附加的参数。

 

 

首先，当线程发生异常时，操作系统会将这个异常通知给用户使用户能够得知它的发生。更特别的是，当线程发生异常时，操作系统会调用用户定义的回调函数。 回调函数的定义如下：

/*
* 结构名称：except_handler

*/

EXCEPTION_DISPOSITION __cdecl _except_handler (
    struct _EXCEPTION_RECORD *ExceptionRecord,  //指向 EXCEPTION_RECORD结构的指针
    void * EstablisherFrame,            //指向 establisher frame 结构体的指针
    struct _CONTEXT *ContextRecord,        //指向 CONTEXT 结构体的指针,它保存着某一线程的寄存器的值,定义在WINNT.H中
    void * DispatcherContext
    );

 

except_handler结构的第一个成员，即EXCEPTION_RECORD结构如下：
/*
* 结构名称：EXCEPTION_RECORD
*/

typedef struct _EXCEPTION_RECORD {
    DWORD    ExceptionCode;            //操作系统分配给异常的号("STATUS_"开头的宏),如:STATUS_ILLEGAL_VLM_REFERENCE
    DWORD ExceptionFlags;
    struct _EXCEPTION_RECORD *ExceptionRecord;
    PVOID ExceptionAddress;            //异常发生处的地址
    DWORD NumberParameters;
    UINT_PTR ExceptionInformation[EXCEPTION_MAXIMUM_PARAMETERS];
    } EXCEPTION_RECORD

 

 

 

   异常发生时操作系统是如何知道在那里调用回调函数呢？答案在 EXCEPTION_REGISTRATION 结构体中(简称ERR结构)。

/*
* 结构名称：EXCEPTION_REGISTRATION(或称ERR结构)
*/

_EXCEPTION_REGISTRATION struc
    prev                dd      ?
    handler             dd      ?        //指向 _except_ handler 回调函数的指针
_EXCEPTION_REGISTRATION ends

    在 WINNT.H 的 NT_TIB 结构体定义中，这个结构体被称为 _EXCEPTION_REGISTRATION_RECORD。然而 _EXCEPTION_REGISTRATION_RECORD

的定义是没有公开的，因此只能用上面(EXSUP.INC)的汇编语言的 struc 来表示EXCEPTION_REGISTRATION结构。

 

/*
* 结构名称：NT_TIB(其第一个成员为ERR结构)
*/
typedef struct _NT_TIB {
    struct _EXCEPTION_REGISTRATION_RECORD *ExceptionList;    //这里就是ERR结构，即上面的EXCEPTION_REGISTRATION结构
    PVOID StackBase;
    PVOID StackLimit;
    PVOID SubSystemTib;
    union {
        PVOID FiberData;
        DWORD Version;
    };
    PVOID ArbitraryUserPointer;
    struct _NT_TIB *Self;
} NT_TIB;

    OS 从哪里能找到这个 EXCEPTION_REGISTRATION 结构体呢？
    结构化异常处理是以线程为基础的。也就是说，每一个线程都有自己的异常处理回调函数、线程信息块（TEB 或 TIB）。这个结构体中有一个域对于 Windows NT, Windows 95, Win32s 和 OS/2 都是相同的，就是TIB 中的第一个指针指向线程的ERR结构体。在 Intel 的 Win32 平台上，FS 寄存器永远指向当前的 TIB结构，因此，FS:[0] 指向当前的 ERR 结构体。答案出来了！当异常发生时，系统察看出错线程的 TIB 结构，并取回一个指向ERR结构(EXCEPTION_REGISTRATION)结构体的指针，从而得到一个指向 _except_handler 回调函数的指针(ERR结构地址+4)。

    总结：
    1. FS->当前线程信息块TIB
    2. FS:[0]->ERR结构(即EXCEPTION_REGISTRATION)
       借用czy文章的说法，就是：
           fs:[0]->
     _EXCEPTION_REGISTRATION struc
     prev dd ?                    ;前一个_EXCEPTION_REGISTRATION结构
     handler dd ?                 ;异常处理函数地址
     _EXCEPTION_REGISTRATION ends

    3. [ERR+4]->异常处理函数(即_except_handler)