setjmp和longjmp的实现原理与应用

2024-01-14 00:32

本文主要是介绍setjmp和longjmp的实现原理与应用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在讨论setjmp的实现原理之前,我们先看一个setjmp和longjmp的例子:
#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>

static jmp_buf jmpbuf_1;

int g_a = 0;

void test


int main



ret = setjmp;

if

else if

else if


test;

return 0;
}


下面是测试代码在不同的编译优化条件下的执行结果:
wangyao@wangyao-laptop:~/Test/sys$ gcc longjmp.c -O2
wangyao@wangyao-laptop:~/Test/sys$ ./a.out 1
Orig setjmp
Return From longjmp 1
Global_a: 1111
Local_a: 1
wangyao@wangyao-laptop:~/Test/sys$ ./a.out 2
Orig setjmp
Return From longjmp 2
Global_a: 1111
Local_a: 1
wangyao@wangyao-laptop:~/Test/sys$ gcc longjmp.c
wangyao@wangyao-laptop:~/Test/sys$ ./a.out 1
Orig setjmp
Return From longjmp 1
Global_a: 1111
Local_a: 2222
wangyao@wangyao-laptop:~/Test/sys$ ./a.out 2
Orig setjmp
Return From longjmp 2
Global_a: 1111
Local_a: 2222

man 3 longjmp中提到:
The values of automatic variables are unspecified after a call to longjmp if they meet all the following criteria:
  they are local to the function that made the corresponding setjmp call;
  their values are changed between the calls to setjmp and longjmp; and
  they are not declared as volatile.

posix中没有定义自动变量在调用longjmp后的动作。

在调用longjmp后,自动变量、全局变脸、寄存器变量、静态变量和易失变量的变化是不同的。全局变量、静态变量和易失变量的分配要么是在data段,要么是在bss段中,上下文切换对它们基本上没有什么影响;但是对于栈和寄存器来讲,上下文切换就有很大的影响。因此对于一些自动变量、寄存器变量就可能会在longjmp的时候发生变化,当然这个还与编译时候的优化条件有关。


下面再来讨论setjmp和longjmp的实现原理,这里我们只关注x86架构的实现,具体来讲是i386的实现。

首先,回想一下x86架构下面,函数调用过程栈的变化情况:
在x86架构下,调用函数的时候,首先自右向左将压栈,(早期的gcc版本是采用push $变量的方法;后期gcc使用的是sub $num,esp 然后mov $变量,esp+$num的方法)
接下来就是call func了,call func的动作是,将下一指令地址压栈,jmp到func的地址执行。
func刚开始就执行一个push ebp,将原先的栈基址保存下来。

setjmp具体的实现在:
glibc-2.7/sysdeps/i386/setjmp.S
将寄存器中的值保存到jmp_buf中。
ENTRY )
ENTER

movl JMPBUF, %eax
CHECK_BOUNDS_BOTH_WIDE , $JB_SIZE)

/ Save registers. /
movl %ebx,
movl %esi,
movl %edi,
leal JMPBUF, %ecx / Save SP as it will be after we return. /
#ifdef PTR_MANGLE
PTR_MANGLE
#endif
movl %ecx,
movl PCOFF, %ecx / Save PC we are returning to now. /
#ifdef PTR_MANGLE
PTR_MANGLE
#endif
movl %ecx,
LEAVE / pop frame pointer to prepare for tail-call. /
movl %ebp,  / Save caller‘s frame pointer. /

#if defined NOT_IN_libc && defined IS_IN_rtld
/ In ld.so we never save the signal mask. /
xorl %eax, %eax
ret
#else
/ Make a tail call to __sigjmp_save; it takes the same args. /
jmp __sigjmp_save
#endif


longjmp的具体实现在:
glibc-2.7/sysdeps/i386/__longjmp.S
将jmp_buf中的值恢复到相应的寄存器中,并将longjmp的第2个参数作为返回值返回,由于longjmp中将寄存器的eip设置回setjmp时候的值。longjmp的返回值在程序逻辑上就是setjmp的返回值了。
#ifdef PTR_DEMANGLE
movl JBUF, %eax / User‘s jmp_buf in %eax. /
CHECK_BOUNDS_BOTH_WIDE , $JB_SIZE)

/ Save the return address now. /
movl , %edx
/ Get the stack pointer. /
movl , %ecx
PTR_DEMANGLE
PTR_DEMANGLE
cfi_def_cfa
cfi_register
cfi_register
cfi_offset
cfi_offset
cfi_offset
cfi_offset
/ Restore registers. /
movl , %ebx
movl , %esi
movl , %edi
movl , %ebp
cfi_restore
cfi_restore
cfi_restore
cfi_restore

movl VAL, %eax / Second argument is return value. /
movl %ecx, %esp
#else
movl JBUF, %ecx / User‘s jmp_buf in %ecx. /
CHECK_BOUNDS_BOTH_WIDE , $JB_SIZE)

