操作系统系列：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.mzph.cn/news/233679.shtml

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

相关文章

java参数校验

java参数校验

引入依赖 <!--参数效验--><dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-validation</artifactId></dependency><!--Length参数效验--><dependency><groupId>org.hib…
阅读更多...
【python基础】-- yarn add 添加依赖的各种类型

【python基础】-- yarn add 添加依赖的各种类型

目录 1、安装 yarn 1.1 使用npm安装 1.2 查看版本 1.3 yarn 淘宝源配置 2、安装命令说明 2.1 yarn add&#xff08;会更新package.json和yarn.lock&#xff09; 2.2 yarn install 2.3 一些操作 2.3.1 发布包 2.3.2 移除一个包 2.3.3 更新一个依赖 2.3.4 运行脚本 …
阅读更多...
【设计模式--行为型--备忘录模式】

【设计模式--行为型--备忘录模式】

设计模式--行为型--备忘录模式 备忘录模式定义结构案例实现白箱备忘录模式黑箱备忘录模式 优缺点使用场景 备忘录模式 定义 又叫快照模式&#xff0c;在不破坏封装性的前提下&#xff0c;捕获一个对象的对象的内部状态&#xff0c;并在该对象之外保存这个状态&#xff0c;以便…
阅读更多...
Java 自定义注解

Java 自定义注解

Java 自定义注解&#xff0c; 以及interface Target Retention Around Before After ProceedingJoinPoint JoinPoint 等用法 注解应用非常广泛&#xff0c;我们自定义注解能简化开发各种各种业务 一、关键字解释 (1) 定义注解时&#xff0c;关键字 interface 来表示注解类的类…
阅读更多...
Spring Boot学习随笔- 实现AOP（JoinPoint、ProceedingJoinPoint、自定义注解类实现切面）

Spring Boot学习随笔- 实现AOP（JoinPoint、ProceedingJoinPoint、自定义注解类实现切面）

学习视频&#xff1a;【编程不良人】2021年SpringBoot最新最全教程 第十一章、AOP 11.1 为什么要使用AOP 问题 现有业务层开发存在问题 额外功能代码存在大量冗余每个方法都需要书写一遍额外功能代码不利于项目维护 Spring中的AOP AOP&#xff1a;Aspect 切面 Oriented 面向…
阅读更多...
竞赛保研 python 机器视觉 车牌识别 - opencv 深度学习 机器学习

竞赛保研 python 机器视觉 车牌识别 - opencv 深度学习 机器学习

1 前言 &#x1f525; 优质竞赛项目系列&#xff0c;今天要分享的是 &#x1f6a9; 基于python 机器视觉 的车牌识别系统 &#x1f947;学长这里给一个题目综合评分(每项满分5分) 难度系数&#xff1a;3分工作量&#xff1a;3分创新点&#xff1a;3分 &#x1f9ff; 更多资…
阅读更多...
【Python 基础】-- 在 mac OS 中安装 多个 python 版本

【Python 基础】-- 在 mac OS 中安装 多个 python 版本

目录 1、需求 2、实现 2.1 安装 pyenv 2.2 安装 pyenv-virtualenv 2.3 配置环境变量 2.4 创建 python 3.9.9 的环境 2.5 激活环境&#xff0c;在当前项目目录中使用&#xff0c;即执行 python 1、需求 由于项目所依赖的 python 版本有多个&#xff0c;需要在不同的 pyth…
阅读更多...
主从reactor多线程实现

主从reactor多线程实现

现场模型图片&#xff0c;从网上找的 出于学习的目的实现的&#xff0c;如有不对的地方欢迎留言知道&#xff0c;简单实现了http的请求&#xff0c;可通过postman进行访问 启动项目&#xff1a; 返回数据示例 postman请求 附上源码&#xff0c;有问题直接看源码吧
阅读更多...
智能优化算法应用：基于闪电连接过程算法3D无线传感器网络(WSN)覆盖优化 - 附代码

智能优化算法应用：基于闪电连接过程算法3D无线传感器网络(WSN)覆盖优化 - 附代码

智能优化算法应用&#xff1a;基于闪电连接过程算法3D无线传感器网络(WSN)覆盖优化 - 附代码 文章目录 智能优化算法应用&#xff1a;基于闪电连接过程算法3D无线传感器网络(WSN)覆盖优化 - 附代码1.无线传感网络节点模型2.覆盖数学模型及分析3.闪电连接过程算法4.实验参数设定…
阅读更多...
Flink实时电商数仓（二）

Flink实时电商数仓（二）

GitLab的用户创建和推送 在root用户-密码界面重新设置密码添加Leader用户和自己使用的用户使用root用户创建相应的群组使用Leader用户创建对应的项目设置分支配置为“初始推送后完全保护”设置.gitignore文件&#xff0c;项目配置文件等其他非通用代码无需提交安装gitlab proj…
阅读更多...
(JAVA)-创建多线程的方式

