Linux 进程控制深剖-CFANZ编程社区

传统艺能😎

Linux 进程控制深剖_子进程

pc 指针🤔

我们说进程调用 fork ，当控制转移到内核的 fork 代码后，内核会：

将父进程部分数据拷贝给子进程；
分配新的内存块和数据结构给子进程；
子进程添加到进程列表；
fork 返回，开始调度

因此 fork 之前父进程独立执行，fork 后父子分别执行，但是谁先谁后完全取决于调度器。

fork 之后，共享的只有 fork 后的代码吗？一般情况下，是父子共享所有代码，虽然子进程执行后续代码，它是相当于共享了所有代码但是子进程只能从某个地方开始执行！什么原理呢？很简单，在 CPU 里面有一种寄存器能保存当前的执行进度，它叫 eip，普遍喜欢叫它程序计数器或者 pc 指针，通过保存当前正在执行指令的下一条指令，拷贝给子进程。

为什么要写时拷贝？🤔

我们创建子进程的时候，直接给父子进程单独拷一份把数据分开，这样不香吗？

首先，这种方法是肯定可行的，但是不是最优的。父进程的数据，子进程不一定全用，即使全用也不一定全部写入，这样会有浪费空间的嫌疑。那为什么不把要用的数据拷一份？先不说技术上有没有人能完美实现，就算我拷贝了要用的但是不进行写入或修改的话绕一圈还是在浪费嘛。第三如果 fork 时无脑给子进程拷贝还会增加 fork 的成本，不管是内存还是时间。

所以采取写时拷贝，只会拷贝父子修改的就是拷贝的最小成本，但是拷贝的成本是不可消除的，这时一种延迟拷贝策略，他最大的意义就是你想要但是不立马使用的会先给别人提高了使用效率。

退出码🤔

我们知道程序结束会 return 0，但是大部分情况我们都是在无脑返回 0，程序最终返回 0 说明得到了我想要的结果，不为 0 就是失败了，那么非 0 返回值就是在标识失败的原因：return x ，这个 x 就是进程退出码。

我们可以查看当前程序的退出码：

echo $?

Linux 进程控制深剖_子进程_02

这个 $? 就是 bash 中最近一次执行完毕时对应的进程退出码。普通的 C++ 代码可以无脑搞个 return 0，但是系统编程时强烈建议搞清楚当前程序的退出码，一般来讲失败的这个非 0 值是可以自定义的，主要是不同返回值方便我们定位不同问题。

exit 与 _exit🤔

main 函数中 return 代表进程终止，但是其他函数为什么不能 return 呢？不代表，return 仅仅代表当前函数调用结束！但是在自己代码中任意位置调用 exit ，就可以直接终止进程，exit 是C库函数，exit（x）中这个 x 就是自义定的退出码。

exit 的底层原理就是利用 _exit 函数，功能上二者无异，exit 调用是终止进程并且刷新缓冲区关闭文件流，而 _exit 是直接终止进程，不会有任何其他动作。

slab 分配器🤔

创建对象的过程包括了开辟空间和初始化，对象创建了像 task_struct，mm_struct 这种内核数据结构可能并不会被系统释放，那么系统会维护一个废弃的链表，不要的数据结构就放在这里，所以系统不是去释放而是放在这里使其无效化，当我们再度开辟时，就进行迭代即可，这样节约了申请时间直接跳到初始化，这种结构叫做内核数据结构缓冲池，也叫他 slab 分配器。

Linux 进程控制深剖_子进程_03

进程等待🤔

这个概念是根据僵尸进程提出的，为什么进程结束后不直接终止（X 状态）而是要先进入僵尸进程（Z 状态）？

子进程退出后如果父进程不管就会造成所谓的僵尸进程，从而造成内存泄漏，另外一旦变成僵尸进程连 kill 指令也束手无策，因为逻辑上你无法杀死一个已经死去的进程。其次，父进程有义务知道子进程的完成情况且结果是否正确，我们说到的退出码这里也是这样，确认子进程的退出状态就是子进程的退出码需要被父进程所读取。

所以进程等待实际上是父进程回收子进程资源，获取子进程退出信息的重要渠道！

进程等待方法🤔

wait😎

函数原型以及所需头文件：

#include <sys/types.h>
#include <sys/wait.h>
pid_t wait(int *status);

返回值：等待成功则返回等待进程的PID，等待失败，返回-1；参数为输出型参数，获取子进程退出状态,不关心则可以设置成为 NULL 即可。