movl VAL, %eax / Second argument is return value. /
/ Save the return address now. /
movl , %edx
/ Restore registers. /
movl , %ebx
movl , %esi
movl , %edi
movl , %ebp
movl , %esp
#endif
/ Jump to saved PC. /
jmp %edx
END )


-----------------------------------------------------------------------------
对于setjmp和longjmp的使用还应该注意一些问题:
setjmp和longjmp函数,这两个函数在跳转时会带信号屏蔽字跳转,在信号处理程序中使用longjmp会导致后来产生的这种信号被屏蔽,无法调用此种信号的信号处理函数。
POSIX.1 也没有具体说明setjmp和longjmp对信号屏蔽字的作用,而是定义了两个新函数: sigsetjmp和siglongjmp。
sigsetjmp在参数为非0的时候,会保存进程的当前信号屏蔽字;在调用siglongjmp的时候,再恢复保存的信号屏蔽字。

一段演示siglongjmp的代码:
#include <signal.h>
#include <setjmp.h>
#include <stdio.h>
#include <stdlib.h>

/ Jump buffer /
static sigjmp_buf jmpbuf;

/ Signal handler /
static void myfunc


int main

else


/ JUMP /
printf;

return 0;
}
运行结果为:
wangyao@wangyao-laptop:~/Test/sys$ ./a.out
SIGQUIT
I‘m jumped
I‘m here

这篇关于setjmp和longjmp的实现原理与应用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/603331

相关文章

中文分词jieba库的使用与实景应用(一)

知识星球:https://articles.zsxq.com/id_fxvgc803qmr2.html 目录 一.定义: 精确模式(默认模式): 全模式: 搜索引擎模式: paddle 模式(基于深度学习的分词模式): 二 自定义词典 三.文本解析   调整词出现的频率 四. 关键词提取 A. 基于TF-IDF算法的关键词提取 B. 基于TextRank算法的关键词提取

水位雨量在线监测系统概述及应用介绍

在当今社会,随着科技的飞速发展,各种智能监测系统已成为保障公共安全、促进资源管理和环境保护的重要工具。其中,水位雨量在线监测系统作为自然灾害预警、水资源管理及水利工程运行的关键技术,其重要性不言而喻。 一、水位雨量在线监测系统的基本原理 水位雨量在线监测系统主要由数据采集单元、数据传输网络、数据处理中心及用户终端四大部分构成,形成了一个完整的闭环系统。 数据采集单元:这是系统的“眼睛”,

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

csu 1446 Problem J Modified LCS (扩展欧几里得算法的简单应用)

这是一道扩展欧几里得算法的简单应用题,这题是在湖南多校训练赛中队友ac的一道题,在比赛之后请教了队友,然后自己把它a掉 这也是自己独自做扩展欧几里得算法的题目 题意:把题意转变下就变成了:求d1*x - d2*y = f2 - f1的解,很明显用exgcd来解 下面介绍一下exgcd的一些知识点:求ax + by = c的解 一、首先求ax + by = gcd(a,b)的解 这个

hdu1394(线段树点更新的应用)

题意:求一个序列经过一定的操作得到的序列的最小逆序数 这题会用到逆序数的一个性质,在0到n-1这些数字组成的乱序排列,将第一个数字A移到最后一位,得到的逆序数为res-a+(n-a-1) 知道上面的知识点后,可以用暴力来解 代码如下: #include<iostream>#include<algorithm>#include<cstring>#include<stack>#in

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

【Prometheus】PromQL向量匹配实现不同标签的向量数据进行运算

✨✨ 欢迎大家来到景天科技苑✨✨ 🎈🎈 养成好习惯,先赞后看哦~🎈🎈 🏆 作者简介:景天科技苑 🏆《头衔》:大厂架构师,华为云开发者社区专家博主,阿里云开发者社区专家博主,CSDN全栈领域优质创作者,掘金优秀博主,51CTO博客专家等。 🏆《博客》:Python全栈,前后端开发,小程序开发,人工智能,js逆向,App逆向,网络系统安全,数据分析,Django,fastapi

zoj3820(树的直径的应用)

题意:在一颗树上找两个点,使得所有点到选择与其更近的一个点的距离的最大值最小。 思路:如果是选择一个点的话,那么点就是直径的中点。现在考虑两个点的情况,先求树的直径,再把直径最中间的边去掉,再求剩下的两个子树中直径的中点。 代码如下: #include <stdio.h>#include <string.h>#include <algorithm>#include <map>#

hdu4407(容斥原理)

题意:给一串数字1,2,......n,两个操作:1、修改第k个数字,2、查询区间[l,r]中与n互质的数之和。 解题思路:咱一看,像线段树,但是如果用线段树做,那么每个区间一定要记录所有的素因子,这样会超内存。然后我就做不来了。后来看了题解,原来是用容斥原理来做的。还记得这道题目吗?求区间[1,r]中与p互质的数的个数,如果不会的话就先去做那题吧。现在这题是求区间[l,r]中与n互质的数的和