我们让我们的小ABI项目(链接)能够抛出异常了,现在我们着力捕捉它们;上次我们实现了一个能够检测并处理异常的personality函数,不过它仍然有点不完整:即使它能正确地通知栈回滚器它何时应该停止,但我们版本的__gxx_personality_v0不能运行catch块里的代码。有人会说这总比coredump要好,但要成为有用的异常处理ABI,仍然有长的路要走。我们能改进它吗?
我们如何能告诉_Unwind_我们的着陆垫在哪里,使得我们可以执行catch语句里的代码?回到ABI规范,有一些上下文管理函数可能对我们有用:
- _Unwind_GetLanguageSpecificData,为这个栈帧获取LSDA。使用它,我们应该能够找到要运行的着陆垫与析构函数。
- _Unwind_GetRegionStart,为当前被personality函数分析的栈帧,获取函数开头的指令指针(即,当前栈帧的函数指针)。
- _Unwind_GetIP,获取当前栈帧里的指令指针(指向对下一个栈帧函数调用完成处的指针。下面的例子应该会更清楚)。
备注:你可以从我的github repo下载完整的源代码。
让我们通过gdb检查这些函数。在我的机器上:
Breakpoint 1, __gxx_personality_v0 (version=1, actions=6, exceptionClass=134515400, unwind_exception=0x804a060,
-
-
context=0xbffff0f0) at mycppabi.cpp:77
const uint8_t* lsda = (const uint8_t*)_Unwind_GetLanguageSpecificData(context);
uintptr_t ip = _Unwind_GetIP(context) - 1;
uintptr_t funcStart = _Unwind_GetRegionStart(context);
uintptr_t ipOffset = ip - funcStart;
-
检查这些变量,看到_Unwind_GetRegionStart确实指向当前栈帧(try_but_dont_catch),_Unwind_GetIP是下一个栈帧调用完成位置的IP。_Unwind_GetRegionStart把我们指向异常第一次被抛出的地方;解释起来有点复杂,我们后面会用到它,不是现在。同样,这里我们没有看到LSDA,但我们可以推断它在函数代码后,因为_Unwind_GetLanguageSpecificData直接指向函数结尾:
|
|
在_Unwind_的帮助下,现在我们能够获得关于当前栈帧的足够信息来决定是否可以处理异常,以及我们应该如何处理它。在我们可以检测我们希望的着陆垫前,需要更多一步:我们需要解析在函数末尾的CFI(调用帧信息)。这是DWARF规范的部分,gdb也用于调试目的,这不是容易实现的规范。就像对我们的ABI那样,我们把它维持在最小程度。