(JAVA)-创建多线程的方式

1.继承Thread类 1.创建一个继承字Thread类的子类 2.重写Thread类的run方法 public class MyThread extends Thread{Overridepublic void run() {for (int i 0; i < 100; i) {System.out.println(getName()"hello");}} }3.创建Thread类的子类对象 4.通过子类对象调…
阅读更多...
HarmonyOS应用开发实战—开箱即用的应用首页页面【ArkTS】【鸿蒙专栏-34】

HarmonyOS应用开发实战—开箱即用的应用首页页面【ArkTS】【鸿蒙专栏-34】

一.HarmonyOS应用开发实战—开箱即用的应用首页页面【ArkTS】【鸿蒙专栏-34】 1.1 项目背景 HarmonyOS（鸿蒙操作系统）是华为公司推出的一种分布式操作系统。它被设计为一种全场景、全连接的操作系统，旨在实现在各种设备之间的无缝协同和共享，包括智能手机、平板电脑、智能…
阅读更多...
轻量级购物小程序H5产品设计经典样例

轻量级购物小程序H5产品设计经典样例

主要是看到这个产品设计的不错值得借鉴特记录如下&#xff1a; 不过大多数购物app都大致相同&#xff0c;这个算是经典样例&#xff0c;几乎都可以复制&#xff0c;我第一次使用&#xff0c;感觉和顺畅。看上去产品是经过打磨的&#xff0c;布局非常好。内容也很丰富。支持异业…
阅读更多...
Leetcode—128.最长连续序列【中等】

Leetcode—128.最长连续序列【中等】

2023每日刷题&#xff08;六十四&#xff09; Leetcode—128.最长连续序列 实现代码 class Solution { public:int longestConsecutive(vector<int>& nums) {unordered_set<int> s;for(auto num: nums) {s.insert(num);}int longestNum 0;for(auto num: s) …
阅读更多...
LeetCode day27

LeetCode day27

LeetCode day27 —今天做到树&#xff0c;&#xff0c;&#xff0c;对不起我的数据结构老师啊~~~ 7. 整数反转 给你一个 32 位的有符号整数 x &#xff0c;返回将 x 中的数字部分反转后的结果。 如果反转后整数超过 32 位的有符号整数的范围 [−231, 231 − 1] &#xff0c…
阅读更多...
【AI图集】猫狗的自动化合成图集

【AI图集】猫狗的自动化合成图集

猫是一种哺乳动物&#xff0c;通常被人们作为宠物饲养。它们有柔软的毛发&#xff0c;灵活的身体和尖锐的爪子。猫是肉食性动物&#xff0c;主要以肉类为食&#xff0c;但也可以吃一些蔬菜和水果。猫通常在夜间活动&#xff0c;因此它们需要足够的玩具和活动空间来保持健康和快…
阅读更多...
Golang（壹）

Golang（壹）

爱情不需要华丽的言语&#xff0c;只需要默默的行动。 简介 应用领域&#xff1a; 下载vscode 使用vscode Go下载 - Go语言中文网 - Golang中文社区 下载sdk 解压到文件中&#xff0c;打开sdk解压文件 穿插dos操作系统知识点&#xff1a; 测试go语言环境 看到vscode 的目录结…
阅读更多...
SpringIOC之AnnotatedElementKey

SpringIOC之AnnotatedElementKey

博主介绍&#xff1a;✌全网粉丝5W&#xff0c;全栈开发工程师&#xff0c;从事多年软件开发&#xff0c;在大厂呆过。持有软件中级、六级等证书。可提供微服务项目搭建与毕业项目实战&#xff0c;博主也曾写过优秀论文&#xff0c;查重率极低&#xff0c;在这方面有丰富的经验…
阅读更多...
Unity学习笔记（零基础到就业）｜Chapter01:C#入门

Unity学习笔记（零基础到就业）｜Chapter01:C#入门

Unity学习笔记&#xff08;零基础到就业&#xff09;&#xff5c;Chapter01:C#入门 前言一、控制台输入输出语句二、初识变量1.一些好用的tips2.变量声明的固定写法3.变量类型 三、变量的本质1.变量的存储空间2.变量的本质&#xff1a;2进制 四、变量的命名规范1.必须遵守的规则…
阅读更多...
centos开机自启动实战小案例

centos开机自启动实战小案例

1.编写一个我们需要做事的脚本 #!/bin/bash # 打印 "Hello" echo "Hello,Mr.Phor" # 为了更好的能看到效果 我们把这段文本放置到一个文件中 如果重启能够看到 /a.txt文件 我们实验成功 echo "hahahahahahahaha" > /a.txt #每次开机 执行…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023