
🎬 个人主页 :道尔柯南
❄专栏传送门 :《C语言》《C++》《Linux操作系统》
昙花一现,却等待了整个白昼;蝉鸣一夏,却蛰伏了好几个四季。
文章目录
- 1->进程创建
-
- [1.1 fork函数](#1.1 fork函数)
- [1.2 写时拷贝](#1.2 写时拷贝)
- [1.3 fork常规用法](#1.3 fork常规用法)
- [1.4 fork调用失败的原因](#1.4 fork调用失败的原因)
- 2->进程终止
-
- [2.1 进程退出场景](#2.1 进程退出场景)
- [2.2 进程常见退出方法](#2.2 进程常见退出方法)
-
- [2.2.1 退出码](#2.2.1 退出码)
- [2.2.2 _exit函数](#2.2.2 _exit函数)
- [2.2.3 exit函数](#2.2.3 exit函数)
- [2.2.4 return 退出](#2.2.4 return 退出)
- 3->进程等待
-
- [3.1 进程等待必要性](#3.1 进程等待必要性)
- [3.2 进程等待的方法](#3.2 进程等待的方法)
-
- [3.2.1 wait方法](#3.2.1 wait方法)
- [3.2.2 waitpid方法](#3.2.2 waitpid方法)
- [3.2.3 获取子进程status](#3.2.3 获取子进程status)
- 4->进程程序替换
-
- [4.1 替换原理](#4.1 替换原理)
- [4.2 替换函数](#4.2 替换函数)
- 结尾
1->进程创建
1.1 fork函数
在 linux 中 fork 函数是非常重要的函数,它从已存在进程中创建一个新进程。新进程为子进程,而原进程为父进程。
#include <unistd.h>
pid_t fork(void);
返回值:子进程中返回0,父进程返回子进程pid,出错返回-1
进程调用 fork,当控制转移到内核中的 fork 代码后,内核做:
-
分配新的内存块和内核数据结构给子进程
-
将父进程部分数据结构内容拷贝至子进程
-
添加子进程到系统进程列表当中
-
fork 返回,开始调度器调度

当一个进程调用fork之后,就有两个二进制代码相同的进程。而且它们都运行到相同的地方。但每个进程都将可以开始它们自己的旅程。
看下面代码:

运行结果如下:

从输出可以看出父进程执行了全部代码,而子进程是只执行了fork函数后的代码。

fork之前父进程独立执行,fork之后,父子两个执行流分别执行。注意,fork之后,谁先执行完全由调度器决定。
1.2 写时拷贝
通常,父子代码共享,父子再不写入时,数据也是共享的,当任意一方试图写入,便以写时拷贝的方式各自一份副本。

因为有写时拷贝技术的存在,所以父子进程得以彻底分离!完成了进程独立性的技术保证!写时拷贝,是一种延时申请技术,可以提高整机内存的使用率。
1.3 fork常规用法
• 一个父进程希望复制自己,使父子进程同时执行不同的代码段。例如,父进程等待客户端请求。
• 一个进程要执行一个不同的程序。例如子进程从fork返回后,调用exec函数。
1.4 fork调用失败的原因
• 系统中有太多的进程
• 实际用户的进程数超过了限制
2->进程终止
进程终止的本质是释放系统资源,就是释放进程申请的相关内核数据结构和对应的数据和代码。
2.1 进程退出场景
-
代码运行完毕,结果正确--->main函数返回0
-
代码运行完毕,结果不正确---->main函数返回非0
-
代码异常终止(进程一旦出现异常,一般是进程收到了信号,不同的退出码表明不同的出错原因)
2.2 进程常见退出方法
正常终止:
1.从main返回
2.调用exit
3._exit
异常退出:
ctrl+c,信号终止
2.2.1 退出码
(可以通过 echo $? 查看进程退出码)
退出码(退出状态)可以告诉我们最后一次执行的命令的状态。在命令结束以后,我们可以知道命令是成功完成的还是以错误结束的。其基本思想是,程序返回退出代码 0 时表示执行成功,没有问题。代码 1 或 0 以外的任何代码都被视为不成功。
Linux Shell 中的主要退出码:

• 退出码 0 表示命令执行无误,这是完成命令的理想状态。
• 退出码 1 我们也可以将其解释为"不被允许的操作"。例如在没有 sudo 权限的情况下使用 yum;再例如除以 0 等操作也会返回错误码 1,对应的命令为 let a=1/0
• 130(SIGINT 或 ^C)和 143(SIGTERM)等终止信号是非常典型的,它们属于 128+n 信号,其中 n 代表终止码。
• 可以使用 strerror 函数来获取退出码对应的描述。
2.2.2 _exit函数
这个函数是系统层面的,不会进行缓冲区刷新
c
#include <unistd.h>
void _exit(int status);
参数:status 定义了进程的终止状态,父进程通过wait来获取该值
说明:虽然status是int,但是仅有低8位可以被父进程所用。所以_exit(-1)时,在终端执行$?发现返回值是255。
2.2.3 exit函数
这个函数是C语言层面的,会进行缓冲区刷新
c
#include <unistd.h>
void exit(int status);
exit最后也会调用_exit,但在调用_exit之前,还做了其他工作:
- 执行用户通过atexit或on_exit定义的清理函数。
- 关闭所有打开的流,所有的缓存数据均被写入
- 调用_exit

2.2.4 return 退出
return是一种更常见的退出进程方法。执行return n等同于执行exit(n),因为调用main的运行时函数会将main的返回值当做 exit的参数。
3->进程等待
3.1 进程等待必要性
之前讲过,子进程退出,父进程如果不管不顾,就可能造成'僵尸进程'的问题,进而造成内存泄漏。另外,进程一旦变成僵尸状态,那就刀枪不入,"杀人不眨眼"的kill -9 也无能为力,因为谁也没有办法杀死一个已经死去的进程。最后,父进程派给子进程的任务完成的如何,我们需要知道。如,子进程运行完成,结果对还是不对,或者是否正常退出。父进程通过进程等待的方式,回收子进程资源,获取子进程退出信息
3.2 进程等待的方法
3.2.1 wait方法
c
#include<sys/types.h>
#include<sys/wait.h>
pid_t wait(int* status);
返回值: 成功返回被等待进程pid,失败返回-1。
参数:输出型参数,获取子进程退出状态,不关心则可以设置成为NULL
3.2.2 waitpid方法
c
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:默认为0,表示阻塞等待
WNOHANG: 若pid指定的子进程没有结束,则waitpid()函数返回0,不予以等待。若正常结束,则返回该子进程的ID。
如果子进程已经退出,调用wait/waitpid时,wait/waitpid会立即返回,并且释放资源,获得子进程退出信息。
如果在任意时刻调用wait/waitpid,子进程存在且正常运行,则进程可能阻塞。
如果不存在该子进程,则立即出错返回。
3.2.3 获取子进程status
wait和waitpid,都有一个status参数,该参数是一个输出型参数,由操作系统填充。
如果传递NULL,表示不关心子进程的退出状态信息。
否则,操作系统会根据该参数,将子进程的退出信息反馈给父进程。
status不能简单的当作整形来看待,可以当作位图来看待,具体细节如下图(只研究status低16比特位):

4->进程程序替换
fork() 之后,父子各自执行父进程代码的一部分如果子进程就想执行一个全新的程序呢?进程的程序替换来完成这个功能!
程序替换是通过特定的接口,加载磁盘上的一个全新的程序(代码和数据),加载到调用进程的地址空间中!
4.1 替换原理
用fork创建子进程后执行的是和父进程相同的程序(但有可能执行不同的代码分支),子进程往往要调用一种 exec 函数以执行另一个程序。当进程调用一种 exec 函数时,该进程的用户空间代码和数据完全被新程序替换,从新程序的启动例程开始执行 。调用 exec 并不创建新进程,所以调用 exec 前后该进程的 id 并未改变。

4.2 替换函数
其实有六种以exec开头的函数,统称exec函数:
c
#include <unistd.h>
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 execve(const char *path, char *const argv[], char *const envp[]);
这些函数如果调用成功则加载新的程序从启动代码开始执行,不再返回。如果调用出错则返回 -1。所以 exec 函数只有出错的返回值而没有成功的返回值。
这六个exec系列函数的函数名都以exec开头,其后缀的含义如下:
l(list):表示参数采用列表的形式。
v(vector):表示参数采用数组的形式。
p(path):表示能自动搜索环境变量PATH,进行程序查找。
e(env):表示自己维护环境变量。
事实上,只有execve才是真正的系统调用,其它五个函数最终都是调用的execve,所以execve在man手册的第2节,而其它五个函数在man手册的第3节,也就是说其他五个函数实际上是对系统调用execve进行了封装,以满足不同用户的不同调用场景的。

结尾
uu们,本文的内容到这里就全部结束了,道尔在这里再次感谢您的阅读!
|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| ### 道尔柯南 C/C++ & Linux 底层探索者 | 一个正在努力学习的技术博主 *** ** * ** *** 👀 【关注】 跟随我一起深耕技术领域,见证每一次成长。 ❤️ 【点赞】 让优质内容被更多人看见,让知识传递更有力量。 ⭐ 【收藏】 把核心知识点存好,在需要时随时查、随时用。 💬 【评论】 分享你的经验或疑问,评论区一起交流避坑! 不要忘记给博主"一键四连"哦! "今日目标达成!" |
结语:希望对学习Linux相关内容的uu有所帮助,不要忘记给博主"一键四连"哦!