操作系统系列:Unix进程系统调用fork,wait,exec

操作系统系列:Unix进程系统调用

  • fork系统调用
    • fork()运用的小练习
  • wait系统调用
  • Zombies
  • exec 系列系统调用

开发者可以查看创建新进程的系统调用,这个模块会讨论与进程相关的Unix系统调用,下一个模块会讨论Win32 APIs相关的进程。

fork系统调用

在经典的Unix系统,所有的进程都是用fork()创建的,这个系统调用创建一个新的进程,这个新的进程是调用fork的进程的完美副本,这个调用进程被称为父进程,而fork创建的新进程被称为子进程。父子进程都是可运行的,并且在fork系统调用后立即开始运行。
这是函数原型:

#include <sys/tepes.h>
#include <unistd.h>
pid_t fork(void);

数据类型pid_t是进程id的类型,在所有系统上它都是一个无符号整型。fork()的返回值很重要,在父进程中,这个从fork()中返回的值是子进程的进程id。在子进程中,fork()的返回值是0。在有错误的情况下,fork()会返回一个负值。请看示例:

#include <unistd.h>
#include <sys/types.h>
#include <stdio.h>
extern int errno;
int main()
{pid_t pid;pid = fork();if(pid == 0)printf("I'm the child\n");else if(pid > 0){printf("I'm the parent\n");printf("child pid is %d\n",pid);}else{/* pid < 0 */perror("Error forking");fprintf(stderr,"errno is %d\n",errno);}return 0;
}

当正在运行的程序执行第8行的fork系统调用时,就会创建一个新进程,该子进程与父进程具有完全相同的代码。这个例子中没有其他变量,但是如果父进程中碰巧有一个名为 x 的变量,其值为 17,那么子进程中也会有一个名为 x 的变量,其值为 17。 父子进程都会在fork这行以后开始运行,开发者区分父子进程的唯一方式,是通过fork的返回值。
下面这个图展示了在进程1234调用fork创建子进程1235之前和之后的进程图。
进程图
在正常情况下,调用 fork 不太可能失败。 但是,所有 Unix 系统对单个用户可以运行的进程总数以及进程表中同时存在的进程总数都有限制,因此如果创建新进程会导致超过两者中的任意一个限制,就会失败并返回负值,也不会创建子进程。
以下几条父子进程是一样的:

  • 文本段(代码段)
  • 所有变量的值(除了fork()的返回值)
  • 环境
  • 进程优先级
  • 控制终端
  • 当前工作目录
  • 打开文件描述符

要知道,尽管这些变量的值是一样的,所有不同的数据段,包括运行时的堆栈都已被拷贝,所以每个变量有两个实例,从而允许每个进程各自独立地更新这些数据。
父进程和子进程的区别如下:

  • 进程号
  • 父进程id
  • 有关资源分配的数据。 例如,子进程中的总运行时间设置为零,子进程的进程启动时间设置为当前时间

要知道每个进程除了init进程(init进程pid为0,并且是在启动时创建的第一个进程,在系统shut down之前一直运行)都有一个父进程,因此存在一个以 init 为根的进程树。

这是 fork 的作用:

  • 给子进程的数据和栈预留交换空间
  • 分配新的pid和内核进程结构
  • 初始化内核进程结构,某些字段(即用户id,组id,信号掩码)是从父进程拷贝的,某些字段设置为0(即cpu使用率),其它字段像ppid点是子进程的特定值
  • 为子进程分配地址转换映射
  • 增加子进程到进程集,共享父进程正在执行的文本区域
  • 复制父进程的数据和堆栈区域
  • 获取对子进程继承的共享资源的引用,比如打开的文件
  • 通过拷贝父进程寄存器初始化硬件上下文
  • 让子进程运行起来,并且将其放入调度进程队列
  • 安排子进程以零值从fork返回
  • 返回子进程的id给父进程

fork()运用的小练习

这是一个简短的程序。 假设本机上没有其他进程在运行,那么当创建一个新进程时,它的进程id比当前进程大1。
系统调用getpid()返回了调用它的进程id,系统调用getppid()返回父进程的进程id。
Note: 系统调用getpid和getppid不能失败。
该进程的父进程是 shell。 如果这个程序被编译并运行,并且在一次特定的运行过程中,它的进程id是1000,而shell的进程id是500,那么这个程序会打印什么?

