Linux内核进程调度队列
Linux系统中,每个CPU中都有一个运行队列。

上图就是Linux中的运行队列。
其中在蓝色框中:
-
nr_active:队列中有多少进程。
-
queue[140]:是一个有140个队列的数组,其中只会使用queue[140]中100~139下标的队列,也就是40个队列,而上面我们说过,Linux中的优先级只有40个级别,范围是[60,99],而这些优先级从前到后分别对应的就是queue[140]中的[100,139]的下标的队列,当进程入队列时,不同优先级的进程将会被放在不同的队列下。
-
bitmap[5]:这个数组是一个long数据类型的数组,long数据类型的大小是32bit,那么这个数组的大小就是32*5=160bit,而这160bit的空间只使用140bit,作为位图,用来标记queue[140]中,哪一个队列中有元素,有了这个位图,CPU在调度进程的时候就不用将queue[140]全部遍历一遍,只需要在bitmap中就可以迅速找到哪个队列不为空,迅速找到需要调度的进程。
而这种调度算法的时间复杂度为O(1),所以也被称为大O(1)调度算法。
那么这里还有一个问题,在上面的结构图中,为什么还有一个红色框中的内容和蓝色框的内容一模一样的?
因为如果只有一个,会存在一种情况,在我们的运行队列中,不断有进程被调走执行,也不断有进程进入等待执行,那么如果当前队列中有源源不断的80优先级的进程进入队列,而队列中还有一批优先级大于80的进程在等待被调度,那么80优先级的进程一直执行不完,大于80优先级的进程不就一直无法执行了吗?
Linux设计了两套运行队列就是为了解决这个问题,这两套队列每个是一个结构体,在上面的结构图中有两个指针active和expired,它们默认指向第一个运行队列和第二个运行队列,其中active指向的队列只出不进,expired指向的队列只进不出,CPU调度时将会按顺序调度active指向的运行队列,而如果有新的进程进队列,将会被放在expired指向的运行队列中,当active队列中的进程被处理完了,active和expired将会交换指向,active指向第二个运行队列,expired指向第一个运行队列,然后继续循环上面的操作。