C语言提供了一种用户级的异常控制流形式,称为非本地跳转(nonlocal jump),它可以将控制流直接从一个函数转移到另一个当前正在执行的函数,而不需要经过正常的调用和返回序列。而这些都是通过两组函数实现的。
setjmp函数
首先来看看函数原型:
#include <setjmp.h>
int setjmp(jmp_buf env); //返回0
int sigsetjmp(sigjmp_buf env, int savesigs); //返回0
-
setjmp函数在env缓冲区中保存当前的调用环境(PC值、sp值及通用寄存器),以供后面的longjmp使用,并返回0。
-
setjmp的返回值不能用来赋值给变量,但却可以作为判断语句(switch、if)的条件。
-
sigsetjmp是设计用来被信号处理程序使用的,它的作用和setjmp类似。savesigs用来保存当前环境下的信号状态;
longjmp函数
首先来看看函数原型:
#include <setjmp.h>
void longjmp(jmp_buf env, int retval); //从不返回
void siglongjmp(jmp_buf env, int retval); //从不返回
- longjmp函数从env缓冲区中恢复最近一次setjmp保存的调用环境,然后控制流跳转到该setjmp函数处,并使函数返回非零的retval。
- setjmp被调用一次,但可以返回多次;而longjmp被调用后却从不返回,或者说它从最近的setjmp处返回。
应用
1. 从深层嵌套中立即返回
他的意思有点向C语言中的go语句。当程序执行到深层嵌套中的某个函数时,如果此时监测到了一个错误,我们可以利用setjmp和longjmp的组合,直接从最里层返回到上层的错误处理程序,而不需要繁琐的一层层解开调用栈。
下面展示的例子,说明了上述情况。main函数首先调用setjmp函数保存当前的调用环境,然后再调用函数foo,foo依次调用bar。如果任一函数遇到错误,它们立即通过longjmp调用从setjmp返回。而我们可以通过setjmp的不同非零返回值知道错误类型,而后进入相应的解错程序。
#include <setjmp.h>
jmp_buf buf;
/*此处我们假设程序可能有两个错误,其中error2会发生;*/
int error1 = 0;
int error2 = 1;
void foo(void),bar(void); //声明两个函数
int main(void)
{
switch(setjmp(buf)){
case 0:
foo();
break;
case 1:
printf("Detected error1 in foo.\n");
break;
case 2:
printf("Detected error2 in bar.\n");
break;
default:
printf("Unknown error in foo.\n");
}
exit(0);
}
void foo(void)
{
if(error1)
longjmp(buf, 1);
bar();
}
void bar(void)
{
if(error2)
longjmp(buf, 2);
}
但在使用这种非本地跳转时要避免跳过的中间过程不会产生副作用;例如,如果我们在foo函数中调用了malloc函数分配了一些内存空间,本来预计在函数结尾处回收它们。但偏偏又在调用bar函数的过程中发生了错误,导致了bar函数直接返回到了最上层,这样就会发生内存泄漏。
2. 使信号处理分支到达特定位置,而非返回到被中断的指令处
下面展示了一个虽然被要求终止,但却可以自我重启的程序。程序第一次启动时,对sigsetjmp函数的调用保存了调用环境和信号上下文(待处理的信号位向量pending和被阻塞的信号位向量blocked)。随后,主函数进入无限循环。当用户键入Ctrl + C时,内核向程序发送SIGINT信号,进程捕获后执行我们自定义的信号处理程序,该程序调用siglongjmp函数使得程序跳转到sigsetjmp处返回retval。主程序得以重新开始。
#include <signal.h>
sigjmp_buf buf;
void handler(int sig)
{
siglongjmp(buf, 1);
}
int main(void)
{
if(!sigsetjmp(buf, 1)){
Signal(SIGINT, handler);
Unix_exit("starting\n");
}
else
Unix_exit("restarting\n");
while(1){
sleep(1);
Unix_exit("processing...\n");
}
exit(0);
}
- 当用户键入Ctrl + C时,程序非本地跳转到开头的sigsetjmp函数处,它会返回1,进而选择执行else语句然后重新进入无限循环。
- 考虑如果
Signal(SIGINT, handler);
语句放在sigsetjmp函数前,会有什么风险?
获取更多知识,请点击关注:
嵌入式Linux&ARM
CSDN博客
简书博客