Linux内核之 进程管理

正如我们提到过，进程是Linux系统中仅次于文件的基本抽象概念。正在运行的进程不仅仅是二进制代码，而是数据、资源、状态和虚拟的计算机组成。我们今天主要介绍进程的概念，组成，运行状态和生命周期等。

1、进程的概念

内核把进程列表存放在任务队列（task list）的双向循环链表中。链表中的每一个节点都是类型为task_struct称为进程描述符（process descriptor）的结构。

每个进程描述符都包含了一个具体进程的所有信息。在32位机器上，大约有1.7KB。所以它包含了前面进程的定义中提到的“打开的文件，挂起的信号......”诸多信息。

Linux内核通过slab分配器分配task_struct结构，这样能达到对象复用和缓存着色的目的。在Linux2.6后面的内核中，每个任务的新的thread_info结构在内核栈的尾端分配，该结构中task指针存放的是指向该任务实际task_struct的指针。

而事实上，Linux内核栈是比较小的，在x86上，32位机的内核栈8KB，64位机是16KB。当然可以配置，每个处理器也都有自己的栈。但是也说明了内核栈不大，而一个进程描述符占了1.7KB，已经是相对较大了。

内核通过一个唯一的进程标识值PID来标识每个进程。PID是一个数，实际上为int类型。PID的最大默认值为32768。当然可以配置。

这个值代表了系统中可以同时存在的进程的最大数目，值越小，转一圈就越快。但是值一大，如果要切换进程，又成了一问题。该PID存在task_struct结构中，实际上最终目的是得到进程描述符。所以通过current宏找到当前正在运行的进程的速度显得尤为重要，硬件体系结构不一样，处理不一样。有的通过专门的寄存器存放当前进程描述符指针。而x86寄存器有限，只能在内核栈尾端创建thread_info结构，通过计算偏移间接地查找task_struct结构。

3、进程状态 

TASK_RUNNING中我们提到了用户空间和内核空间，我们在这里在从进程状态来看看进程上下文的定义。

进程上下文在上一篇中提到过。

可执行程序代码是进程的重要组成部分，这些代码从一个可执行文件载入到进程的地址空间执行。

一般程序在用户空间执行，当一个程序执行了系统调用或者触发了某个异常，它就陷入内核空间。此时，我们称内核“代表进程执行”并处于进程上下文中。

注1：系统调用和异常处理程序是内核与外界的接口的统称，即内核的所有访问都必须通过这些接口。

注2：中断上下文在基础概念中亦提过，在中断上下文中，系统不代表进程执行，而是执行了一个中断处理程序，而往往和驱动相关。所以不会有进程干扰它，此时也不会存在进程上下文。也可以理解为内核要么处于进程上下文中，要么处于中断上下文中，当然也可以休息用户空间工作即可。 

5、进程ID与进程树

Unix的进程创建很特别。许多其他的操作系统都提供了产生（spawn）进程的机制，首先在新的地址空间里创建进程，读入可执行文件，最后开始执行。

Unix与之不同，将上述的步骤分解到两个单独的函数中去执行：fork()和exec()。exec()代表了execve()等一系列函数。

首先创建一个新的进程，然后，通过exec系统调用把新的二进制程序加载到该进程中。 

6.1 fork()系统调用

传统的fork()系统调用直接把所有的资源复制给新创建的进程。现代的Linux操作系统使用写时复制（copy-on-write COW）页来实现。

写时复制是一种可以推迟甚至免除复制数据的技术（惰性算法），内核此时并不复制整个进程地址空间，父子进程共享同一份拷贝。

只有在需要写入时，数据才会进行复制，而且是分页来处理，某一页被修改了会产生缺页中断，该页才需要复制，所以使各个进程拥有各自的拷贝。所以加快了进程的创建。

再回到fork()，内核有意选择子进程首先执行。因为一般子进程马上调用exec()函数，这样避免写时复制的额外开销。因为如果父进程首先执行的话，有可能开始向地址空间写入。

通过fork()系统调用，可以创建一个和当前进程一样的进程。新进程称为原进程的“子进程”，原进程称为“父进程”。在子进程中，成功的fork()返回0；在父进程中，fork()会返回子进程的pid。

除了一些本质性区别，父子进程在其他各方面都是相同的：

• 子进程的资源统计信息清零；
• 所有挂起的信号都会被清除，也不会被子进程继承；
• 所有文件锁也都不会被子进程所继承。

vfork()

Microsoft Windows或Sun Solaris等操作系统在内核中提供了专门支持线程的机制。而Linux操作系统中，线程看起来就像是一个普通的进程。

