【Linux手册】进程替换：从fork到exec揭秘进程替换的全流程_fork exec实现进程替换
前言
关于进程控制，从创建进程的fork，进程等待对子进程进行回收在前面的博客中都有谈到。fork创建进程：子进程与父进程共用一份代码和数据，修改时进行写实拷贝。那如果我不希望创建的子进程依旧与父进程执行同一份代码，而是希望子进程能够执行一个全新的程序，那要怎么办呢？？？
使用fork的返回值将父子进程进行分流？？？*
- 这种方法是可以的，但是你还要将全新的程序的源代码植入到源程序中，这势必会浪费内存资源以及编译时间；
- 并且还有语言要求，必须是使用相同编程语言进行编写的可执行程序才能将代码插入；
- 我们希望的是可执行程序就在我的目录中让子进程直接去运行。此时就可以使用进程替换来实现，进程替换将当前进程替换成其他进程，以下将对进程替换的接口以及原理进行剖析。
进程替换简单示范
先介绍一个进程替换接口，看看猪跑；
程序输出：
上面代码预期结果：打印进程的PID，进程替换，再打印进程的PID；
实际结果：打印进程PID，进程替换，进程结束没有再打印进程PID。
根据上面输出结果不然分析，进程替换将进程的代码和数据都替换了 ，所以源代码后面的内容没有被执行。
那么进程的PCB结构体对象有没有被替换呢？？？
再看一段代码：
程序输出：
子进程进程替换后其PID并没有改变，说明进程的PCB对象用的还是原来的，只不过可能内部数据进行了一定的修改。
所以：程序替换不会创建新的进程，而是将进程的代码和数据进行修改；execl后续的代码被替换了所以没有执行，如果替换失败才可能执行 。
进程替换大致可以分为3个步骤：
- 将进程的代码和数据进行替换，将原进程的栈和堆区进行刷新；
- 将页表中的映射关系进行修改，让进程地址空间能准确地映射到新代码的各个位置；
- 从新程序的main函数开始执行。
进程替换后父进程仍然找到子进程的原因：子进程进行进程替换后，只有物理内存上进行了修改，子进程的PCB对象还是原来的，PID没有改变，所以父进程依旧可以拿着原来的PID找到子进程对其进行回收。
补充：程序替换后，CPU是怎么知道从哪里再开始执行的？？？
Linux下形成的可执行程序不是杂乱无章的，其有自己的格式—ELF，在可执行程序的起始位置有表头(专门存放可执行程序各个区段的起始位置)，其中就记录了可执行程序的入口。
进程替换函数exec*
在Linux中进程替换的函数有很多，但是所以的接口都是以exec开头的，其中我们开发过程中最常用的有6个，看似很多但是基本上都是大同小异。下面对一一介绍。
想要执行一个可执行程序，分两步：
- 告诉操作系统可执行程序在哪；
- 告诉操作系统要怎么样执行这个程序。
下面这些接口都是为了解决这两个问题，只不过处理的方式不一样。
int execl(const char* ,const char*,…)
int execl(const char* path ,const char* arg,…)第一个参数表示可执行程序的路径，在哪一个目录小；后面的参数是可变参数表示执行这个可执行程序需要带那些选项，相当于main函数的参数。
通过第一个参数告诉操作系统程序的位置，后面的可变参数告诉操作系统如何执行，注意：可变参数要以NULL结尾。
- 关于路径，如果是自己的可执行程序，就自己手动输入路径；如果是系统提供的指令，其可执行程序一般放在/usr/bin路径下；
- 对于后面的可变参数，即选项：在命令行上是怎么输入的，在选项中怎么写，只不过不是用空格进行分割，而是使用字符串，以及结尾要添加NULL。
int execlp(const char* ,const char* ,…)
int execlp(const char* file,const char* arg,…)与上面接口相比，该函数的区别好像就是函数名称和参数名称不一样呀。
是的，execl第一个参数path是路径，而execpl第一个参数是file是文件名称。execpl只有文件名称，那操作系统怎么知道找那个目录下查找这个文件，execpl接口默认了查找路径为环境变量PATH中的路径，就是指令存放的路径。
![[Pasted image 20250627173815.png]]
所以execpl函数就不需要指定路径，直接指定文件名称即可。所以如果先通过execpl进程替换为自己的可执行程序就要先将可执行程序添加到这些目录中，或将可执行程序所在的目录加到PATH下。
int execv(const char* path,char* const argc[])
第一个参数不用说跟上面的一样，还是指定路径。而后面不再是可变参数了，而是一个字符串数组和。
execv将execl后面的可变参数进行了整合，以一个数组的方式进行传递。就是main函数参数中的char* argv。将后面的argv数组传递给可执行程序中main的参数进而执行。上面的可变参数在底层也会被转换成数组的形式。
int execvp(consy char* file,const char* arg[])
与execv区别在于其有默认查找文件的路径PATH，只需要指定可执行程序的名称即可。
int execle(const char* path.const arg,…,char* const envp[])
此接口与execl不同于后面多了一个参数envp，此接口运行我们在进程替换之后设置新进程的环境变量。
注意设置环境变量后，原本的环境变量会被覆盖。
总计
上面各个库函数名称的规律：
- l(list)：表示参数采用列表；
- v(vector)：参数用数组；
- p(path)：有p表示自动搜索路径环境变量PATH；
- e(env)：表示自己维护环境变量。
exec可以去调用任何进程，不论是用什么语言进行编写的，只要是可实现程序，都能进行替换，exec相当于一个加载器，可以将各种程序加载起来 。
在execlv中可以指定的传环境变量，那么其他没有传环境环境变量的接口怎么办？？？
环境变量也是数据，在进程地址空间中也为环境环境变量和命令行参数分配了空间，子进程也会拷贝一份父进程的环境变量；当进行进程替换的时候如果没有指定修改或覆盖环境变量，那么环境依旧是原来替换之前的。
如果想要对替换后的进程的环境变量修改怎么办？？？
上面的execle是一种方法，但是还有一种方法：
- 覆盖式：使用execle接口，将原来进程的环境变量全部进行覆盖，此时原来的环境变量不能再使用，用自己传的那一份；
- 增加式：使用put()接口，eg:put(“HELLO=135”)接口将HELLO=135加入到环境变量中，再以继承的方式让替换后的进程也能使用；就相当于在原进程中增加了一个环境变量，让替换后的进程直接使用这一环境变量。
补充：在上面有各种各样的函数实现进程替换，但是他们底层都调用同一个系统调用接口：execve()，上面的库函数都是对这个接口的封装而与。