因此我们不妨用 wait 来验证一下僵尸进程和进程等待机制，通过 fork 创建子进程实现打印，然后终止掉子进程，子进程便处于僵尸状态，此时父进程是处于等待状态的，在10秒后开始对子进程进行处理（也就是获取子进程的pid），处理结束子进程退出，父进程此时再次等待10秒后退出：

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/wait.h>
int main()
{
    pid_t id = fork();
    if(id == 0){
        int ret = 5;
        while(ret){
            printf("child[%d] is running：ret is %d\n", getpid(), ret);
            ret--;
            sleep(1);
        }
        exit(0);
    }
    sleep(10);
    printf("father wait begin..\n");
    pid_t cur = wait(NULL);
    if(cur > 0){
        printf("father wait：%d success\n", cur);
    }
    else{
        printf("father wait failed\n");
    }
    sleep(10);
}

程序结果：

Linux 进程控制深剖_服务器_04

我们在运行的同时可以再复制一个 SSH 渠道的 shell 脚本来进行监视功能：

while :; do ps axj | head -1 && ps axj | grep mytest | grep -v grep; sleep 1; echo "**********************";

监视窗口如下，我们结果可以明显分为 4 大部分：

进程开始运行，父子进程同时运行。这里应该有 5 个因为打印 5 次，监视窗口手慢了漏了一次大家就当无事发生。

Linux 进程控制深剖_进程_05

子进程结束，父进程继续，因此子进程变成僵尸进程，触发父进程等待机制

Linux 进程控制深剖_服务器_06

子进程开始向父进程返回自己 pid，父进程通过等待机制回收子进程：

Linux 进程控制深剖_服务器_07

父进程得到子进程 pid 和退出码，父进程退出，程序终止：

Linux 进程控制深剖_进程_08

waitpid😎

所需头文件：

#include <sys/types.h>
#include <sys/wait.h>
pid_t waitpid(pid_t pid, int *status, int options);

返回值：当正常返回的时候waitpid返回收集到的子进程的进程ID；如果设置了选项WNOHANG,而调用中 waitpid 发现没有已退出的子进程可收集,则返回0；如果调用中出错,则返回 -1,这时 errno 会被设置成相应的值以指示错误所在

三个参数：

pid：
Pid=-1,等待任一个子进程。与wait等效。
Pid>0.等待其进程ID与pid相等的子进程。
status:
WIFEXITED(status): 若为正常终止子进程返回的状态，则为真。（查看进程是否是正常退出）
WEXITSTATUS(status): 若WIFEXITED非零，提取子进程退出码。（查看进程的退出码）
options:
WNOHANG: 若pid指定的子进程没有结束，则waitpid()函数返回0，不予以等待。若正常结束，则返回该子进程的PID。
具体的实现

waitpid 函数两种情况：

pid_t cur = waitpid(id, NULL, 0);//等待指定一个子进程
pid_t cur = waitpid(-1, NULL, 0);//等待任意一个子进程

这里我们使用第二种情况，大体思路和 wait 是一样的，结果也是一样的：

pid_t cur = waitpid(-1, NULL, 0);//等待任意一个子进程
    if(cur > 0){
        printf("father wait：%d success\n", cur);
    }
    else{
        printf("father wait failed\n");
    }

status 参数🤔

int* status 是一种输出型参数，其中 status 是由32个比特位构成的一个整数，目前阶段我们只使用低16个位来表示进程退出的结果，正常终止的话 8 比特位保存退出状态，7 比特位保存退出码 0；而如果是被信号 kill 了，他就会大有不同，在未使用空间后面的结尾空间用于保存终止信号，在未使用空间和终止信号之间还有一个比特位大小的== core dump 标志==

Linux 进程控制深剖_子进程_09

因此要获取 status 很简单，我们用次低8位表示进程退出时的退出状态，也就是退出码；用低7位表示进程终止时所对应的信号，我们想要拿到这个退出码和信号的值，只要拿到低 16 个比特位中的次低 8 位和低 7 位就可以了。

status >> 8 & 0xFF;//次低8位
status & 0x7F;//低7位

注意不能简单理解 status 为一个单纯的整数，status 结果和子进程的退出方式强相关，因此具体情况具体分析！

退出码与退出信号🤔

进程退出时先看退出码还是退出信号？

退出码对应了进程退出的两种情况：

代码跑完且结果正确；
代码跑完但结果不正确；

进程信号代表的是进程跑完还是没跑完，因此一个程序要能跑完才有资格谈退出码，进程异常只关心退出信号。

其实 Linux 也给我们提供一些宏供我们直接使用，懒得去敲神魔位运算：

WIFEXITTED(status)：正常终止子进程返回的状态为真，用于查看是否正常退出
WEXITSTAUS(status)：WIFEXITTED 非零时提取子进程退出码

aqa 芭蕾 eqe 亏内，代表着开心代表着快乐，ok 了家人们。

Linux 进程控制深剖

目录