非本地跳转函数setjmp和longjmp

12 篇文章 0 订阅

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博客
简书博客


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Leon_George

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值