# 引言
当我们使用fork()创建子进程时，发现了一个有趣的场景——子进程仿佛是父进程的"克隆体"，执行着完全相同的代码。就像影分身术，所有分身都在做同样的动作。
>- 但想象一下这样的需求：**一个厨师分身去做编程，另一个分身去画画**。如果每个分身只能做和本体一样的事情，那多进程的价值就大打折扣了！
>- 这就是我们面临的核心问题：**fork()给了我们"复制"的能力，却没有赋予"改变"的自由**。子进程被束缚在父进程的代码逻辑中，如何让它摆脱这种束缚，去执行一个全新的程序呢？

这时，我们需要一个"变身术"——**进程程序替换**！这个神奇的能力让一个进程可以"脱胎换骨"，在保持外壳（进程ID、环境等）不变的情况下，完全替换内部执行的程序。

![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/c578998533f840c3c6da048a8511929f.gif)
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/6fd2cbbeba3238df85d8647e9957ce1d.gif)


---
# 目录
## 一、替换原理

用`fork`创建子进程后，子进程最初执行的是和父进程相同的程序（但可能执行不同的代码分支）。子进程通常要调用一种exec函数来执行另一个完全不同的程序。

当进程调用exec函数时：
1. **用户空间完全替换**：原进程的用户空间代码和数据被完全清除
2. **内存管理重构**：操作系统释放原进程占用的所有物理内存页
3. **新程序加载**：从磁盘读取新程序的代码段、数据段等
4. **映射关系重建**：在页表中建立**虚拟地址→新物理页**的映射
>（注意：虚拟地址范围不变，但指向的物理页内容全新）
5. **进程身份不变**：PCB、PID、文件描述符表等保持不变
6. **全新开始执行**：从新程序的启动例程（如main函数）开始执行

整个过程**不创建新进程**，只是在现有进程框架内完成"程序内容"的彻底替换。
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/3cd1240adf6a43950cfdec076d473d4e.png)
>思考：子进程程序替换后，会影响父进程的代码和数据吗？
>- 子进程刚被创建时，与父进程共享代码和数据，但当子进程需要进行进程程序替换时，也就意味着子进程需要对其数据和代码进行写入操作，这时便需要将父子进程共享的代码和数据进行写时拷贝，此后父子进程的代码和数据也就分离了，因此子进程进行程序替换后不会影响父进程的代码和数据。
## 二、替换函数
其实替换函数有六种exec开头的，我们统称为exec函数，所以让我们先来通过表格整体了解一下这6个函数。
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/fadd4563557f9732d901204ae93f2d74.png)

| 函数名 | 核心特点 | 路径/文件名要求 | 参数传递方式 |
| ----------- | --------------------------- | ------------------------- | --------------------------------- |
| execl | 基础 exec，列表传参 | 需传入程序绝对/相对路径（如 `/bin/ls`） | 可变参数列表（以 `NULL` 结尾） |
| execlp | 带 PATH 搜索的 execl | 可直接传程序名（如 `ls`） | 可变参数列表（以 `NULL` 结尾） |
| execle | 可自定义环境变量的 execl | 需传入程序绝对/相对路径 | 可变参数列表（`NULL` 后接 envp） |
| execv | 数组传参版 execl | 需传入程序绝对/相对路径 | `argv[]` 数组（以 `NULL` 结尾） |
| execvp | 带 PATH 搜索的 execv | 可直接传程序名 | `argv[]` 数组（以 `NULL` 结尾） |
| execvpe| PATH 搜索 + 自定义环境（GNU 扩展） | 可直接传程序名，自动从 PATH 查找 | `argv[]` + `envp[]`（均以 `NULL` 结尾） |


![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/6a37955ed788247e36f0851b0df76c5d.png)
>接下来让我们一个一个来了解这些替换函数！

---
### 2.1 execl
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/ec83d54a412735abd06880fcbee9360f.png)
- 第一个参数是执行程序的路径
- 第二个参数是可变参数列表
- 以NULL结尾

```cpp
#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>

int main()
{
	printf("交换前执行, pid: %d, ppid: %d\n", getpid(), getppid());
	execl("/usr/bin/ls", "ls", "-a", "-i","-l", NULL);
	printf("交换后执行, pid: %d, ppid: %d\n", getpid(), getppid());
	 
	return 0;
}
```
---
### 2.2 execlp
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/9f3fc6fbfeccbb3bcd2d4e69c87521f1.png)
- 第一个参数是要执行程序的名字
- 第二个参数是可变参数列表，表示你要如何执行这个程序
- 以NULL结尾。

