标签：run   调度   特殊   解析   系统   linux内核   地址空间   传递方式   http   

文章主要内容

1. 以fork和execve系统调用为例分析中断上下文的切换
2. 分析execve系统调用中断上下文的特殊之处
3. 分析fork子进程启动执行时进程上下文的特殊之处
4. 以系统调用作为特殊的中断，结合中断上下文切换和进程上下文切换分析Linux系统的一般执行过程

分析fork

查看do_fork源码

源码位于/linux-5.4.34/kernel/fork.c目录下

源码分析

do_fork算法流程为：

1. 调用了 copy_process 函数，复制当前进程产生子进程，并且传入关键参数为子进程设置响应进程上下文
2. 调用 wake_up_new_task 函数，将子进程放入调度队列中，从而有机会 CPU 调度并得以运行。

其中，copy_process算法流程为：

1. 调用 dup_task_struct 复制一份task_struct结构体，作为子进程的进程描述符
2. 初始化与调度有关的数据结构，调用了sched_fork，将子进程的state设置为TASK_RUNNING
3. 复制所有的进程信息，包括fs、信号处理函数、信号、内存空间（包括写时复制）等
4. 调用copy_thread,设置子进程的堆栈信息
5. 为子进程分配一个pid

而copy_thread的算法流程为：

1. 对子进程的thread.sp赋值，即子进程 esp 寄存器的值
2. 将父进程的寄存器信息复制给子进程
3. 将子进程的eax寄存器值设置为0，所以fork调用在子进程中的返回值为0
4. 子进程从ret_from_fork开始执行，所以它的地址赋给thread.ip，也就是将来的eip寄存器

do_fork功能可总结为：
_do_fork具体进程的创建大概就是把当前进程的描述符等相关进程资源复制一份，从而产生一个子进程，并根据?进程的需要对复制的进程描述符做一些修改，然后把创建好的子进程放进运行队列（操作系统原理中的就绪队列）

fork系统调用过程

1. 在正常触发系统调用时，用户态有一个int $0x80或syscall指令触发系统调用，跳转到系统调用入口的汇编代码。int $0x80指令触发entry_INT80_32并以iret返回系统调用，syscall指令触发entry_SYSCALL_64并sysret或iret返回系统调用。
2. 系统调用陷入内核态，从用户态堆栈转换到内核态堆栈，然后把相应的CPU关键的现场栈顶寄存器、指令指针寄存器、标志寄存器等保存到内核堆栈，保存现场。系统调用入口的汇编代码还会通过系统调用号执行系统调用内核处理函数，最后恢复现场和系统调?返回将CPU关键现场栈顶寄存器、指令指针寄存器、标志寄存器等从内核堆栈中恢复到对应寄存器中，并回到用户态int $0x80或syscall指令之后的下一条指令的位置继续执行。这是前述深?理解系统调用部分介绍过的系统调用的大致处理过程

fork与普通系统调用对比

fork也是一个系统调用，和一般的系统调用执行过程大致是一样的。但fork和其他系统调用不同之处是它在陷入内核态之后有两次返回，第一次返回到原来的子进程的位置继续向下执行，这和其他的系统调用是一样的。在子进程中fork也返回了一次，会返回到一个特定的点——ret_from_fork，通过内核构造的堆栈环境，它可以正常系统调用返回到用户态。

fork系统调用返回

分析execve

Linux系统一般会提供了execl、execlp、execle、execv、execvp和execve等6个用以加载执行一个可执行文件的库函数，这些库函数统称为exec函数，差异在于对命令?参数和环境变量参数的传递方式不同。exec函数都是通过execve系统调用进?内核，对应的系统调用内核处理函数为sys_execve或__x64_sys_execve，它们都是通过调用do_execve来具体执?加载可执行文件的工作。
整体的调用关系为：
sys_execve()或__x64_sys_execve ->
do_execve() –>
do_execveat_common() ->
__do_execve_file ->
exec_binprm()->
search_binary_handler() ->
load_elf_binary() ->
start_thread()。

查看execve系统调用接口函数源码

源码位于/linux-5.4.34/tools/include/nolibc/nolibc.h

execve系统调用接口函数解析

filename为可执行文件的名字，argv是以NULL结尾的命令行参数数组，envp同样是以NULL结尾的环境变量数组（使用命令manexecve，可查看其说明）。编程使用的exec系列库函数都是execve系统调用接口函数的封装接口

execve系统调用过程

execve与普通系统调用对比

当前的可执行程序在执行，执行到execve系统调用时陷入内核态，在内核里面用do_execve加载可执行文件，把当前进程的可执行程序给覆盖掉。当execve系统调用返回时，返回的已经不是原来的那个可执行程序了，而是新的可执行程序。execve返回的是新的可执行程序执行的起点，静态链接的可执行文件也就是main函数的大致位置，动态链接的可执行文件还需要ld链接好动态链接库再从main函数开始执行。

Linux系统的一般执行过程

1. 正在运行的用户态进程X
2. 发生中断（包括异常、系统调用等），CPU完成load cs:rip(entry of a specific ISR)，即跳转到中断处理程序入口。
3. 中断上下文切换，具体包括如下几点：