《Linux内核分析》(五)——Linux系统调用的执行过程_linux dispatch();-程序员宅基地

技术标签: 系统调用  linux  内核  Linux内核分析课  system-cal  

作者:Sandy 原创作品转载请注明出处
《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000
实验环境:c+Linux64位 (32位系统可能结果会不同)
依照学术诚信条款,我保证此回答为本人原创,所有回答中引用的外部材料已经做了出处标记。


一,系统调用的内核源码

1,内核中关于系统调用的源码。
上一周的课程分析了系统调用的整体流程,本文主要是从Linux内核源码的层次来分析系统调用的执行;本文使用到的内核的源码都能够在这里查看Linux内核源码;其中系统调用分派表(dispatch table)位于文件\arch\x86\syscalls\syscall_32.tbl,该文件标志了内核的系统调用的系统调用号;而系统调用的内核源码则位于/linux-3.18.6/arch/x86/kernel/entry_32.S,该文件的内核源码是系统调用执行的主要代码,也是本文分析的重点。

2,系统调用在内核中的调用方式。
在之前的分析Linux内核启动的课程中,在\init\main.c 的start_kernel中有这样的调用:

trap_init()

当时分析过这一模块主要是对系统调用进行初始化,该函数的位置:/arch/x86/kernel/traps.c,其中有如下代码:


#ifdef CONFIG_X86_32
    set_system_trap_gate(SYSCALL_VECTOR, &system_call);
    set_bit(SYSCALL_VECTOR, used_vectors);
#endif

其中SYSCALL_VECTOR是系统调用中断向量,而system_call虽然声明成了函数的形式(asmlinkage int system_call(void);),但是其实是一段汇编代码的入口;上述代码实现的功能是:一旦执行命令 “int $0x80”后,就会转移到system_call处,即通过软中断实现了向内核态的转变。
再次回想一下system_call的位置及重要功能:
call_flow

程序执行系统调用大致可归结为以下几个步骤:
1、程序调用libc 库的封装函数。
2、调用软中断int 0x80 进入内核。
3、在内核中首先执行system_call 函数(首先将系统调用号(eax)和可以
用到的所有CPU寄存器保存到相应的堆栈中(由SAVE_ALL完成)),
接着根据系统调用号在系统调用表中查找到对应的系统调用服务例程。
4、执行该服务例程。
5、执行完毕后,转入ret_from_sys_call 例程,从系统调用返回

system_call定义在/linux-3.18.6/arch/x86/kernel/entry_32.S内,接下来,通过分析system_call的代码来研究系统调用的实现流程。

二,系统调用处理程序

在entry_32.S内定义的系统调用处理程序太过于繁琐, 首先把其中的上千行代码简化为下面这段简短表述,来对系统调用的处理做一个整体的把握:

8

这是课件中孟宁老师对entry_32.S的代码进行的简化

从system_call开始到iret结束之间的代码就是对系统调用的处理,接下来通过分析这段代码来理解系统调用的处理过程。
首先,系统调用也是一种中断,所以会有上下文的保存,所以在system_all开始的就是是SAVE_ALL保存现场的命令,保存的是需要用到的寄存器的数据,其定义如下:
9

将寄存器中的值压入到核心栈中,这样内核才能使用用户传递的参数;在不同的特权级(0与3)之间控制转换时,int指令不同于call指令,它不会将外层堆栈的参数自动拷贝到内层堆栈中。所以在调用系统调用时,必须把参数指定到各个寄存器中。

与之对应的是恢复现场的命令,在系统调用返回的时候恢复保存的数据,也就是上述代码中的第21行

restore_all:
    RESTORE_INT_REGS

其定义为:
11

在保存现场之后的代码是:

syscall_call:
  call *sys_call_table(,%eax,4)
  movl %eax,PT_EAX(%esp)

其中sys_call_table 是系统调用表,%eax传递的是系统调用号,这在上周课中已经分析过了,所以这段代码实现的功能是根据系统调用号来调用对应的系统调用处理程序。
关于系统调用号的使用方法:
11
在执行了系统调用的代码之后,是系统调用的退出处理:

syscall_exit:
    testl $_TIF_ALLWORK_MASK, %cx #current->work
    jne syscall_exit_work

这是在检测在系统调用的处理过程中是否有进程的调度发生,如果期间没有发生进程调度,那么该系统调用就可以之间返回;如果有进程调度,那么就需要对这些调度进行处理之后才能够返回。
第33行的代码:

