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博客
简书博客
网友评论