在Linux内核中，并没有线程的概念。所以它的创建和普通进程类似，只是需要选择不同的参数。 

clone(CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND, 0);

这些参数表示父子俩共享地址空间、文件系统资源、文件描述符和信号处理函数。

对比一下普通进程fork()的实现是：

clone(SIGCHILD, 0);

所以，传递给clone()的参数标志决定了新创建进程的行为方式和父子进程之间共享的资源种类。

内核线程

前面提到过exec()不是一具体函数，而是代表了6个函数，如下。

 execl()     execlp()     execle()

 execv()     execvp()     execve()

第一行三个函数表示参数是可变的，第二行表示参数是固定的，即可变的变成了数组。l表示list，v表示vector。

第二列的p表示会在用户的绝对路径下查找可执行文件，即参数指定的文件名必须在用户路径下。p代表path。

第三列的e表示会为新进程提供新的环境变量。

六个函数只有execve()是唯一的系统调用，其他是在其基础上封装的C库函数。

一个exec()系统调用会把二进制程序加载到内存中，替换地址空间原来的内容，并开始执行，这个过程称为“执行（executing）”一个新的程序。

execl("/bin/vi", "vi", NULL); 

第一个参数表示二进制程序的路径，第二个参数一般表示程序名称，该程序是“vi”编辑器。NULL表示最后的参数，前面提到过l代表了可变参数。

execl("/bin/vi", "vi", "/home/test/123.txt", NULL); 

上面的示例加了一个参数，该参数表示vi编辑的对象。

成功的execl调用不仅改变了地址空间和进程映像，还改变了进程的其他一些属性：

• 所有挂起的信号都会丢失。
• 捕捉到的所有信号都会还原为默认处理方式，因为信号处理函数已经不在地址空间了。
• 丢弃所有内存锁。
• 大多数线程的属性还原成默认值。
• 重置大多数进程相关的统计信息。
• 清空和进程内存地址空间相关的所有数据，包括所有映射的文件。
• 清空所有只存在于用户空间的数据，包括C库的一些功能（如atexit()的函数行为）。

 但是进程的某些属性还是没有改变，如pid，ppid，优先级，所属的用户和组。

还有文件描述符也被继承了下来，所以实际操作中一般会在调用exec前关闭打开的文件，当然也可以通过fcntl()，让内核去自动完成关闭操作。

6.3 进程终止

一般来说，进程的析构是自身引起的。它发生在进程调用exit()系统调用时，即可以显示调用，也可以隐式地从某个程序的主函数返回（如C语言编译器会自动在main()函数的返回点加上exit()）。当然也可能被动的终结，比如信号通知或异常处理等。不管进程如何终结，该任务大部分通过do_exit()来完成。

在终止进程之前，C库会按顺序执行以下关闭进程的步骤。

1. 调用任何由atexit()或on_exit()注册的函数，和在系统中注册时顺序相反。
2. 清空所有已打开的标准I/O流。
3. 删除由tmpfile()函数创建的所有临时文件。

这些步骤完成了在用户空间需要做的所有工作，最后exit()会调用_exit()，内核可以处理终止进程的剩余工作。

内核清理进程创建的、不再使用的资源，包括但不局限于：分配内存、打开文件和System V的信号量。清理完成后，内核会摧毁进程并告知父进程其子进程已近终止。

注：atexit()是POSIX标准函数，而on_exit()是SunOS 4定义的，新版本的Solaris也不再支持了。atexit()主要用来指定的注册函数作为终止函数。

按上述方式将进程终结后，系统还保留了它的进程描述符，在父进程获得已经终结的子进程的信息后，或者通知内核它并不关注那些信息后，子进程的task_struct结构才会被释放。

等待子进程终止

简单测试

#include 
#include 
#include 
#include 

int main(){
    int ret;
    pid_t pid;
    pid_t pidSelf = getpid();

    printf("hello, my pid is %d~\n", getpid());

    pid = fork();
    
   if (pid == -1)
       return -1;
   else if (pid == 0){
       printf("hello, child process, my pid is %d\n", getpid());
       //exit(-1);
       sleep(5);
   }
   else if (pid > 0){
       printf("hello, father process, my pid is %d!\n", getpid());
   }    

    printf("hello world, my pid is %d!\n", getpid());
    
    waitpid(-1, NULL, 0);

    printf("end, my pid is %d.\n", getpid());
    return ret;
}

输出结果：

hello, my pid is 2816~
hello, father process, my pid is 2816!
hello world, my pid is 2816!
hello, child process, my pid is 2817     //而后暂停5s.
hello world, my pid is 2817!
end, my pid is 2817.
end, my pid is 2816.

参考资料：

《Linux内核设计与实现》原书第三版