work_resched:
  call schedule
  jz restore_all

schedule就是在重新进行调度。

第23行代码:

irq_return:
  INTERRUPU_RETURN

是系统调用的返回,至此系统调用的处理结束(即iret)。


通过上述分析,可以用下图来表达系统调用处理的流程:
12


三,实验内容

首先在删除系统的menu目录,然后从新下载一个新的:
1.1

重新编译系统 :
2.1

可以发现多了连个命令:time与time-asm,其功能都是获取当前系统的时间:
3.1

然后把上一周课程中的getppid命令也加入到系统调用中;第一步,打开menu目录下的test.c文件,在其中的main函数是:
4

在main函数中添加两行代码:
6

然后在这个文件内增加两个函数:

int getPPid(int argc,char *argv[])
{

    pid_t pid;
    pid=getppid();
    printf("The number of parent process is: %d\n",pid);
    return 0;
}
int getPPidAsm(int argc,char *argv[])
{

    pid_t pid;
    asm volatile(
        "mov $0,%%ebx\n\t"    
        "mov $0x40,%%eax\n\t"    
        "int $0x80\n\t"    
        "mov %%eax,%0\n\t"    
        :"=m" (pid)    
    );
    printf("The number of parent process is: %d\n",pid);
    return 0;
}

完成后重新编译一下,结果如下:
7



参考文档:
http://blog.chinaunix.net/uid-28458801-id-3468966.html
https://git.oschina.net/exiahan/LinuxKernelStudy/blob/master/4/asmSCI.md

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/FIELDOFFIER/article/details/44859305

智能推荐

分布式光纤传感器的全球与中国市场2022-2028年:技术、参与者、趋势、市场规模及占有率研究报告_预计2026年中国分布式传感器市场规模有多大-程序员宅基地

文章浏览阅读3.2k次。本文研究全球与中国市场分布式光纤传感器的发展现状及未来发展趋势,分别从生产和消费的角度分析分布式光纤传感器的主要生产地区、主要消费地区以及主要的生产商。重点分析全球与中国市场的主要厂商产品特点、产品规格、不同规格产品的价格、产量、产值及全球和中国市场主要生产商的市场份额。主要生产商包括:FISO TechnologiesBrugg KabelSensor HighwayOmnisensAFL GlobalQinetiQ GroupLockheed MartinOSENSA Innovati_预计2026年中国分布式传感器市场规模有多大

07_08 常用组合逻辑电路结构——为IC设计的延时估计铺垫_基4布斯算法代码-程序员宅基地

文章浏览阅读1.1k次,点赞2次,收藏12次。常用组合逻辑电路结构——为IC设计的延时估计铺垫学习目的:估计模块间的delay,确保写的代码的timing 综合能给到多少HZ,以满足需求!_基4布斯算法代码

OpenAI Manager助手(基于SpringBoot和Vue)_chatgpt网页版-程序员宅基地

文章浏览阅读3.3k次,点赞3次,收藏5次。OpenAI Manager助手(基于SpringBoot和Vue)_chatgpt网页版

关于美国计算机奥赛USACO,你想知道的都在这_usaco可以多次提交吗-程序员宅基地

文章浏览阅读2.2k次。USACO自1992年举办,到目前为止已经举办了27届,目的是为了帮助美国信息学国家队选拔IOI的队员,目前逐渐发展为全球热门的线上赛事,成为美国大学申请条件下,含金量相当高的官方竞赛。USACO的比赛成绩可以助力计算机专业留学,越来越多的学生进入了康奈尔,麻省理工,普林斯顿,哈佛和耶鲁等大学,这些同学的共同点是他们都参加了美国计算机科学竞赛(USACO),并且取得过非常好的成绩。适合参赛人群USACO适合国内在读学生有意向申请美国大学的或者想锻炼自己编程能力的同学,高三学生也可以参加12月的第_usaco可以多次提交吗

MySQL存储过程和自定义函数_mysql自定义函数和存储过程-程序员宅基地

文章浏览阅读394次。1.1 存储程序1.2 创建存储过程1.3 创建自定义函数1.3.1 示例1.4 自定义函数和存储过程的区别1.5 变量的使用1.6 定义条件和处理程序1.6.1 定义条件1.6.1.1 示例1.6.2 定义处理程序1.6.2.1 示例1.7 光标的使用1.7.1 声明光标1.7.2 打开光标1.7.3 使用光标1.7.4 关闭光标1.8 流程控制的使用1.8.1 IF语句1.8.2 CASE语句1.8.3 LOOP语句1.8.4 LEAVE语句1.8.5 ITERATE语句1.8.6 REPEAT语句。_mysql自定义函数和存储过程

