一文总结Linux进程管理之调度和进程切换知识点

在Linux操作系统中，进程管理是核心功能之一，而进程调度与切换则是保障系统高效、稳定运行的关键机制。它们决定了CPU资源如何分配给各个进程，直接影响着系统的响应速度、吞吐量和公平性。

一、进程调度的核心目标

进程调度的本质是对CPU资源进行合理分配，其核心目标可以概括为以下几点：

提升系统响应速度：对于交互式任务，如用户操作的图形界面程序，要确保其能快速响应用户输入，减少等待时间。

缩短平均完成时间：让批处理任务等能在更短的时间内完成，提高整体运行效率。

最大化系统吞吐量：在单位时间内尽可能处理更多的进程，充分利用CPU资源，同时减少不必要的上下文切换开销。

保证公平性与无饥饿：避免某些进程长时间无法获得CPU资源，确保所有进程都有机会执行，实现资源的公平分配。

二、Linux进程调度器的演进历程

Linux系统的进程调度器经历了多次重要迭代，每一次更新都旨在优化性能和适应不同的应用场景：

O(n)调度器(Linux 2.4至Linux 2.6早期)：该调度器通过遍历整个进程列表来选择下一个要执行的进程，时间复杂度为O(n)。当系统中进程数量较多时，调度器本身的开销会显著增加，导致系统性能下降。

O(1)调度器(Linux 2.6至2.6.22)：为解决O(n)调度器的性能瓶颈，O(1)调度器引入了优先级数组。它维护了活动队列和过期队列，通过位图快速查找最高优先级的可运行进程，调度操作的时间复杂度降低到O(1)，大大提高了调度效率。

完全公平调度器(CFS，Linux 2.6.23至6.6)：CFS摒弃了传统的时间片概念，引入了虚拟运行时间的理念。它认为每个进程都应该公平地分享CPU时间，通过计算进程的虚拟运行时间，始终选择虚拟运行时间最小的进程执行，实现了更为公平的资源分配，尤其适合交互式和桌面应用场景。

EEVDF调度器(Linux 6.6及以后)：EEVDF(Earliest Eligible Virtual Deadline First)调度器进一步优化了公平性和响应性。它为每个进程设置虚拟截止时间，选择最早到期的进程执行，在保证公平的同时，能更好地应对负载变化，提升系统的整体性能。

三、进程调度相关核心结构

(一)task_struct结构体

每个进程在Linux内核中都由一个task_struct结构体来描述，其中与调度相关的重要成员包括：

优先级相关成员：prio表示动态优先级，static_prio是静态优先级，在进程启动时分配，可通过nice和sched_setscheduler系统调用修改;normal_prio则是基于静态优先级和调度策略计算出的常规优先级。

调度器类：sched_class指向进程所属的调度器类，Linux系统中主要有Stop调度器、Deadline调度器、RT调度器、CFS调度器和IDLE-Task调度器。不同的调度器类对应不同的调度算法和适用场景。

调度实体：根据进程类型的不同，包含se(CFS调度实体)、rt(RT调度实体)、dl(Deadline调度实体)等，这些实体代表进程在相应调度器中的运行状态和相关信息。

调度策略：policy成员记录了进程所采用的调度策略，主要分为限期进程调度策略(SCHED_DEADLINE)、实时进程调度策略(SCHED_FIFO、SCHED_RR)和普通进程调度策略(SCHED_NORMAL、SCHED_BATCH、SCHED_IDLE)。

(二)运行队列(runqueue)

每个CPU都有自己独立的运行队列，用于管理该CPU上的可运行进程。运行队列中包含了CFS调度队列、RT调度队列和Deadline调度队列等，分别对应不同类型的进程。此外，还记录了当前运行的进程、空闲进程、CPU负载信息、上下文切换次数等重要数据，为调度器的决策提供依据。

四、常见进程调度策略

(一)实时进程调度策略

SCHED_FIFO(先进先出)：采用先入先出的调度方式，没有时间片限制。一旦进程获得CPU资源，就会一直执行，直到主动让出CPU或者被更高优先级的实时进程抢占。适用于对时间性要求极高、每次运行时间较短的实时应用。

SCHED_RR(时间片轮转)：为每个实时进程分配固定的时间片。当进程用完时间片后，会被放到对应优先级运行队列的尾部，让同优先级的其他进程有机会执行。这种策略兼顾了实时性和公平性，适合运行时间较长的实时进程。

SCHED_DEADLINE(限期调度)：基于最早截止时间优先(EDF)算法，为每个进程设置绝对截止期限。调度器始终选择截止期限最早的进程执行，确保关键任务能在规定时间内完成，适用于对截止时间要求严格的实时系统。

(二)普通进程调度策略

SCHED_NORMAL：默认的普通进程调度策略，进程会选择CFS调度器进行调度。CFS通过虚拟运行时间保证进程能公平地分享CPU资源，广泛适用于大多数交互式和桌面应用。

SCHED_BATCH：适用于批量处理任务，如后台的数据计算、文件编译等。采用该策略的进程会以较低的优先级运行，减少与交互式进程的资源竞争，提高系统的整体吞吐量。

SCHED_IDLE：优先级最低的调度策略，只有当系统中没有其他可运行进程时，采用该策略的进程才会获得CPU资源，通常用于一些低优先级的后台任务。

五、进程上下文切换

(一)上下文的定义与内容

进程上下文是指进程运行时的环境信息，包括CPU寄存器的值、程序计数器、栈指针、进程的内存地址空间、打开的文件描述符、信号处理函数等。当进行进程切换时，需要保存当前进程的上下文，并加载下一个要执行进程的上下文，以保证进程能在切换后继续从断点处执行。

(二)上下文切换的时机

时钟中断：系统会周期性地产生时钟中断，调度器利用这个时机检查当前进程是否需要被调度。例如，当进程的时间片用完或者有更高优先级的进程进入可运行状态时，会触发上下文切换。

系统调用：当进程执行系统调用进入内核态后，在返回用户态之前，调度器会进行调度决策，可能会触发上下文切换。

进程阻塞：当进程因等待I/O操作、获取锁等原因进入阻塞状态时，会主动放弃CPU，调度器会选择其他可运行进程执行，从而引发上下文切换。

进程主动让出CPU：进程可以通过调用sched_yield()等函数主动让出CPU资源，此时调度器会进行新的调度选择。

(三)上下文切换的过程

保存当前进程上下文：将当前进程的CPU寄存器值、程序计数器等信息保存到该进程的内核栈中，并更新task_struct结构体中的相关状态信息。

选择下一个要执行的进程：调度器根据调度算法从运行队列中选择下一个合适的进程，更新运行队列的相关状态。

加载新进程上下文：从新进程的内核栈中恢复其CPU寄存器值、程序计数器等上下文信息，将CPU的控制权交给新进程，使其开始执行。

(四)上下文切换的开销

上下文切换会带来一定的系统开销，主要包括：

时间开销：保存和加载上下文需要消耗一定的CPU时间，频繁的上下文切换会占用大量的CPU资源，导致系统整体性能下降。

缓存失效：每个进程都有自己的地址空间，当切换进程时，CPU的缓存(如L1、L2缓存)中的数据可能会失效，需要重新加载新进程的数据，这会增加内存访问的延迟。

内存管理开销：切换进程时，需要更新内存管理单元(MMU)的页表，将虚拟地址映射到新进程的物理地址空间，这也会带来一定的开销。

六、进程调度与切换的优化方向

为了进一步提升Linux系统的性能，进程调度与切换机制仍在不断优化，主要方向包括：

减少上下文切换开销：通过优化上下文切换的算法和实现细节，如减少需要保存和恢复的寄存器数量、利用硬件辅助技术等，降低上下文切换的时间和资源消耗。

提升调度器的适应性：使调度器能够根据不同的工作负载和应用场景自动调整调度策略，例如在高负载时优先保证系统的吞吐量，在低负载时注重交互式应用的响应速度。

增强实时性能：不断改进实时调度算法，提高实时进程的响应速度和截止期限保证能力，满足工业控制、自动驾驶等对实时性要求极高的应用场景。

优化多处理器调度：在多处理器系统中，实现更高效的负载均衡和进程迁移策略，避免出现某些CPU负载过高而其他CPU空闲的情况，充分利用多处理器的计算能力。

总之，Linux进程调度与切换机制是操作系统的核心组成部分，深入理解其原理和实现细节，对于开发高效的应用程序、进行系统性能优化以及排查系统问题都具有重要意义。随着硬件技术的不断发展和应用需求的日益多样化，Linux进程调度与切换机制也将持续演进，为用户提供更加高效、稳定和可靠的计算环境。