Linux 进程控制（上）：创建、终止、等待与程序替换

一. 进程控制概述进程是操作系统中的任务载体而进程控制则是对其生命周期进行管理的完整机制在之前的博文中我们已经窥探了进程的属性和地址空间但进程并不会静止在那里。一个完善的操作系统必须能够解决以下问题如何高效地克隆出一个新进程进程运行结束或异常时该如何释放资源父进程如何回收子进程的退出信息避免其变成僵尸进程一个现有的进程如何抛弃旧代码去执行一个全新的程序进程控制的本质就是操作系统提供的一系列系统调用接口。它们允许程序员干预进程的生命周期从而实现多任务协作、并发处理以及复杂的应用逻辑在本篇博客中我们将沿着 创建 - 终止 - 等待 - 替换 这条主线拆解 Linux 内核是如何通过 fork、exit、wait 和 exec 这四大核心操作维持整个计算机系统的高效运转二. 进程创建fork 是 Linux 中创建进程的主要手段。它通过克隆父进程的PCB、地址空间mm_struct、页表等核心数据结构在内存中创建一个相似的子进程得益于写时拷贝父子进程在初始时刻共享物理内存中的代码和数据只有在某一方尝试修改时才会发生实质性的分离1. 父子进程的执行结果我们往往会困惑fork 函数看似只调用一次却产生了两次返回值返回值的规则父进程返回子进程的PID一个正整数子进程返回0失败返回-1为什么父进程给 PID子进程给 0这体现了管理的单向性父进程可以有多个孩子但他没有像查看家谱那样简单的系统调用来直接获取所有孩子的 PID。为了方便管理fork 在创建子进程时把孩子的唯一标识符 PID 返回给了父亲子进程只有一个父亲它可以通过 getppid() 随时找到所以没必要在返回值里重复获取一个函数如何返回两次要理解这一点必须站在内核的角度fork 是一个系统调用它在执行到内核代码的末尾、即将返回用户态之前子进程其实已经创建好了。此时系统里有两个完全独立的执行流return 语句本质上是一条汇编指令它将结果写入寄存器如 eax由于寄存器属于进程的上下文数据在返回时内核会分别给父子进程的寄存器填入不同的值。父进程拿到的是 PID而子进程拿到的是 0为什么 if 和 else if 能同时成立这其实是一个错觉。代码是同一套但在执行时两个进程运行在两个独立的空间在父进程的运行流中id 0它执行了父进程的代码块在子进程的运行流中id 0它执行了子进程的代码块结论 不是一个进程执行了两段代码而是两个进程各自选择了属于自己的那条分叉路2. 为什么创建进程费尽心机克隆出一个进程绝不是为了让两个进程跑一模一样的代码而是为了实现并发与分工并发完成任务这是最常见的场景。例如一个 Web 服务器父进程在接收到请求后会 fork 出一个子进程去处理具体的业务逻辑而自己则继续监听新的连接。这保证了服务器的高并发处理能力父子分工父进程负责任务的调度、管理与监控而子进程负责具体的计算、IO 等。这种模式增强了系统的可靠性容错与隔离如果一个任务具有风险将其交给子进程去处理是明智的。即使子进程崩溃父进程依然可以存活并记录错误日志甚至重新拉起一个新的分身。现代浏览器如 Chrome的每个标签页都是独立进程就是为了防止一个网页卡死导致整个浏览器崩溃三. 进程终止当进程完成其任务或遭遇意外情况时就需要从系统中退出。进程终止并非简单地消失它需要向父进程报告执行状态并由内核回收其占用的所有资源1. 进程终止的常见场景在 Linux 中一个进程的退出无非属于以下三种情况。我们可以通过退出码和退出信号来判定场景一代码运行完毕结果正确这是最理想的状态。程序按照逻辑跑到了最后并达到了预期目标。此时我们通常通过 main 函数返回 0 来表示成功场景二代码运行完毕结果不正确程序虽然跑完了但由于逻辑错误、参数非法或环境问题没能完成既定任务。此时程序会返回一个非 0 值。不同的非零数值通常对应不同的错误类型例如1 代表通用错误2 代表权限不足等场景三代码异常崩溃程序在运行中途遭遇异常。这通常不是程序主动退出的而是被操作系统杀死的例如访问了非法内存段错误 Segmentation fault、除以 0 等在这种情况下退出码已经失去了意义我们需要关注的是进程收到的信号Signal它会告诉我们进程为何被杀死2. 进程退出方法要让一个进程终止有多种手段可以选择。根据作用范围和底层深度的不同主要分为以下三类return 退出这是最常见的退出方式。在 main 函数中执行 return n;等同于调用 exit(n)。在 C 程序的启动代码中它是这样包装 main 的exit( main(argc, argv) )在普通函数子函数中执行 return 仅仅是函数返回并不会导致进程退出exit() 函数 (标准库函数)这是 C 标准库提供的接口需包含 stdlib.h在程序的任何地方调用 exit()都会导致整个进程直接终止在停止进程前会执行一系列清理工作如刷新输出缓冲区、关闭打开的流等_exit() 系统调用 (底层系统接口)这是由 Linux 内核提供的底层系统调用需包含 unistd.h调用 _exit() 时进程会立即停止内核直接开始回收资源不会刷新缓冲区也不会执行用户自定义的清理函数3. exit 与 _exit 的区别为了直观感受 exit 与 _exit 的区别我们来看这段代码。利用 Linux 标准输出的行缓冲特性如果没有遇到 \n 或缓冲区没满数据会停留在内存中#include stdio.h #include stdlib.h #include unistd.h void test_exit() { printf(使用 exit 退出); // 没有 \n exit(0); } void test_v_exit() { printf(使用 _exit 退出); // 没有 \n _exit(0); } int main(int argc, char *argv[]) { if (argv[1][0] 1) test_exit(); else test_v_exit(); return 0; }执行代码执行 ./a.out 1屏幕输出了文字原因exit 是库函数它在退出前发现了缓冲区里还有内容于是贴心地帮我们刷新到了终端执行 ./a.out 2屏幕一片漆黑什么也没打印原因_exit 直接指挥内核切断了进程。由于 printf 的数据还待在用户空间的缓冲区里还没进入内核进程就没了。这些数据随着进程的销毁一起蒸发了return nexit(n)_exit(n)层次语言关键字C 标准库系统调用刷新缓冲区是由 main 包装是否清理函数执行是是否4. 退出码的意义无论是哪种方式退出最后都会产生一个退出码Exit Code查看方法在命令执行完后立即输入 echo $?逻辑0表示 Success非 0表示 Failure。不同的数字代表不同的错误原因可以使用 strerror() 查看系统定义的错误描述退出码解释0命令成功执行1通用错误代码2命令或参数使用不当126权限被拒绝或无法执行127未找到命令或 PATH 错误128n命令被信号从外部终止或遇到致命错误130通过 CtrlC 或 SIGINT 终止终止代码 2 或键盘中断143通过 SIGTERM 终止默认终止255/*退出码超过了 0-255 的范围因此重新计算超过 255 后用退出取模退出码 1 我们也可以将其解释为不被允许的操作。例如在没有 sudo 权限的情况下使用 apt再例如除以 0 等操作也会返回错误码 1四. 进程等待进程等待Process Wait是父进程对子进程资源的回收与状态收集机制。在多进程协作场景下这一环节具有关键作用1. 为什么需要等待进程等待主要解决了两个问题回收资源 当子进程退出后它并不会立即彻底消失。为了让父进程能读取到退出的信息内核会保留子进程的 PCB。此时子进程处于ZZombie僵尸状态危害僵尸进程不运行但占据着系统进程表的槽位。如果父进程一直不回收会导致系统资源泄露甚至无法创建新进程解决父进程通过等待通知内核子进程已交待完毕可以彻底销毁获取子进程的退出结果 父进程派生出子进程通常是为了让它去办事。办得怎么样是成功了退出码还是被操作系统杀死退出信号父进程必须通过等待来读取这些反馈2. wait 函数wait 是一个阻塞式的系统调用其功能相对单一函数原型pid_t wait(int *status)返回值成功则返回被回收子进程的PID失败返回 -1参数status是一个输出型参数用于带回子进程的退出状态退出码和信号。如果不关心可以传 NULL代码示例int main() { pid_t id fork(); if (id 0) { // 子进程 printf(子进程正在运行, PID: %d\n, getpid()); sleep(5); exit(10); } else { // 父进程 printf(父进程开始等待...\n); pid_t ret wait(NULL); if (ret 0) printf(回收成功, 子进程 PID: %d\n, ret); } return 0; }运行结果3. waitpid函数虽然 wait 能解决问题但在复杂的实际开发中它的局限性很大比如它不能指定等哪个子进程。于是我们有了更强大的 waitpid函数原型pid_t waitpid(pid_t pid, int *status, int options)参数详解pid-1 代表等待任意一个子进程此时等同于 wait 0代表等待PID 等于该值的特定子进程status输出型参数保存子进程退出信息options0阻塞等待死等WNOHANG非阻塞等待。如果子进程还没退函数立即返回 0父进程可以执行别的代码实际开发中更建议使用 waitpid定向回收 如果父进程创建了 A、B、C 三个子进程分别负责数据库、日志、网络。当父进程想检查数据库子进程是否异常时wait 可能会随机抓到一个刚退出的日志子进程而 waitpid 可以通过指定 PID 精准锁定 A非阻塞轮询 wait 会让父进程进入睡眠状态直到有子进程退出。而使用 waitpid 配合 WNOHANG父进程可以开启一个循环查询退了没没退我就去处理下一条指令过会儿再来查询一次。这种方式极大地提高了系统的并发处理效率解耦与安全 waitpid 提供了更细粒度的控制能有效防止由于一个子进程卡死而导致父进程也跟着永久阻塞的问题4. 获取子进程退出状态不能简单地将 status 当作一个整体数值来看待。在 Linux 中我们主要关注它的低 16 位高 8 位与低 7 位这 16 位被划分为两个核心区域高 8 位8-15位存储进程的退出码。只有在进程正常退出时这部分才有效低 7 位0-6位存储进程收到的终止信号。如果进程是异常终止的这里会记录是谁杀死了它第 7 位Core Dump 标志记录进程退出时是否产生了核心转储文件正常退出 / 异常退出父进程在拿到 status 后首先要做的不是看退出码而是判断进程是否是正常死掉的场景一正常退出程序运行到了 main 的 return 或者执行了 exit()此时终止信号为 0我们可以读取高 8 位的退出码获取子进程退出信息场景二异常退出程序运行中途遭遇意外比如野指针、除 0或者被手动 kill此时终止信号非 0注意一旦进程异常终止高 8 位的退出码就变得毫无意义因为程序根本没运行到返回的那一步常用宏函数虽然我们可以通过 (status 8) 0xFF 这种位运算来提取信息但为了代码的可读性和跨平台兼容性Linux 提供了几个标准的宏WIFEXITED(status)判断子进程是否正常退出。如果是正常退出信号为 0返回真WEXITSTATUS(status)提取子进程的退出码。必须先通过 WIFEXITED确认是正常退出的WIFSIGNALED(status)判断子进程是否是被信号杀掉的WTERMSIG(status)提取导致子进程退出的信号编号代码示例int main() { pid_t id fork(); if (id 0) { printf(子进程 PID: %d\n, getpid()); sleep(3); exit(123); // 正常退出退出码 123 } int status 0; pid_t ret waitpid(id, status, 0); // 阻塞等待指定子进程 if (ret 0) { if (WIFEXITED(status)) { // 正常退出获取退出码 printf(正常退出退出码: %d\n, WEXITSTATUS(status)); } else if (WIFSIGNALED(status)) { // 异常退出获取信号 printf(异常终止信号: %d\n, WTERMSIG(status)); } } return 0; }运行结果5. 阻塞等待与非阻塞等待我们可以通过一个形象的比喻来理解阻塞等待你下了一单外卖然后就站在门口死死盯着楼道。外卖员不来你哪儿也不去什么也不干。你的大脑处于暂停状态直到外卖送到你才回屋非阻塞等待你下了一单外卖回屋开始打游戏。每打完一局你就跑去门口看一眼外卖到了没。没到就继续回屋打下一局到了就提着外卖回屋阻塞与非阻塞定义在 Linux 中父进程通常使用 waitpid() 系统调用来回收子进程阻塞等待默认行为。父进程挂起放入等待队列不占用 CPU 资源直到子进程状态改变才被唤醒非阻塞等待通过设置 WNOHANG 参数实现。父进程不会挂起而是立即返回。如果子进程没结束返回 0如果结束了返回子进程 PID。这种不断重复检测的过程称为轮询示例代码对比下面这段代码通过 fork() 创建子进程并展示了父进程如何以两种不同的方式处理子进程的回收void child_task() { printf([Child] 正在运行\n); sleep(3); printf([Child] 运行结束准备退出。\n); exit(0); } int main() { pid_t pid fork(); if (pid 0) { // 子进程逻辑 child_task(); } else { // 父进程逻辑 int status; // 阻塞等待 /* printf([Parent] 正在阻塞等待子进程\n); pid_t ret waitpid(pid, status, 0); // 0 代表阻塞 if (ret 0) { printf([Parent] 成功回收子进程PID: %d\n, ret); } */ // 非阻塞等待 printf([Parent] 开始非阻塞轮询模式\n); while (1) { // WNOHANG 代表非阻塞 pid_t ret waitpid(pid, status, WNOHANG); if (ret 0) { // 子进程还在运行 printf([Parent] 子进程还没还没推出可以执行别的代码\n); // 模拟做其他任务 usleep(500000); // 休息 0.5 秒 } else if (ret 0) { // 子进程已退出并成功回收 printf([Parent] 检测到子进程退出回收成功PID: %d\n, ret); break; } else { // 出错 perror(waitpid error); break; } } } return 0; }我们将两者的差异总结成一张表格阻塞等待非阻塞等待底层行为父进程进入等待队列让出 CPU父进程持续运行不让出 CPU实时性子进程一退父进程立即得知取决于轮询的频率会有微小延迟适用场景父进程没有后续任务必须等子进程父进程有并发任务不希望被死等卡住参数设置options 0options WNOHANG五. 程序替换若说 fork 用于创建一个新的进程那么程序替换则是在保留该进程标识不变的前提下将其原有代码段与数据段完整替换为另一程序的指令与数据1. 什么是程序替换程序替换是指一个正在运行的进程通过调用特定的系统调用exec 系列函数将一个全新的可执行程序加载到自己当前的进程地址空间中核心概念不创建新进程 执行程序替换后进程的 PID 不会改变。它依然是原来的那个进程但在内核看来它的使命已经彻底改变了覆盖 当 exec 函数族被调用并成功执行时当前进程的代码段、数据段、堆和栈都会被新程序的相应部分彻底覆盖由于原来的代码段已经被新程序覆盖了所以一旦替换成功原程序中 exec 之后的代码将永远不会被执行为了更好地理解这个概念我们可以举一个生活中的例子你有一台运行着的电脑进程你没有重启电脑没创建新 PID而是直接在当前内存里强行把正在运行的《扫雷》换成了《赛博朋克 2077》。硬件还是那台硬件但运行的逻辑已经完全不同了为什么需要程序替换你可能会问既然 fork 出来的子进程能通过 if-else 跑不同的逻辑为什么还要去替换程序解耦与复用 有些现成的功能已经以独立二进制文件的形式存在了。我们没必要在自己的程序里重新写一遍这些复杂的逻辑直接 fork 一个子进程并把它替换成这些成熟的工具即可运行不同语言的程序 你的父进程可能是用 C 语言写的但你想让子进程去跑一个 Python 脚本、一个 Java 程序或者一个 Shell 脚本。这时候只有程序替换能做到跨越编程语言让子进程承载全新的执行流2. 程序替换的原理物理层面当进程调用 exec 系列函数时内核会执行以下关键步骤加载程序根据指定的路径将新的可执行程序从磁盘加载到内存中更新映射修改进程的页表将虚拟地址空间重新映射到存储新程序代码和数据的物理内存块上重置空间由于是全新的程序原本进程的堆、栈、未初始化数据区等都会被清空并根据新程序的要求重新初始化父子进程的写时拷贝这里有一个非常精妙的设计。回想一下我们通常是在 fork 之后的子进程里调用 exec 的fork 之后的状态父子进程处于写时拷贝状态。它们的页表指向相同的物理内存页只有代码段和数据段的读写权限被标记为只读调用 exec子进程要把全新的程序代码和数据写入到自己的地址空间。这本质上是一次规模巨大的写操作触发 COW操作系统识别到子进程要修改内存映射于是触发写时拷贝机制但不同于普通变量修改内核不会去拷贝父进程那份旧的代码因为子进程根本不需要它内核会直接为子进程分配一套全新的物理内存空间把新程序的代码和数据填进去然后修改子进程的页表映射关系。结果父子进程彻底在物理内存上实现了分离。父进程继续跑原来的代码子进程则在全新的物理内存上运行新程序为什么 PID 能够保持不变既然内存都被替换了为什么它还是原来的那个进程因为在 Linux 内核中进程 内核数据结构task_struct 代码和数据exec 替换的是代码和数据以及描述内存布局的 mm_struct 内容但是代表进程身份的 task_struct包含 PID、优先级等被保留了下来这就像是一个人换了全身的器官甚至大脑程序替换但他在公安局的身份证号PID和家庭关系父子进程关系依然维持原样exec 函数有一个非常著名的特性它只有失败返回值没有成功返回值如果失败它返回 -1并继续执行原程序中 exec 之后的代码通常是报错如果成功新程序会从它的 main 函数开始执行。由于原程序的代码段已经被新程序覆盖了原本用来接收返回值的那个变量和接下来的指令序列都已经不存在了所以它根本没法返回3. exec 函数族只要记住了后缀的含义就能像查字典一样瞬间选出最适合的那一个命名规则拆解l (list)参数采用列表形式一个一个列出来最后以 NULL 结尾v (vector)参数采用数组形式将所有参数存入一个字符指针数组中p (path)自动在环境变量 PATH 指定的路径下查找可执行文件不需要写绝对路径e (env)允许维护一个自定义的环境变量表并将其传给新程序函数原型一览函数名参数形式查找路径方式是否支持自定义环境execl列表需提供全路径使用当前进程的环境execv数组需提供全路径使用当前进程的环境execlp列表自动搜索 PATH使用当前进程的环境execvp数组自动搜索 PATH使用当前进程的环境execle列表需提供全路径自定义环境execve数组需提供全路径自定义环境4. 实战演示我们以最常用的 execlp 和 execvp 为例。是如何在不写 /usr/bin/ls 全路径的情况下让系统自动找到指令的代码示例#include stdio.h #include unistd.h #include stdlib.h #include sys/wait.h int main() { pid_t id fork(); if (id 0) { // 子进程准备执行程序替换 printf(子进程开始替换程序...\n); // 方式一使用 execlp (列出参数自动找路径) // 参数1: 要执行的文件名 // 参数2: 这里的第一个参数通常写文件名本身代表 argv[0] // 后面紧跟参数列表最后必须以 NULL 结尾 execlp(ls, ls, -l, -a, NULL); /* // 方式二使用 execvp (参数存入数组) char *my_argv[] {ls, -l, -a, NULL}; execvp(ls, my_argv); */ // 如果 exec 执行成功下面的代码绝对不会被运行 // 如果运行到了这里说明 exec 失败了 perror(exec); exit(1); } else { // 父进程等待子进程变身结束 int status 0; waitpid(id, status, 0); printf(父进程回收子进程成功替换结束。\n); } return 0; }在实际开发中我们最推荐使用 execvp。因为在解析用户输入的命令时我们通常会将命令拆分成一个字符串数组这与 v 参数形式完美契合。而 p 后缀则免去了我们手动拼接文件路径前缀总结综上所述进程控制本质上是对进程生命周期的管理。从创建进程开始到进程的正常或异常终止再到父进程对其进行等待与回收最后通过程序替换实现功能切换这一系列机制共同构成了操作系统对进程的基本控制能力其中fork 提供了创建进程的手段exit 与 _exit 定义了不同层次的退出方式wait / waitpid 负责资源回收与状态获取而 exec 系列函数则实现了在同一进程内执行新程序的能力。理解这些接口之间的联系意味着我们已经能够从整体上把握进程是如何被创建、运行与终止的在下一篇中我们将基于这些进程控制机制动手实现一个简易的 shell 命令行解释器将这些抽象概念真正落地到实际程序中