SetJmp/LongJmp：为什么会抛出段错误？

Question

下面的代码总结了我目前遇到的问题。我当前的执行流程如下，我在 GCC 4.3 中运行。

jmp_buf a_buf;
jmp_buf b_buf;

void b_helper()
{
    printf("entering b_helper");
    if(setjmp(b_buf) == 0)
    {
        printf("longjmping to a_buf");
        longjmp(a_buf, 1);
    }
    printf("returning from b_helper");
    return; //segfaults right here
}
void b()
{
    b_helper();
}
void a()
{
    printf("setjmping a_buf");
    if(setjmp(a_buf) == 0)
    {
        printf("calling b");
        b();
    }
    printf("longjmping to b_buf");
    longjmp(b_buf, 1);
}
int main()
{
    a();
}

上述执行流程在 b_helper 返回后立即创建了一个段错误。几乎就好像只有 b_helper 堆栈帧有效，并且它下面的堆栈被擦除。

谁能解释为什么会发生这种情况？我猜这是一个 GCC 优化，正在删除未使用的堆栈帧或其他东西。

谢谢。

Answer 1

您只能longjmp()备份调用堆栈。对 longjmp(b_buf, 1) 的调用是开始出错的地方，因为 b_buf 引用的堆栈帧在 longjmp(a_buf) 之后不再存在。

来自 longjmp 的文档：

在调用 setjmp() 例程的例程返回后，不能再调用 longjmp() 例程。

这包括通过函数的longjmp()“返回”。

Answer 2

标准对于 longjmp() 是这么说的（7.13.2.1 longjmp 函数）：

longjmp 函数恢复最近调用保存的环境
setjmp 宏在程序的同一调用中具有相应的
jmp_buf 参数。如果没有这样的调用，或者如果函数包含
setjmp 宏的调用已​​临时终止执行

脚注对此进行了澄清：

例如，通过执行 return 语句或因为另一个 longjmp 调用导致了
转移到嵌套调用集中较早的函数中的 setjmp 调用。

所以你不能 longjmp() back &跨嵌套的 setjmp/longjmp 集。