Linux进程调度策略.pdfVIP

Linux进程调度策略的研究 摘要：进程调度是多任务操作系统的核心，本文描述了Linux 进程调度的过程。Linux 系 统中的每个进程用task_struct 结构来描述，进程调度的依据是task_struct 结构中的policy、 priority、counte 和rt_priority。Linux 根据policy 将进程划分为实时和普通两类，普通进 程采用动态优先调度，实时进程采用先来先服务（FIFO）调度和时间片轮转（RR）调度。 关键词：Linux，进程，调度策略，优先级，时间片 1. 前言 进程调度的实质是资源的分配，如何使系统能够保持较短的响应时间和较高的吞吐 量，如何在多个可运行的进程中选取一个最值得运行的进程投入运行是操作系统调度器 的主要任务。一个好的调度算法应该考虑到公平、高效、响应时间、周转时间、吞吐量 等诸多因素。进程调度是操作系统的核心，调度算法的优劣直接关系到系统的运行效率。 本文以 Linux 操作系统为例，详细描述其进程调度策略，以希望对进程调度过程有更为 感性的认识。 2. Linux进程调度原理 进程是动态的，一个进程的所有信息都被放在其对应的task_struct 数据结构中。每 当一个新的进程创建时，一个新的task_struct 结构将分配给该进程，并同时增加到进程 向量的数组中。系统还有一个当前进程指针，用来指向当前正在运行的进程。task_struct 实际上就是通常所说的“进程控制块”PCB，它是系统对进程控制的惟一且最有效的手 段。 2.1 进程调度的依据 调度程序运行时，要在所有可运行状态的进程中选择最值得运行的进程投入运行。 在每个进程的task_struct 结构中有：policy、priority、counte 、rt_priority，这4 项就是 选择进程的依据。其中policy 是进程的调度策略，用于区分实时进程和普通进程，实时 进程优先于普通进程运行；priority 是进程(包括实时和普通)的静态优先级；counte 是进 程剩余的时间片，它的起始值就是priority 的值；由于counte 在后面计算一个处于可运 行状态的进程值得运行的程度goodness 时起重要作用，因此，counte 也可以看作是进 程的动态优先级。rt_priority 是实时进程特有的，是实时进程之间的相对优先级，用于 实时进程间的选择。Linux 用函数goodness()来衡量一个处于可运行状态的进程值得运行 的程度。该函数综合了以上提到的4 项，还结合了一些其他的因素，给每个处于可运行 状态的进程赋予一个权值(weight)，调度程序以这个权值作为选择进程的惟一依据。 2.2 进程调度的时机 Linux 的调度时机分两种情况： 主动调度:主动调度是指显式调用 schedule()函数明确释放 CPU，引起新一轮进程调 度。一般发生在当前进程状态改变，例如：进程终止、进程睡眠等；进程对某些信号处 理过程中断等等。 被动调度:被动调度是指不显式调用 schedule() 函数, 只是将进程 PCB 中调度标志 need_resched 置1，而每当中断处理和系统调用返回时，核心都会主动查询need _resched 的状态：如果置1，则主动调用schedule()函数。一般发生在新的进程产生时、某个进程 优先级改变时、某个进程等待的资源可用被唤醒时、当前进程时间片用完等。 3. Linux进程调度策略 首先，Linux 根据policy 从整体上区分实时进程和普通进程（非实时进程），因为实时 进程和普通进程度调度是不同的，实时进程应该先于普通进程而运行。然后，对于同一 类型的不同进程，采用不同的标准来选择进程：对于普通进程，Linux 采用动态优先调度 （多级反馈轮转调度算法）的策略，选择进程的依据就是进程counter 的大小。对于实 时进程，Linux 采用了两种调度策略，即FIFO(先来先服务调度)和RR （时间片轮转调度）。 3.1 Linux进程模型 Linux 中的每个进程由task_struct 结构来描述。在Linux 中任务和进程是相同的术语， task_struct 其实就是指PCB （进程控制块）。进程PCB 中涉及进程调度的域如下：