操作系统导论 第八章 调度：多级反馈队列（MLFQ）

第八章 调度：多级反馈队列（MLFQ）

操作系统导论 第七章 进程调度
在第七章的讨论中，我们一直在逐步放宽之前设置的工作负载假设。

1. 每一个工作运行相同的时间
2. 所有的工作同时到达
3. 一旦开始，每个工作保持运行直到完成
4. 所有工作只是用CPU
5. 每个工作的运行时间是已知的

虽然我们从假设1放宽到了假设4，因此探讨出了很多程序调度策略，但是假设5我们一直没有放宽。

因为假设5相对于其他假设，要解决它产生的问题是最困难的，因为没有人可以未卜先知。

之前我们得出了一个结论，在假设5的前提下，周转时间和响应时间是不能兼得的，选择一个必然会损失另一个。

但是，让我们放宽假设5，我们会发现一个更加灵活，更加兼顾两者的方法，即多级反馈队列（Multi-level Feedback Queue,MLFQ）。

8.1 MLFQ：基本规则

MLFQ通常具有以下特点：

1. MLFQ有许多独立的队列（queue）
2. 每个队列拥有不同的优先级（priority level）
3. 任何时刻，一个工作只能存在于一个队列
4. MLFQ总是优先执行较高优先级的工作
5. 对于同一个优先级，即同一队列中的工作，我们对其采用轮转调度（RR）

因此，MLFQ的关键在于如何设置优先级。

MLFQ没有为每个工作指定不变的优先级，而是会通过观察它们的行为调整优先级。

我们可以将进程划分为两类：**交互型进程 **和 计算密集型进程

如果一个工作频繁放弃CPU等待键盘操作，我们就可以视他为交互型进程，并提高他的优先级。

如果一个工作长时间占用CPU，我们就可以视他为计算密集型进程，并降低他的优先级。

可以这么说，MLFQ通过观察进程的运行过程，预测他它未来的行为，并调整它的优先级。

至此，我们可以得到MLFQ的两条基本规则。

规则1：如果A的优先级 > B的优先级，运行A（不运行B）。

规则2：如果A的优先级 = B的优先