#include <stdio.h>
#include <unistd.h>
#include <sys/types.h>
int main()
{pid_t p,x,y;x = getpid();printf("%d\n",x);	/* prints 1000 */y = getppid();printf("%d\n",y); /* prints 500 */p = fork();if(p > 0) {sleep(1); /* sleep for on second */printf("%d\n",p);x = getpid();printf("%d\n",x);y = getppid();printf("%d\n",y);exit(0);}else if(p == 0){printf("%d\n",p);x = getpid();printf("%d\n",x);y = getppid();printf("%d\n",y);exit(0);}return 0;
}

wait系统调用

父进程和子进程谁先运行是不确定的,这个术语叫竟态条件。因此这个程序有2个可能的输出:

I'm the child
I'm the parent, child pid is 22970

是其中一种,另一种是:

I'm the parent, child pid is 22970
I'm the child

父进程可以通过wait()系统调用来控制这一点,这个调用会导致在子进程消亡之前,父进程都是被阻塞的。如果父进程没有子进程,那么wait会立即返回。
这里是函数原型:

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

wait 的返回值是死亡子进程的进程 ID,这个简短的程序用来演示这一点。

#include <unistd.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <stdio.h>
extern int errno;
int main()
{pid_t pid,retval;int status;pid  = fork();if(pid == 0)printf("I'm the child\n");else if(pid > 0){retval = wait(&status);printf("I'm the parent,");printf("the child %d has died\n",retval);}else{ /* pid < 0 */perror("Error forking");fprintf(stderr,"errno is %d\n",errno);}return 0;
}

如果父进程碰巧先运行,它将执行 wait 系统调用,这会导致进程阻塞,它保持阻塞状态,直到子进程终止,此时一个信号被发送到父进程,唤醒它并返回到可运行状态。 如果子进程恰好先运行并在父进程运行之前终止,则对 wait 的调用将立即返回。 无论哪种情况,返回值都是子进程的进程 ID。

垂死孩子的父母可能想知道孩子是如何死亡的,所以子进程可能想向父进程发送消息,这两者都是使用传递给 wait 的参数来完成的。 因为这是一个引用参数,所以它的值是由系统调用设置的。 最低有效字节指示子进程如何死亡。 如果子进程正常终止(即进程到达 main() 的末尾或调用了 exit() 系统调用),则状态的最低字节将为零。 如果子进程异常终止(例如,由于内存异常错误(分段错误)或用户发送终止信号(cntl-c)而终止),则最低字节将设置为终止它的信号的数值 。

如果子进程通过调用 exit() 正常终止,则子进程可以将参数传递给 exit(),并且该值将位于status的第二个字节中。 例如,如果子进程调用 exit(5),则状态的二进制值将是:

00000000 00000000 00000101 00000000
十六进制表示为 00 00 05 00

科普一下C语言的运算符:

这里, >>是右移运算符,<< 是左移运算符,& 是按位与运算符,| 是按位或运算符。
开发者可以使用它们来检查状态的每个字节的值。 例如,要检查最低位字节是否为零,请使用按位与运算符和 0xFF(C 中数字常量前面的 0x 表示该值是十六进制的)。

  if (status & 0xFF != 0)  printf("The child died abnormally");

要检查第三个字节的值,请将值右移 8 位,然后使用 0xFF 执行逻辑与。

   int temp;....temp = status >> 8; /* right shift */temp = temp & 0xFF; printf("exit status was %d\n",temp);

如果一个进程在其所有子进程终止之前终止,则子进程将成为“孤儿”。 由于除 init 之外的所有进程都有父进程,因此“孤儿”进程会被 init 进程回收。

Zombies

  • 如果子进程在其父进程调用 wait() 之前死亡,则父进程可能会在稍后的某个时间调用 wait,并且需要有关已死亡子进程的状态的信息。 在这种情况下,进程并没有真正终止,只是保留了一些信息。
  • 已终止但其父进程未调用 wait() 的进程称为僵尸进程。 僵尸进程虽然不消耗其他资源,但在操作系统的进程表中占据一个槽位。
  • 当您使用 ps 命令检查计算机上的进程时,僵尸的状态已失效。
  • 当父级调用 wait 并获取有关该子级的信息或父级死亡时,僵尸将被终止,因为父级为 init 的僵尸将被杀死。

