使用Structured Exception Handling时如何实现stack-unwinding

我在开发自定义轻量异常运行时的过程中，验证了一套语法和运行层面都可落地的SEH栈展开实现方案，不需要完全依赖编译器隐式生成的展开逻辑，整理如下：

SEH本质是线程私有、挂在栈帧上的链式回调结构，栈展开的核心逻辑就是在异常被某个上层栈帧捕获前，逐层执行下层栈帧预埋的资源清理逻辑，同时把栈状态回退到捕获帧的位置。
具体实现步骤：

• 定位SEH链入口：SEH链的头节点存储在线程环境块（TEB）的固定偏移位置，32位环境下通过段寄存器FS:[0]直接读取，64位环境下通过GS:[0]读取。每个链节点为EXCEPTION_REGISTRATION_RECORD结构，存储两个字段：指向下一个节点的指针、当前节点的异常处理回调函数地址，遍历到next指针值为全1（32位下是0xFFFFFFFF，64位下是0xFFFFFFFFFFFFFFFF）时即到达链尾。
• 触发展开标记：异常触发后先完成第一轮异常回调遍历（即系统的first chance异常通知流程），确认异常需要被展开处理、没有被低层回调直接吞掉后，给所有遍历到的、位于异常触发点和捕获点之间的SEH节点回调传入EH_UNWINDING标志，触发节点绑定的清理逻辑，包括栈上局部对象析构、持有的锁/文件句柄/内存资源释放、栈帧临时数据清理。
• 动态更新SEH链：每完成一个节点的清理逻辑，立刻将SEH链的头指针指向当前节点的next节点，模拟该栈帧已经正常退出的状态，避免展开过程中重复触发已清理节点的回调，也防止异常嵌套时SEH链结构损坏。
• 跳转至捕获块执行：所有捕获点以下的栈帧全部清理完成、SEH链头更新到捕获帧对应的节点后，将线程上下文（CONTEXT结构）设置为捕获块预设的寄存器/栈指针状态，直接跳转到捕获块的代码入口执行，整个栈展开流程完成。

注意事项：

1. 处于EH_UNWINDING阶段的回调函数不要执行可能触发二次异常的复杂逻辑，此时没有上层异常处理流程承接二次异常，会直接触发进程强制终止。
2. 64位Windows的SEH展开强依赖编译期生成的pdata段unwind操作码表，如果要兼容编译器生成的标准栈帧（比如MSVC编译生成的__try/__finally块），手动展开时必须严格按照unwind表的操作码逐帧恢复寄存器、回退栈指针，不能直接硬改rsp寄存器跳转，否则会出现栈内存损坏、执行流跑飞的问题。

这套方案在纯汇编实现的自定义runtime、协程库异常支持、轻量化沙箱隔离场景下都做过验证，可以稳定运行，后续我会再补充边界场景的适配细节。

内容的提问来源于stack exchange，提问作者Bonita Montero