Linux 面试题详解：exec 系列函数如何替换当前进程映像

在 Linux 系统编程的面试中，exec 系列函数是一个高频考点。面试官不仅希望你知道 execl、execv、execve 等函数的区别，更希望你能深入理解它们如何替换当前进程的映像。本文将从进程映像的构成讲起，逐步剖析 exec 系列函数的工作原理、使用方式以及常见陷阱，帮助你在面试中从容应对。

一、什么是进程映像？

在理解 exec 之前，必须先弄清楚“进程映像”（process image）的含义。一个进程的映像包括：

• 代码段（text）：可执行的机器指令。
• 数据段（data）：已初始化的全局变量和静态变量。
• BSS 段：未初始化的全局变量和静态变量。
• 堆（heap）：动态分配的内存区域。
• 栈（stack）：函数调用时的局部变量、返回地址等。
• 内存映射区域：共享库、文件映射等。
• 进程控制块（PCB）：内核中用于管理进程的数据结构，包括 PID、打开的文件描述符、信号处理方式等。

简单来说，进程映像就是“这个进程当前长什么样”——它的代码、数据、堆栈以及内核中的管理信息。

二、exec 系列函数的核心作用

exec 系列函数的作用是：用一个新的程序替换当前进程的映像。注意，这里说的是“替换”，而不是“创建新进程”。调用 exec 成功后：

• 当前进程的代码段、数据段、堆、栈等被新程序的相应部分完全覆盖。
• PID 保持不变，因为仍然是同一个进程。
• 打开的文件描述符默认保持不变（除非设置了 FD_CLOEXEC）。
• 信号处理方式可能被重置为默认。
• 如果 exec 调用成功，它永远不会返回；如果失败，则返回 -1 并设置 errno。

这一点是面试中的关键：exec 不创建新进程，而是“夺舍”当前进程。

三、exec 系列函数的六个成员

exec 并不是一个函数，而是一组函数，共有六个：

int execl(const char *path, const char *arg, ...);
int execlp(const char *file, const char *arg, ...);
int execle(const char *path, const char *arg, ..., char *const envp[]);
int execv(const char *path, char *const argv[]);
int execvp(const char *file, char *const argv[]);
int execvpe(const char *file, char *const argv[], char *const envp[]);

它们的命名规律可以这样记忆：

• l 代表 list，表示参数以可变参数列表形式逐个列出，最后以 NULL 结尾。
• v 代表 vector，表示参数放在一个字符串数组中。
• p 代表 path，表示会在 PATH 环境变量中查找可执行文件。
• e 代表 environment，表示可以自定义环境变量。

参数说明

• path：可执行文件的完整路径。
• file：可执行文件名，若不含 /，则会在 PATH 中搜索。
• arg / argv：传递给新程序的参数列表。注意：第一个参数通常是程序名本身，且列表必须以 NULL 结尾。
• envp：新程序的环境变量数组，同样以 NULL 结尾。

四、exec 的底层实现：execve 是唯一系统调用

在六个函数中，只有 execve 是真正的系统调用，其余五个都是基于 execve 封装的库函数。它们之间的调用关系大致如下：

• execl → execv → execve
• execlp → execvp → execve
• execle → execve
• execvpe → execve

面试中常问：“哪个是系统调用？”答案就是 execve。

五、exec 替换进程映像的详细过程

当调用 execve 时，内核大致执行以下步骤：

1. 验证参数：检查路径、参数数组、环境变量数组是否合法。
2. 打开可执行文件：根据路径找到文件并读取其头部，确认是可执行格式（如 ELF）。
3. 权限检查：检查当前进程是否有执行权限。
4. 释放旧映像：释放当前进程的代码段、数据段、堆、栈等用户空间内存。
5. 加载新映像：将新程序的可执行文件映射到进程地址空间，设置入口点。
6. 重置部分 PCB 信息：
   • 重置信号处理函数为默认（被忽略的信号可能保持忽略）。
   • 关闭设置了 FD_CLOEXEC 的文件描述符。
   • 更新进程的内存管理信息。
7. 设置参数和环境：将 argv 和 envp 复制到新进程的栈顶。
8. 跳转到入口点：开始执行新程序的代码。

整个过程完成后，原来的程序代码已经不存在了，进程开始执行新程序。

六、代码示例

下面通过一个简单例子演示 exec 的用法：

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>

int main() {
    printf("Before exec: PID = %d\n", getpid());

    // 使用 execl 执行 /bin/ls
    execl("/bin/ls", "ls", "-l", NULL);

    // 如果 exec 成功，下面这行不会执行
    perror("execl failed");
    return 1;
}

运行结果会先打印 Before exec，然后直接输出 ls -l 的结果。注意，execl 之后的 perror 不会执行，因为进程映像已经被替换。

如果希望新程序继承自定义环境变量，可以使用 execle 或 execvpe：

char *envp[] = {"MYVAR=hello", "PATH=/bin", NULL};
execle("/usr/bin/env", "env", NULL, envp);

七、常见面试问题与陷阱

1. exec 成功后，原来的代码还会执行吗？

不会。exec 成功时不会返回，原进程的代码段已被替换，后续代码不可能执行。只有失败时才返回 -1。

2. exec 会改变 PID 吗？

不会。PID 是进程的唯一标识，exec 只是替换映像，进程本身还是同一个。

3. fork 和 exec 为什么总是一起出现？

fork 用于创建子进程，exec 用于在子进程中加载新程序。这是 shell 执行命令的经典模式：父进程 fork 出子进程，子进程调用 exec 执行命令，父进程等待子进程结束。

4. 文件描述符会被关闭吗？

默认不会。除非文件描述符设置了 FD_CLOEXEC 标志，否则会被新程序继承。这也是为什么在 exec 前常需要手动关闭不需要的 fd。

5. argv[0] 可以随便写吗？

可以，但通常应该写程序名。有些程序会根据 argv[0] 判断自身被调用的方式（例如 busybox），随意填写可能导致行为异常。

6. exec 失败后应该怎么办？

通常调用 perror 或 exit 终止进程。在 fork-exec 模式中，子进程 exec 失败后应使用 _exit 而不是 exit，避免刷新父进程的缓冲区。

八、总结

exec 系列函数是 Linux 进程控制的核心工具之一。理解它的关键在于：

• exec 替换当前进程映像，不创建新进程，PID 不变。
• 六个函数中只有 execve 是系统调用。
• 命名规则：l 是列表，v 是数组，p 是 PATH，e 是环境变量。
• 成功不返回，失败返回 -1。
• 常与 fork 配合使用，构成 shell 执行命令的基础。

掌握这些要点，不仅能应对面试中的直接提问，还能帮助你在实际开发中正确使用 exec，避免文件描述符泄漏、环境变量丢失等常见问题。

未经允许不得转载：任鹏个人博客 » Linux 面试题详解：exec 系列函数如何替换当前进程映像