exec 系列系统调用

  • 由前文可知,由于 fork 只能创建其自身的副本,因此它的用途有限。
  • fork 调用通常与另一个系统调用 exec 一起使用,后者用全新的进程映像覆盖整个进程空间,新映像会从头开始执行。
  • Exec 实际上是有六个系统调用的族,其中最简单的是 execl 下面是函数原型:
     #include <unistd.h>  /* standard unix header file */int execl(const char *path, const  char  *arg0,  ...,  constchar *argn, NULL);

第一个参数 path 应该是可执行程序的路径名。 其余参数是要作为 argv 传递给该程序的参数。 参数列表以 NULL 结束。

这是一个简短的示例程序。

#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <wait.h>
extern int errno;
int main()
{pid_t p;p=fork();if (p == 0)  { /* child */execl("/bin/ls", "ls", "-l", NULL);perror("Exec failed");}else if (p > 0) {wait(NULL);printf("Child is done\n");}else {perror("Could not fork");}return 0;
}

该程序会创建一个新进程。 子进程的映像被命令 /bin/ls 的映像覆盖,并且使用两个参数 ls 和 -l 来调用它(回想一下,按照约定,argv[0] 是命令的名称),然后子进程运行 ls,当它终止时,父进程被唤醒,显示其消息,并且也终止。
内存中的进程布局
任何 exec 调用都可能失败,比较明显的失败原因是路径不是可执行文件的路径名。

  • 如果任何 exec 调用成功,则不会返回,因为调用进程的所有代码都会被新映像覆盖。
  • 如果失败,它会像任何其他系统调用一样返回负值,但不需要检查这一点,因为它只有在失败时才能返回。
  • 这就是为什么 perror 调用之前没有 if 的原因,程序到达该行的唯一方法是调用 execl 失败。

exec 系列中还有其他五个系统调用,都是用新的镜像覆盖当前进程,而他们的不同之处仅在于他们所接受的参数以及其他一些细微的方面。

int execv(const char *path, char *const argv[])
此调用与 execl 相同,只是它只接受两个参数,第二个参数是参数向量。
示例程序:

#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <wait.h>
extern int errno;
int main()
{pid_t p;char *args[100];args[0]="ls";args[1]="-l";args[2]=NULL;p=fork();if (p == 0)  { /* child */execv("/bin/ls", args);perror("Exec failed");}else if (p > 0) {wait(NULL);printf("Child is done\n");}else {perror("Could not fork");}return 0;
}

int execle(const char *path, const char *arg0, …, const char *argn, char * /NULL/, char *const envp[])
与 execl 一样,此调用采用可变数量的参数,但其最终参数是表示新环境的向量。
默认情况下,执行的进程的环境与父进程的环境相同,但这允许用户更改环境。

#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <wait.h>
extern int errno;
int main()
{pid_t p;char *envp[100];envp[0]="USER=ingallsr";envp[1]="HOME=/cs/ingallsr";envp[2]="PWD=/cs/ingallsr/public.html/OS/c4";envp[3]=NULL;    p=fork();if (p == 0)  { /* child */execle("/bin/ls", "ls", "-l", NULL, envp);perror("Exec failed");}else if (p > 0) {wait(NULL);printf("Child is done\n");}else {perror("Could not fork");}return 0;
}

int execve(const char *path, char *const argv[], char *const envp[])
与 execv 相同,只是它传递环境向量作为第三个参数。

int execlp(const char *file, const char *arg0, …, const char *argn, char * /NULL/)
这与上面的调用不同,它的第一个参数只是文件名而不是路径,并且调用在 PATH 环境变量中搜索可执行文件。

#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <wait.h>
extern int errno;
int main()
{pid_t p;p=fork();if (p == 0)  { /* child */execlp("ls", "ls", "-l", NULL);perror("Exec failed");}else if (p > 0) {wait(NULL);printf("Child is done\n");}else {perror("Could not fork");}return 0;
}

