备胎般的内核进程调度队列

这么热的夏天没有你的冷暴力我可怎么活啊

虽然我是个选学，但也请爱我爱的深沉一点吧！

回归啊不对，进入正题：

Linux真正情况下，进程是怎样调度的呢？

因为进程本身要排队，那怎么排队呢？优先级？一样怎么办？

下面来看看是怎样调度的吧：

 Linux系统中每一个CPU都有一个运行队列

task_struct *queue[140];

 我们目前谈论的Linux操作系统是分时操作系统，进行调度时注重公平

实时操作系统只会使用[100,139]的四十个元素

进程优先级是40个数字，运行队列默认给我们使用的也是四十个数字

下标范围：[100,139]                 优先级：[60,99]

双方存在映射关系，可以转换成特定下标，拿优先级作为数组下标进行入队

如果优先级相同，也可以找到优先级相同的队列进行尾插

也就是相当于维护着40个运行队列，找到进程只需要找到task_struct，从第一个开始取就能找到该进程                 

但是还要接着遍历前面的，比较麻烦，时间复杂度得有

所以就还有个东西叫：

long bitmap[5]

 为什么是5啊？

按比特位算奥：

32*5=160   >   140

32*4=128   <   140

把数组想象成一堆的01序列

位图（只使用其中的140个）：

直接查看有无，就不用遍历，可以直接依靠位图查询运行队列中的进程了（对位图进行操作知道哪个下标对应处有进程），不用遍历，通过1个整形即可判断32个下标

通过用O（1）的复杂度找到系统中最合适的进程

实际的运行队列存在两批上面的结构：

struct q
{
	int nr_active;
	bitmap[5];
	queue[140];
};

也就是：

​struct q array[2];

 CPU在找进程的时候会先找active指针，指针指向什么就找什么进程：

swap(active,expired); 

当进程正在被CPU访问时，只出不进

而queue只进不出

时间片到了，就从一个地方转到另一个地方，具体过程可以参考盘丽鱼:

我永远喜欢自然科学和小亮老师

结束后只需要将两个指针内容做交换就好了：

swap(active,expired);

nice不会让我们随意调整，总共40个元素，那下标[0,99]的元素都做些什么呢？

普通优先级：100～139（我们都是普通的优先级，想想nice值的取值范围，可与之对应！）

实时优先级：0～99（不关心）

下面是关于上面内容的详细解释及归类，可能有重合

 活动队列

时间片还没有结束的所有进程都按照优先级放在该队列

nr_active: 总共有多少个运行状态的进程

queue[140]: 一个元素就是一个进程队列，相同优先级的进程按照FIFO规则进行排队调度,所以，数组下标就是优先级

从该结构中，选择一个最合适的进程，过程是怎么样的呢？

1. 从0下表开始遍历queue[140]

2. 找到第一个非空队列，该队列必定为优先级最高的队列

3. 拿到选中队列的第一个进程，开始运行，调度完成

4. 遍历queue[140]时间复杂度是常数

bitmap[5]:一共140个优先级，一共140个进程队列，为了提高查找非空队列的效率，就可以用5*32个 比特位表示队列是否为空，可以大大提高查找效率

过期队列

过期队列和活动队列结构一模一样，过期队列上放置的进程，都是时间片耗尽的进程

当活动队列上的进程都被处理完毕之后，对过期队列的进程进行时间片重新计算

active指针和expired指针

active指针永远指向活动队列，expired指针永远指向过期队列

活动队列上的进程会越来越少，过期队列上的进程会越来越多，进程在时间片到期前一直都存在  在合适的时候，只要能够交换active指针和expired指针的内容，就相当于有具有了一批新的活动进程

在系统当中查找一个最合适调度的进程的时间复杂度是一个常数，不随着进程增多而导致时间成本增加，我们称之为进程调度O(1)算法

想念批发城冷面呜呜