```cpp
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/wait.h>

int main()
{
 printf("父进程 pid: %d\n", getpid());

 pid_t id = fork();
 if (id == 0) // 子进程
 {
 printf("子进程(pid:%d)执行ls命令前\n", getpid());
 // execlp执行ls -a -l，成功则后续代码不执行
 execlp("ls", "ls", "-a", "-l", NULL);
 
 // 仅execlp失败时执行以下代码
 perror("execlp执行失败");
 exit(1);
 }

 // 父进程：等待子进程并解析状态
 int status;
 wait(&status); // 阻塞等待子进程退出

 if (WIFEXITED(status))
 {
 int code = WEXITSTATUS(status);
 printf("\n子进程(pid:%d)正常退出，退出码：%d\n", id, code);
 }
 else
 {
 printf("子进程异常退出\n");
 }

 return 0;
}
```
---
### 2.3 execle
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/d98cee75d2211a034b9f733da5b76b1c.png)
- 第一个参数是要执行程序的路径
- 第二个参数是可变参数列表，表示你要如何执行这个程序
- 并以NULL结尾
- 第三个参数是你自己设置的环境变量。
```cpp
char* myenvp[] = { "MYVAL=2021", NULL };
execle("./mycmd", "mycmd", NULL, myenvp);
```

---
### 2.4 execv
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/948a301cdc03eb3241410b239c7bd67a.png)
- 第一个参数是要执行程序的路径
- 第二个参数是一个指针数组
- 数组当中的内容表示你要如何执行这个程序，数组以NULL结尾

```cpp
char* myargv[] = { "ls", "-a", "-i", "-l", NULL };
execv("/usr/bin/ls", myargv);
```
---
### 2.5 execvp
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/c934b75dfe62183a75dfa43d13a8b77f.png)
- 第一个参数是要执行程序的名字
- 第二个参数是一个指针数组
- 数组当中的内容表示你要如何执行这个程序，数组以NULL结尾。
```cpp
char* myargv[] = { "ls", "-a", "-i", "-l", NULL };
execvp("ls", myargv);
```
---
### 2.6 execvpe 
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/e2243f66142c3088ce5ff23d7a8de31e.png)
- 第一个参数是要执行程序的名字
- 第二个参数是一个指针数组
- 数组当中的内容表示你要如何执行这个程序，数组以NULL结尾。
- 第四个参数是自己维护的环境变量
```cpp
char* myargv[] = { "mycmd", NULL };
char* myenvp[] = { "MYVAL=2025", NULL };
execve("./mycmd", myargv, myenvp);
```
---
### 函数解释
这些函数如果调用成功，则加载指定的程序并从启动代码开始执行，不再返回。
>如果调用出错，则返回-1。
也就是说，exec系列函数只要返回了，就意味着调用失败。

---
## 三、execve
事实上，只有execve才是真正的系统调用，其它五个函数最终都是调用的execve，所以execve在man手册的第2节，而其它五个函数在man手册的第3节，也就是说其他五个函数实际上是对系统调用execve进行了封装，以满足不同用户的不同调用场景的。

下图为exec系列函数族之间的关系：
![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/97054c1a4f953ebbc600a4edcba0a6fd.png)

---

> ✨ 坚持用 清晰易懂的图解 + 代码语言， 让每个知识点都 简单直观 ！
>💬 **座右铭** ： “不患无位，患所以立。” 
>![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11825160/868f5fd08ec5956ccf39530a53793236.gif)

当我们使用fork()创建子进程时，发现了一个有趣的场景——子进程仿佛是父进程的"克隆体"，执行着完全相同的代码。就像影分身术，所有分身都在做同样的动作。

【Linux】进程控制（三）：进程程序替换机制与替换函数详解

我们需要一个"变身术"——进程程序替换！这个神奇的能力让一个进程可以"脱胎换骨"，在保持外壳（进程ID、环境等）不变的情况下，完全替换内部执行的程序。

后端

编程语言

操作系统

Linux进程程序替换技术详解：fork()创建子进程后，通过exec系列函数实现程序替换，保持进程ID不变但执行全新程序。6种exec函数对比分析，包括execl、execlp、execle等，涵盖路径搜索和环境变量设置。深入解析替换原理和写时拷贝机制，帮助开发者掌握多进程编程核心技术。

内存管理

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

【Linux】进程控制（三）：进程程序替换机制与替换函数详解-腾讯云开发者社区-腾讯云

【Linux】进程控制（三）：进程程序替换机制与替换函数详解

【Linux】进程控制（三）：进程程序替换机制与替换函数详解

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