int execvp(const char *file, char *const argv[])
与 execlp 相同,只是参数作为单个参数传递。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/221919.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【QT】C++/Qt使用Qt自带工具windeployqt打包

基本操作 运行项目debug或者release 将运行后的可执行文件单独放到一个文件夹中 根据项目使用的kits来选择Qt的打包工具 打开工具后移动到exe文件夹下执行windeployqt xxx.exe 预览图 问题 打包后再其他电脑上运行出现下图错误 将自己电脑的这个文件拷到可执行文件夹中既…

word增加引用-endnote使用

使用软件&#xff1a; web of science https://webofscience.clarivate.cn/wos/alldb/basic-search; Pub Med等数据库endnote20 链接: https://pan.baidu.com/s/1VQMEsgFY3kcpCNfIyqEjtQ?pwdy1mz 提取码: y1mz 复制这段内容后打开百度网盘手机App&#xff0c;操作更方便哦 --…

【计算机网络】TCP心跳机制、TCP粘包问题

创作不易&#xff0c;本篇文章如果帮助到了你&#xff0c;还请点赞 关注支持一下♡>&#x16966;<)!! 主页专栏有更多知识&#xff0c;如有疑问欢迎大家指正讨论&#xff0c;共同进步&#xff01; 更多计算机网络知识专栏&#xff1a;计算机网络&#x1f525; 给大家跳段…

MySQL的增删改查(进阶)--上

1. 数据库约束 1.1 约束类型 NOT NULL - 指示某列不能存储 NULL 值。 UNIQUE - 保证某列的每行必须有唯一的值。 DEFAULT - 规定没有给列赋值时的默认值。 PRIMARY KEY - NOT NULL 和 UNIQUE 的结合。确保某列&#xff08;或两个列多个列的结合&#xff09;有唯一标识&#xf…

01AVue入门(持续学习中)

1.使用AVue开发简单的前端页面直接简单到起飞,他是Element PlusVueVite开发的,不需要向元素的前端代码一样一个组件要传很多参数,他可以使用Json文本来控制我们要传入的数据结构来决定显示什么 //我使用的比较新,我们也可以使用cdn直接使用script标签直接引入 2.开发中遇到的坑…

【C++】初识模板

本文目录 1. 泛型编程2. 函数模板2.1 函数模板概念2.2 函数模板格式2.3 函数模板的原理2.4 函数模板的实例化2.5 模板参数的匹配原则 3. 类模板3.1 类模板的定义格式3.2 类模板的实例化 1. 泛型编程 如何实现一个通用的交换函数呢&#xff1f; void Swap(int& left, int&…

PYthon Pandas 时间序列数据重采样-resample()方法(第23讲)

PYthon Pandas 时间序列数据重采样-resample()方法(第23讲)         🍹博主 侯小啾 感谢您的支持与信赖。☀️ 🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔ꦿ🌹꧔…

windows远程桌面怎么开启?

文章目录 如下三种开启方式&#xff0c;任选一即可方式1.在系统属性中开启远程桌面方式2.通过系统设置开启远程桌面方式3.注册表编辑器开启远程桌面使用远程桌面 如下三种开启方式&#xff0c;任选一即可 配合 组网工具或者内网穿透 超级爽 局域网其他pc如何访问宿主机虚拟机IP…

智能优化算法应用:基于未来搜索算法3D无线传感器网络(WSN)覆盖优化 - 附代码

智能优化算法应用&#xff1a;基于未来搜索算法3D无线传感器网络(WSN)覆盖优化 - 附代码 文章目录 智能优化算法应用&#xff1a;基于未来搜索算法3D无线传感器网络(WSN)覆盖优化 - 附代码1.无线传感网络节点模型2.覆盖数学模型及分析3.未来搜索算法4.实验参数设定5.算法结果6.…

C#线程的定义和使用方法

引言 在C#编程语言中&#xff0c;线程是一种并发执行的机制&#xff0c;允许程序同时执行多个任务。线程的使用使得我们能够利用计算机的多核处理器&#xff0c;实现程序的并行执行&#xff0c;提高系统的性能和响应能力。本文将详细介绍C#中线程的定义和使用方法&#xff0c;涵…

