cpu调度器linux,Linux2.4与Linux2.6内核调度器的比较研究

Linux的内核开发是一个漫长的过程，自2001年11月开发出2.5.0以来，Linux内核的发展十分迅速，作了很多重大的改进，性能也有了很大的提高。内核调度器的改进是最主要的进步之一，本文对比研究了Linux2.4和Linux2.6的调度器，全面剖析了Linux2.6对调度器的改进。

一个成功的调度器的基本要求可以概括为以下三点：

(1)减少花在调度上的时间，以增加花在执行程序上的时间；

(2)在多处理器系统上，保持处理器的负载平衡；

(3)对交互式应用有良好的响应速度。

但是，一个成功的调度器是很难设计好的，因为一个真正投入运行的系统受到很多因素的制约。相对于Linux2.6，Linux2.4的调度器有很多的不足之处，2.6版本的Linux内核使用了新的调度器算法，称为0(1)算法，它在高负载的情况下执行得极其出色，并且当有很多处理器时也可以很好地扩展。

O(n)算法，O代表order，括号里的数字代表最坏情况下算法效率的上限取决于算法涉及到的元素的个数，O(1)说明是一个常数，在这种情况下，每次调度的效率是一样的，与涉及的元素的多少没有关系，O(n)表示算法效率取决于算法涉及元素的个数。

1 Linux2.4的调度机制

Linux2.4的调度机制可以用下面的算法来描述，示意图如图1所示。

所有的就绪进程都在一个全局的就绪进程队列中，这个队列没有任何有意义的排序；时间片重算算法是在所有的进程都用尽它们的时间片以后才重新计算。整个队列由一个读／写自旋锁(read／write spinlock)保护着，这样多个处理器可以并行访问，但同时提供写操作的互斥访问。

由算法可以看出，Linux2.4的调度算法可以说是一个O(n)算法，因为调度器挑选执行进程的开销是随系统中就绪进程的增长而线性增长的。同时，当系统中有多个处理器时，访问就绪进程队列就成了瓶颈，性能也会显著的下降。因而有很多的缺点：

(1)每次调度时，调度器都要线性遍历这个队列，以找出最值得运行的进程执行：当系统负载很高的时候。可执行进程队列会很长，线性搜索的时间是线性增长的，这个时间会很长，当这个时间足够长的时候，有可能出现多个处理器选择了同一个进程的情况，这样，有些处理器会发现，他选择的进程已经分配了其他的处理器，而不得不重新选择，甚至出现选择运行进程的时间比实际执行进程的时间还要长的情况。

(2)当大多数的就绪进程的时间片都用完而又还投有重新分配时间片的时候，SMP系统中有些处理器处于空闲状态，这将影响SMP的效率。

(3)当空闲的处理器开始执行那些时间片尚未用尽而处于等待状态的进程(如果它们自己的处理器忙)时，会导致进程开始在处理器之间“跳跃”，实时进程或者占用内存大的进程在处理器之间跳跃会严重影响系统的性能。

(4)在一个有很多处理器的系统中，当进程用完它们的时间片以后需等待重算，以得到新的时间片，从而导致大部分的处理器处于空闲状态；这将影响SMP的效率。

因此，不难看出当系统中有大量的可执行进程时，选择一个进程去执行可能要花费较长的时间，系统中有多个处理器的时候，难度就更大了，这种调度，在多处理器或者系统负载比较高的情况下，性能受到影响。

2 Linux2.4调度器性能低下的原因

从上面的分析可以看出，造成Linux2.4调度器性能低下的主要原因如下：

(1)系统中调度算法属于O(n)，开销是线性增长的；

(2)只有一个全局的就绪进程队列，对多处理器的伸缩性支持不好；

(3)处理器的亲和性不好，容易导致进程在处理器之间“跳跃”；

(4)时间片的重算循环制约了多处理器的效率。

Linux2.6做了很大的改进，它采用O(1)算法，它在高负载的情况下执行得极其出色，并且当有很多处理器时也可以很好地扩展，不但大大改善了对SMP的支持，同时也兼顾了单CPU或者双CPU系统的要求。

3 Linux2.6调度器的改进目标

为了改善Linux2.4的上述不足，Linux2.6的调度器可以通过提供下列新的特性来改善调度器的性能：

(1)提供完全的O(1)调度算法，也就是说，不管系统中进程数量的多少，调度器中所有的算法都必须在常数时间内完成。

(2)应该对SMP有良好的可伸缩性，理想情况下，每个处理器应该有独立的可执行进程队列和锁机制。

(3)应该提高SMP的处理器亲和性，但是同时也应该有在负载不平衡的时候在处理器间迁移进程的能力。