Linux中的task_struct结构体

        我们都知道，在广义上，所有的进程信息都被放在一个叫做进程控制块的数据结构中，这个可以理解为进程属性的集合。这里的进程控制块也就是所谓的PCB，他是一个非常大的数据结构，那么它到底有多大呢？如果没什么意外，这个结构体可能是这个宇宙中最大的单个变量了，一个结构体就有好几k那么大，想想他包含了一个进程的所有信息，这么庞大也不足为怪了。LINUX内核代码纷繁复杂，千头万绪，这个结构体是系统进程在执行过程中所有涉及的方方面面的缩影，包括系统内存管理子系统、进程调度子系统、虚拟文件系统等等，以这个所谓的PCB为切入点，是一个很好的研究内核的窗口。 总之，当一个程序文件被执行的时候，内核将会产生这么一个结构体，来承载所有该活动实体日后运行时所需要的所有资源，随着进程的运行，各种资源被分配和释放，是一个动态的过程。

下面我们来分析一下。

1、进程控制块

     每个进程在内核中都有一个进程控制块（PCB）来维护进程的相关信息，Linux内核的进程控制块是task_struct结构体。它会被装载到RAM里并且包含着进程的信息，每个进程都会把它的进程的相关信息放在task_struct数据结构中，task_struct主要包含了下面这些内容：

标识符：描述本进程的唯一标识符，用来区别其他进程。

状态：任务状态、退出代码、退出信号等。

优先级：相对于其他进程的优先级。

程序计数器（PC）：程序中即将被执行的下一条指令的地址。

内存指针：包括程序代码和进程相关数据的指针，还有和其它进程共享的内存块的指针。

上下文数据：进程执行时处理器的寄存器中的数据。

I/O状态信息：包括显示的I/O请求，分配给进程的I/O设备和被进程使用的文件列表。

记账信息：可能包括处理器时间总和，使用的时钟数综合、时间限制、记账号等。

   下面是对它们的详细说明：

·进程状态

     进程执行时，它会根据具体情况改变状态 。 进程状态是调度和对换的依据。 Linux中的进程主要有如下状态，如表4.1所示。

                    表4.1          Linux进程的状态

 

内核表示	含义
TASK_RUNNING	可运行
TASK_INTERRUPTIBLE	可中断的等待状态
TASK_UNINTERRUPTIBLE	不可中断的等待状态
TASK_ZOMBIE	僵死
TASK_STOPPED	暂停
TASK_SWAPPING	换入/换出

 

·可运行状态

处于这种状态的进程，要么正在运行、要么正准备运行。正在运行的进程就是当前进程（由current所指向的进程），而准备运行的进程只要得到CPU就可以立即投入运行，CPU是这些进程唯一等待的系统资源。系统中有一个运行队列（run_queue），用来容纳所有处于可运行状态的进程，调度程序执行时，从中选择一个进程投入运行。在后面我们讨论进程调度的时候，可以看到运行队列的作用。当前运行进程一直处于该队列中，也就是说，current总是指向运行队列中的某个元素，只是具体指向谁由调度程序决定。

·等待状态

处于该状态的进程正在等待某个事件（event）或某个资源，它肯定位于系统中的某个等待队列（wait_queue）中。Linux中处于等待状态的进程分为两种：可中断的等待状态和不可中断的等待状态。处于可中断等待态的进程可以被信号唤醒，如果收到信号，该进程就从等待状态进入可运行状态，并且加入到运行队列中，等待被调度；而处于不可中断等待态的进程是因为硬件环境不能满足而等待，例如等待特定的系统资源，它任何情况下都不能被打断，只能用特定的方式来唤醒它，例如唤醒函数wake_up（）等。

·暂停状态

此时的进程暂时停止运行来接受某种特殊处理。通常当进程接收到SIGSTOP、SIGTSTP、SIGTTIN或 SIGTTOU信号后就处于这种状态。例如，正接受调试的进程就处于这种状态。

·僵死状态

进程虽然已经终止，但由于某种原因，父进程还没有执行wait()系统调用，终止进程的信息也还没有回收。顾名思义，处于该状态的进程就是死进程，这种进程实际上是系统中的垃圾，必须进行相应处理以释放其占用的资源。

2. 进程调度信息

调度程序利用这部分信息决定系统中哪个进程最应该运行，并结合进程的状态信息保证系统运转的公平和高效。这一部分信息通常包括进程的类别（普通进程还是实时进程）、进程的优先级等等。如表4.2所示：

 

 

        表4.2           进程调度信息

域名	含义
need_resched	调度标志
Nice	静态优先级
Counter	动态优先级
Policy	调度策略
rt_priority	实时优先级

 

在下一章的进程调度中我们会看到，当need_resched被设置时，在“下一次的调度机会”就调用调度程序schedule()。 counter代表进程剩余的时间片，是进程调度的主要依据，也可以说是进程的动态优先级，因为这个值在不断地减少；nice是进程的静态优先级，同时也代表进程的时间片，用于对counter赋值，可以用nice()系统调用改变这个值；policy是适用于该进程的调度策略，实时进程和普通进程的调度策略是不同的；rt_priority只对实时进程有意义，它是实时进程调度的依据。

进程的调度策略有三种，如表4.3所示。

表