【SpringBoot快速入门】(4)SpringBoot项目案例代码示例

目录 1 创建工程3 配置文件4 静态资源 之前我们已经学习的Spring、SpringMVC、Mabatis、Maven&#xff0c;详细讲解了Spring、SpringMVC、Mabatis整合SSM的方案和案例&#xff0c;上一节我们学习了SpringBoot的开发步骤、工程构建方法以及工程的快速启动&#xff0c;从这一节开…

◢Django md5加密与中间件middleware

utils文件夹是重新建立的&#xff08;与migrations同级&#xff09;&#xff0c;该文件夹下主要存放工具&#xff0c;就像static文件夹下只存放静态文件一样 加密 在utils文件夹下建立encrypt.py文件 from django.conf import settings import hashlib def md5(data_string)…

【JavaWeb学习笔记】13 - JSP浏览器渲染技术

JSP 一、JSP引入 1.JSP现状 1.目前主流的技术是前后端分离(比如: Spring Boot Vue/React),我们会讲的.[看一下] 2. JSP技术使用在逐渐减少&#xff0c;但使用少和没有使用是两个意思&#xff0c;一些老项目和中小公司还在使用JSP&#xff0c;工作期间,你很有可能遇到JSP …

手写单链表(指针)(next域)附图

目录 创建文件&#xff1a; 具体实现&#xff1a; 首先是头插。 注意&#xff1a;一定要注意&#xff1a;再定义tmp时&#xff0c;要给它赋一个初始值&#xff08;推荐使用 new list_next) 接着是尾插&#xff1a; 随后是中间插&#xff1a; 然后是最简单的改值&#xf…

Linux笔记---系统信息

&#x1f34e;个人博客&#xff1a;个人主页 &#x1f3c6;个人专栏&#xff1a;Linux学习 ⛳️ 功不唐捐&#xff0c;玉汝于成 目录 前言 命令 1. uname - 显示系统信息 2. hostname - 显示或设置系统主机名 3. top - 显示系统资源使用情况 4. df - 显示磁盘空间使用情…

IDEA Community html文件里的script标签没有syntax highlighting的解决方案

在网上找到的解决方法有的是针对Ultimate版本才可以下载的plugin&#xff0c;对我所用的Community版本无法生效&#xff0c;找了一圈最后在stackoverflow上找到一个有效的方案&#xff0c;给需要的小伙伴分享一下&#xff1a;IntelliJ Community Edition: Javascript syntax hi…

Gemini 1.0:Google推出的全新AI模型,改变生成式人工智能领域的游戏规则!

Gemini 1.0&#xff1a;Google推出的全新AI模型&#xff0c;将改变生成式人工智能领域的游戏规则&#xff01; &#x1f3a5; 屿小夏 &#xff1a; 个人主页 &#x1f525;个人专栏 &#xff1a; IT杂谈 &#x1f304; 莫道桑榆晚&#xff0c;为霞尚满天&#xff01; 文章目录 …

Python之set集合的相关介绍

认识python中的set集合及其用法 python中&#xff0c;集合(set)是一个无序排列&#xff0c;可哈希&#xff0c;支持集合关系测试,不支持索引和切片操作&#xff0c;没有特定语法格式&#xff0c;只能通过工厂函数创建.集合里不会出现两个相同的元素&#xff0c;所以集合常用来…

鸿蒙Harmony4.0开发-ArkTS基础知识运用

概念 1.渲染控制语法&#xff1a; 条件渲染&#xff1a;使用if/else进行条件渲染。 Column() {if (this.count > 0) {Text(count is positive)} }循环渲染&#xff1a;开发框架提供循环渲染&#xff08;ForEach组件&#xff09;来迭代数组&#xff0c;并为每个数组项创建…

云原生系列2-CICD持续集成部署-GitLab和Jenkins

1、CICD持续集成部署 传统软件开发流程&#xff1a; 1、项目经理分配模块开发任务给开发人员&#xff08;项目经理-开发&#xff09; 2、每个模块单独开发完毕&#xff08;开发&#xff09;&#xff0c;单元测试&#xff08;测试&#xff09; 3、开发完毕后&#xff0c;集成部…