Linux内核之进程管理《Linux内核设计与实现》

文章相关视频详解：（文末附上基于Linux内核4.0版本学习路线思维导图）

详解：讲解Linux内核 进程管理，调度器的5种实现 看完视频还不会来找我。

1、进程的概念

进程就是处于执行器的程序（目标代码放在某种存储介质上）。

但进程并不仅仅局限于一个可执行程序代码，通常还要包含其他资源，比如：

打开的文件，挂起的信号，内核内部数据，处理器状态，一个或多个具有内存映射的内存地址空间，一个或多个可执行线程，存放全局变量的数据段等。

内核需要有效而又透明地管理所有细节。

执行线程（thread of execution），简称线程（thread），是进程中活动的对象。每个线程都拥有自己的虚拟存储器，包括程序计数器，栈，一组进程寄存器。

一个进程只有一个虚拟内存实例，所以，进程下的所有线程共享相同的内存地址空间。

进程的另一个名字是任务（task），Linux内核通常把进程叫做任务。

2、进程描述符及任务结构

内核把进程列表存放在任务队列（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、进程状态 

进程的状态如下图所示，分为五种，系统中的每个进程一定处在其中的一种。进程的当前状态存储在进程描述符的state域。

 

该进程状态图非常准确而简要的描述了进程状态的切换，说明了进程从创建到运行到销毁的过程，也说明了进程被抢占或者被中断的转换过程。当然可能需要结合书或者这连续几章的介绍会了解得更加深刻。

是不是学完操作系统原理后觉