SetJmp/LongJmp:为什么这会引发段错误?
以下代码总结了我目前遇到的问题.我当前的执行流程如下,我在 GCC 4.3 中运行.
The following code summarizes the problem I have at the moment. My current execution flow is as follows and a I'm running in 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 栈帧是有效的,下面的栈都被擦除了.
The above execution flow creates a segfault right after the return in b_helper. It's almost as if only the b_helper stack frame is valid, and the stacks below it are erased.
谁能解释为什么会这样?我猜这是一个 GCC 优化,它正在擦除未使用的堆栈帧或其他东西.
Can anyone explain why this is happening? I'm guessing it's a GCC optimization that's erasing unused stack frames or something.
谢谢.
推荐答案
你只能longjmp()
备份调用堆栈.对 longjmp(b_buf, 1)
的调用是事情开始出错的地方,因为 b_buf
引用的堆栈帧在 longjmp(a_buf) 之后不再存在
.
You can only longjmp()
back up the call stack. The call to longjmp(b_buf, 1)
is where things start to go wrong, because the stack frame referenced by b_buf
no longer exists after the longjmp(a_buf)
.
来自 longjmp
的文档:
在调用setjmp()例程的例程返回后,不能调用longjmp()例程.
The longjmp() routines may not be called after the routine which called the setjmp() routines returns.
这包括通过 longjmp()
从函数中返回".
This includes "returning" through a longjmp()
out of the function.
相关文章