进程控制 -- 进程创建(fork)，进程终止(exit, _exit)，进程等待(wait, waitpid)，进程程序替换(exec*系列函数)

原创

于 2025-01-04 12:46:46 发布

· 606 阅读

17 ·

版权

文章标签：

#服务器 #linux #运维

1. 进程创建

1.1 fork函数

在Linux系统中fork函数用来从一个已存在的进程中创建一个新进程，新进程为子进程，而原进程为父进程。

使用fork函数需要包含头文件 <unistd.h> 和 <sys/types.h>。原型如下：

#include <sys/types.h>
#include <unistd.h>

pid_t fork(void);

返回值：子进程中返回0，父进程返回子进程的pid，出错返回-1.

进程调用fork，当控制转移到内核中的fork代码后，内核要做以下几个工作：

(1) 分配新的内存块和内核数据结构（task_struct）给子进程。

(2) 将父进程部分数据结构内容（代码，数据以及页表等）拷贝到子进程。

(3) 添加子进程到系统进程列表中。

(4) fork返回，开始调度器调度。

#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>

int main()
{
        pid_t pid;
        printf("Before: pid is %d\n", getpid());
        pid = fork();
        if (pid == -1)
        {
                perror("fork()");
                exit(1);
        }
        printf("After: pid is %d, fork return %d\n", getpid(), pid);
        sleep(1);
        return 0;
}

fork之前只有父进程，pid为678777。fork之后有父子进程共享代码和数据，第一行是父进程执行的结果，pid为678777，获取的fork函数返回值为子进程pid：678778。第二行是子进程执行的结果，pid为678778，获取的fork函数返回值为0。

1.2 写时拷贝

通常情况下，父子进程代码共享，父子进程不写入时，数据也是共享的，当任意一方试图写入，便会以写时拷贝的方式各自有一份副本。如下图：

在创建子进程之后，数据段的数据就会变成只读的，在对数据段进行修改之后，操作系统发现对只读的字段进行修改，就会产生错误，这种错误导致了写时拷贝。

知识点1：
为什么要写时拷贝？

(1) 减少创建子进程时，变量的拷贝，从而减少创建子进程的时间。

(2) 写时拷贝只拷贝发生修改的变量，不会拷贝全部变量，减少内存浪费。写时拷贝时以各种延时申请技术，可以提高整机内存的使用率。

1.3 fork常规用法

(1) 一个父进程创建一个子进程，希望父子进程同时执行不同的代码段。例如：父进程等待客户端请求，生成子进程来处理请求。

(2) 一个进程要执行一个不同的程序。例如子进程从fork返回后，调用exec函数。

2. 进程终止

进程终止的本质是释放系统资源，就是释放进程申请的相关内核数据结构和对应的数据和代码。

2.1 进程退出场景

(1) 代码运行完毕，结果正确。

(2) 代码运行完毕，结果不正确。比如代码中要打开一个文件，打开失败直接return.

(3)代码异常终止。比如再代码中进行除0操作或者遇到野指针导致程序崩溃。

2.2 进程常见退出方法

main函数的返回值，通常表明程序的执行情况，反映上述两种情况，结果正确通常返回0，结果不正确通常返回非0。不同的返回值表明不同的出错原因。

一般main函数的返回值是返回给父进程bash的。可以通过 echo $? 查看返回值。如下例子：

#include <stdio.h>

int main()
{
        FILE* fp = fopen("log.txt", "r");
        if (fp == NULL)
                return 1;
        return 0;
}

上述函数以只读的方式打开一个不存在的文件，正常情况下肯定会出错，返回 1。通过 echo $? 查看上述程序的返回值。

main函数的返回值称为进程退出码。echo $? 的作用是打印最近一个程序(进程)退出时的退出码。

常见的退出方式有以下几种：

(1) main函数中return返回退出码退出。

(2) 调用exit函数。

(3)_exit

知识点1：
函数中的return语句，当一个a函数调用一个b函数时，b函数执行完通过return返回一个整数，但是该整数是一个局部变量，是如何返回给a函数的？

return语句返回一个整数，是先把局部变量拷贝到寄存器中，然后再把寄存器中的值返回给a函数。

知识点2：
子进程退出时，会把进程退出码写到自己的task_struct中，父进程在子进程僵尸状态的时候读取子进程的退出码。

2.2.1 退出码

退出码（退出状态）可以告诉我们最后一次执行的命令的状态。在命令结束后，我们可以知道命令是成功完成还是以错误结束的。退出代码为0表示执行成功。 0 以外的任何代码都被视为不成功。代码异常退出（进程收到信号），退出码无意义了。

#include <stdio.h>
#include <string.h>

int main()
{
        for (int i = 0; i < 150; i++)
        {
                printf("%d->%s\n", i, strerror(i));
        }

        return 0;
}

通过上述代码可以查看标准C语言中常见的错误码对应的错误信息，一共134个。

ls -l hello.txt，查看一共不存在的hello.txt 文件，退出码就为2.

2.2.2 exit函数

任何地方调用exit函数，表示进程结束。并返回给父进程bash子进程的退出码。

#include <unistd.h>
void exit(int status);
//参数：status 定义了进程的终⽌状态，⽗进程通过wait来获取该值

下面代码进行演示：

#include <stdio.h>
#include <stdlib.h>

void fun()
{
        printf("fun begin!\n");
        exit(40);
        printf("fun end!\n");
}

int main()
{
        fun();
        printf("main!\n");

        return 0;
}

2.2.3 _exit函数

exit是C语言提供的接口，_exit是系统调用。

_exit和exit函数的效果一样，exit中封装了_exit，exit最后也会调用_exit，但在调用_exit之前，还做了其他工作。

_eixt和exit的区别是：调用exit()退出进程时，会进行缓冲区的刷新。调用_exit退出进程时，不会进行缓冲区的刷新。

#include <stdio.h>
#include <stdlib.h>

int main()
{
        printf("hello world!");
        exit(40);

        return 0;
}

最低0.47元/天解锁文章