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()支持 up 调用堆栈。对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()回来＆amp;嵌套setjmp / longjmp套。

SetJmp / LongJmp：为什么这会引发段错？

2 个答案: