一文带你弄懂linux进程调度算法--CFS

大多数现代操作系统旨在尝试从底层硬件资源中提取最佳性能。这主要是通过两个主要硬件资源的虚拟化来实现的：CPU 和内存。现代操作系统提供了一个多任务环境，基本上为每个任务提供了自己的虚拟 CPU。任务通常不知道它不独占 CPU 使用权这一事实。

类似地，内存虚拟化是通过给每个任务自己的虚拟内存地址空间来实现的，然后将其映射到系统的真实内存上。同样，任务通常不知道它的虚拟内存地址可能不会映射到实内存中的相同物理地址。

CPU 虚拟化是通过在多个任务之间“共享”CPU 来实现的——也就是说，每个正在运行的任务定期获得一小部分 CPU。从多个可用的可运行任务中一次选择一个任务的算法称为调度器，选择下一个任务的过程称为调度。

调度程序是任何操作系统最重要的组件之一。由于几个原因，实现调度算法很困难。首先，一个可接受的算法必须分配 CPU 时间，这样优先级较高的任务（例如 Web 浏览器等交互式应用程序）优先于低优先级任务（例如程序编译等非交互式批处理）。同时，调度程序必须防止低优先级进程饥饿。换句话说，无论有多少高优先级进程在争夺 CPU 时间，最终都必须允许低优先级进程运行。调度程序也必须精心设计，以便进程看起来同时运行，而不会对系统吞吐量产生太大影响。

对于像 GUI 这样的交互式进程，理想的调度程序会给每个进程在 CPU 上占用很少的时间，并在进程之间快速循环。因为用户希望交互式进程立即响应输入，所以理想情况下，用户输入和进程执行之间的延迟应该是人类察觉不到的——最多在 50 到 150 毫秒之间。

对于非交互式进程，情况正好相反。进程之间的切换或上下文切换是一项相对昂贵的操作。因此，处理器上更多的时间片和更少的上下文切换可以提高系统性能和吞吐量。调度算法必须在所有这些相互竞争的需求之间取得平衡。

像大多数现代操作系统一样，Linux 是一个多任务操作系统，因此它有一个调度程序。 Linux 调度程序随着时间的推移而发展。

1. O(1) 调度器

随着内核 2.6 的发布，Linux 调度程序被彻底改革。这个新的调度器被称为 O(1) 调度器——O(…) 被称为“大 O 表示法”。选择这个名称是因为调度程序的算法需要恒定的时间来做出调度决策，而不管任务数量如何。 O(1) 调度器使用的算法依赖于活动和过期的进程数组来实现恒定的调度时间。每个进程都有一个固定的时间段，之后它被抢占并移动到过期的数组中。一旦活动阵列中的所有任务都用完它们的时间片并移至过期阵列，就会发生阵列切换。此开关使活动阵列成为新的空过期阵列，而过期阵列成为活动阵列。

该算法的主要问题是用于将任务标记为交互式或非交互式的复杂启发式方法。该算法试图通过分析平均睡眠时间（进程等待输入所花费的时间）来识别交互式进程。长时间休眠的进程可能正在等待用户输入，因此调度程序假定它们是交互式的。调度程序为交互式任务提供优先级奖励（以获得更好的吞吐量），同时通过降低非交互式任务的优先级来惩罚非交互式任务。用于确定任务交互性的所有计算都很复杂，并且容易发生潜在的错误计算&