半导体基础知识与PN结_本征半导体电流为0-程序员宅基地

文章浏览阅读188次。半导体二极管——集成电路最小组成单元。_本征半导体电流为0

随便推点

【Unity3d Shader】水面和岩浆效果_unity 岩浆shader-程序员宅基地

文章浏览阅读2.8k次,点赞3次,收藏18次。游戏水面特效实现方式太多。咱们这边介绍的是一最简单的UV动画(无顶点位移),整个mesh由4个顶点构成。实现了水面效果(左图),不动代码稍微修改下参数和贴图可以实现岩浆效果(右图)。有要思路是1,uv按时间去做正弦波移动2,在1的基础上加个凹凸图混合uv3,在1、2的基础上加个水流方向4,加上对雾效的支持,如没必要请自行删除雾效代码(把包含fog的几行代码删除)S..._unity 岩浆shader

广义线性模型——Logistic回归模型(1)_广义线性回归模型-程序员宅基地

文章浏览阅读5k次。广义线性模型是线性模型的扩展,它通过连接函数建立响应变量的数学期望值与线性组合的预测变量之间的关系。广义线性模型拟合的形式为:其中g(μY)是条件均值的函数(称为连接函数)。另外,你可放松Y为正态分布的假设,改为Y 服从指数分布族中的一种分布即可。设定好连接函数和概率分布后,便可以通过最大似然估计的多次迭代推导出各参数值。在大部分情况下,线性模型就可以通过一系列连续型或类别型预测变量来预测正态分布的响应变量的工作。但是,有时候我们要进行非正态因变量的分析,例如:(1)类别型.._广义线性回归模型

HTML+CSS大作业 环境网页设计与实现(垃圾分类) web前端开发技术 web课程设计 网页规划与设计_垃圾分类网页设计目标怎么写-程序员宅基地

文章浏览阅读69次。环境保护、 保护地球、 校园环保、垃圾分类、绿色家园、等网站的设计与制作。 总结了一些学生网页制作的经验:一般的网页需要融入以下知识点:div+css布局、浮动、定位、高级css、表格、表单及验证、js轮播图、音频 视频 Flash的应用、ul li、下拉导航栏、鼠标划过效果等知识点,网页的风格主题也很全面:如爱好、风景、校园、美食、动漫、游戏、咖啡、音乐、家乡、电影、名人、商城以及个人主页等主题,学生、新手可参考下方页面的布局和设计和HTML源码(有用点赞△) 一套A+的网_垃圾分类网页设计目标怎么写

C# .Net 发布后,把dll全部放在一个文件夹中,让软件目录更整洁_.net dll 全局目录-程序员宅基地

文章浏览阅读614次,点赞7次,收藏11次。之前找到一个修改 exe 中 DLL地址 的方法, 不太好使,虽然能正确启动, 但无法改变 exe 的工作目录,这就影响了.Net 中很多获取 exe 执行目录来拼接的地址 ( 相对路径 ),比如 wwwroot 和 代码中相对目录还有一些复制到目录的普通文件 等等,它们的地址都会指向原来 exe 的目录, 而不是自定义的 “lib” 目录,根本原因就是没有修改 exe 的工作目录这次来搞一个启动程序,把 .net 的所有东西都放在一个文件夹,在文件夹同级的目录制作一个 exe._.net dll 全局目录

BRIEF特征点描述算法_breif description calculation 特征点-程序员宅基地

文章浏览阅读1.5k次。本文为转载,原博客地址:http://blog.csdn.net/hujingshuang/article/details/46910259简介 BRIEF是2010年的一篇名为《BRIEF:Binary Robust Independent Elementary Features》的文章中提出,BRIEF是对已检测到的特征点进行描述,它是一种二进制编码的描述子,摈弃了利用区域灰度..._breif description calculation 特征点

房屋租赁管理系统的设计和实现,SpringBoot计算机毕业设计论文_基于spring boot的房屋租赁系统论文-程序员宅基地

文章浏览阅读4.1k次,点赞21次,收藏79次。本文是《基于SpringBoot的房屋租赁管理系统》的配套原创说明文档,可以给应届毕业生提供格式撰写参考,也可以给开发类似系统的朋友们提供功能业务设计思路。_基于spring boot的房屋租赁系统论文