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

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

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

fork系统调用

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

这是函数原型:

c 复制代码
#include <sys/tepes.h>
#include <unistd.h>
pid_t fork(void);

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

c 复制代码
#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,那么这个程序会打印什么?

c 复制代码
#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个可能的输出:

c 复制代码
I'm the child
I'm the parent, child pid is 22970

是其中一种,另一种是:

c 复制代码
I'm the parent, child pid is 22970
I'm the child

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

这里是函数原型:

c 复制代码
 #include <sys/types.h>
 #include <sys/wait.h>

 pid_t wait(int *stat_loc);

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

c 复制代码
#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 表示该值是十六进制的)。

c 复制代码
  if (status & 0xFF != 0)  
     printf("The child died abnormally");

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

c 复制代码
   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 下面是函数原型:
c 复制代码
     #include <unistd.h>  /* standard unix header file */

     int execl(const char *path, const  char  *arg0,  ...,  const
     char *argn, NULL);

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

c 复制代码
#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 相同,只是它只接受两个参数,第二个参数是参数向量。

示例程序:

c 复制代码
#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 一样,此调用采用可变数量的参数,但其最终参数是表示新环境的向量。

默认情况下,执行的进程的环境与父进程的环境相同,但这允许用户更改环境。

c 复制代码
#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 环境变量中搜索可执行文件。

c 复制代码
#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 相同,只是参数作为单个参数传递。

相关推荐
码农君莫笑11 分钟前
Blazor项目中使用EF读写 SQLite 数据库
linux·数据库·sqlite·c#·.netcore·人机交互·visual studio
无为之士32 分钟前
Linux自动备份Mysql数据库
linux·数据库·mysql
MARIN_shen44 分钟前
Marin说PCB之POC电路layout设计仿真案例---06
网络·单片机·嵌入式硬件·硬件工程·pcb工艺
荒古前1 小时前
龟兔赛跑 PTA
c语言·算法
岑梓铭1 小时前
(CentOs系统虚拟机)Standalone模式下安装部署“基于Python编写”的Spark框架
linux·python·spark·centos
努力学习的小廉1 小时前
深入了解Linux —— make和makefile自动化构建工具
linux·服务器·自动化
MZWeiei1 小时前
Zookeeper基本命令解析
大数据·linux·运维·服务器·zookeeper
Asa3191 小时前
STM32-按键扫描配置
stm32·单片机·嵌入式硬件
7yewh1 小时前
嵌入式Linux QT+OpenCV基于人脸识别的考勤系统 项目
linux·开发语言·arm开发·驱动开发·qt·opencv·嵌入式linux
小张认为的测试1 小时前
Linux性能监控命令_nmon 安装与使用以及生成分析Excel图表
linux·服务器·测试工具·自动化·php·excel·压力测试