进程优先级与调度机制

原创于 2026-06-16 13:31:00 发布 · 182 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#linux #网络 #算法 #数据库

一、知识思维导图

先通过思维导图快速建立优先级与调度的整体知识框架：

如果说进程状态描述了进程 “能不能运行”，那么进程优先级就决定了进程 “什么时候能运行”。在多进程并发的系统中，优先级是操作系统分配 CPU 资源的核心依据，直接影响系统响应速度和资源分配的合理性。

二、进程优先级的核心本质

1. 什么是进程优先级

进程优先级是操作系统给每个进程赋予的数值标识，用来衡量进程获取 CPU 资源的优先程度。优先级高的进程能更优先、更频繁地获得 CPU 时间，优先级低的进程则靠后调度。

核心目的：区分任务的紧急程度，让重要任务（系统交互、实时任务）得到更多资源，同时兼顾后台任务的执行效率。

2. 为什么需要优先级

如果所有进程完全公平轮流占用 CPU，会出现明显的体验问题：

前台交互程序（打字、移动鼠标）响应变慢，用户感知卡顿；
实时任务（音视频播放、工业控制）无法按时完成，出现音画不同步、控制失效；
系统关键服务被普通程序抢占，导致系统不稳定。

优先级的核心作用，就是解决 “资源分配的轻重缓急” 问题。

三、优先级的两大分类

根据优先级是否会在运行过程中动态调整，分为静态优先级和动态优先级两大类。

1. 静态优先级

定义：进程创建时确定优先级，整个生命周期内保持不变。
设定方式：由用户或系统预先指定，比如启动程序时手动设置优先级等级。
优点：实现简单，调度开销小，运行行为可预测。
缺点：不够灵活，低优先级进程可能长期得不到 CPU（饥饿问题）。
举例：Linux 系统中通过nice命令启动程序时指定的基础优先级，属于静态优先级范畴；工业控制系统中的硬实时任务，通常也采用固定的静态优先级。

2. 动态优先级

定义：进程创建时有一个基础优先级，操作系统会根据进程的运行行为、等待时长动态调整优先级数值。
通用调整逻辑：
- 奖励 IO 密集型进程：经常主动放弃 CPU 的进程（如等待用户输入的前台程序），适当提高优先级，保证响应速度；
- 惩罚 CPU 密集型进程：长期霸占 CPU 的进程（如后台计算、视频渲染），适当降低优先级，避免挤占其他进程；
- 解决饥饿：长时间未得到 CPU 的低优先级进程，逐步提高优先级，保证它最终能被执行。
优点：灵活公平，兼顾系统响应性和资源利用率，避免进程饥饿。
缺点：调度算法更复杂，有一定的系统开销。
举例：Windows 系统的进程调度、Linux 的 CFS 调度器，都采用动态优先级机制。前台打开的浏览器、Word 等程序，系统会自动提升其优先级，保证操作流畅。

四、基于优先级的经典调度算法

优先级最终要通过进程调度算法落地，下面是几种核心的优先级调度算法，结合实例讲解其运行逻辑。

1. 先来先服务调度（FCFS）—— 无优先级的基础模型

原理：就绪队列按进程到达时间排队，谁先来谁先运行，一直运行到结束或主动阻塞。
特点：本质上所有进程优先级平等，只看排队顺序，不区分任务重要性。
举例：三个进程 A、B、C 依次到达，运行时间分别是 20ms、2ms、2ms。按 FCFS 规则，A 先跑 20ms，B 和 C 要等待 20ms 才能执行，平均等待时间很长。
缺点：短作业要等长作业，交互响应差，没有优先级区分，仅适合批处理系统。

2. 非抢占式优先级调度

原理：就绪队列按优先级排序，优先级最高的进程先运行，一直运行到结束或主动阻塞，才会重新调度下一个进程。
特点：进程运行期间不会被其他进程抢走 CPU。
举例：系统中有高优先级杀毒进程、中优先级浏览器、低优先级后台下载。杀毒进程启动后，会一直运行到扫描完成，期间浏览器和下载只能等待。
缺点：如果高优先级进程持续运行，低优先级进程会长期等待，出现饥饿；紧急任务到来时无法立刻抢占，响应不及时。

3. 抢占式优先级调度

原理：同样按优先级调度，但只要有更高优先级的进程进入就绪队列，就立刻暂停当前运行的低优先级进程，把 CPU 让给高优先级进程。
特点：高优先级任务可以随时抢占 CPU，响应速度快。
举例：正在用低优先级压缩软件压缩文件时，触发了高优先级的系统告警进程，系统会立刻暂停压缩任务，优先处理告警；告警处理完成后，压缩任务才恢复运行。
这是现代桌面、服务器操作系统的主流调度模式。

4. 时间片轮转调度（RR）—— 公平优先级的分时模型

原理：所有就绪进程优先级相同，按队列顺序轮流执行；每个进程分配一个固定时间片（比如 20ms），时间片用完就强制换下，调度下一个。
特点：完全公平，每个进程获得的 CPU 时间均等，多任务交互响应快。
举例：三个进程轮流执行，每个跑 20ms 就换下一个，用户感知上多个程序在同时运行。
缺点：没有优先级区分，重要任务无法获得更多 CPU 资源。

5. 多级反馈队列调度 —— 优先级 + 时间片的综合模型

这是目前最通用、实用性最强的调度算法，融合了优先级、时间片、动态调整的思想，Windows、Linux 的调度器都基于该思想实现。

其核心结构如下图所示：

核心规则：
1. 设置多个就绪队列，每个队列对应一个优先级，优先级越高的队列，分配的时间片越短；
2. 新进程先进入最高优先级队列，按时间片轮转执行；
3. 如果进程在时间片内用完还未结束，就降级到下一级低优先级队列，对应时间片变长；
4. 如果进程在时间片内主动阻塞（IO 操作），就保持或提升其优先级；
5. 调度时优先调度高优先级队列，只有高优先级队列为空，才调度低优先级队列。
举例：
- 前台打字程序，每次只运行几 ms 就等待输入，一直留在高优先级队列，操作响应很快；
- 后台视频渲染程序，持续用完时间片，逐渐降级到低优先级队列，用更长的时间片批量计算，不影响前台交互；
- 既兼顾了前台交互的响应速度，又保证了后台计算的吞吐量。

五、优先级的经典问题：优先级反转

1. 什么是优先级反转

在抢占式优先级系统中，高优先级进程需要等待低优先级进程持有的共享锁，而中间优先级的进程又抢占了低优先级进程的 CPU，导致低优先级进程迟迟不释放锁，最终高优先级进程被长时间阻塞，优先级规则失效。

2. 场景时序示意

完整流程：

L 先运行，拿到了共享资源的锁；
H 进入就绪队列，抢占 L 的 CPU 开始运行；
H 运行中也需要访问该共享资源，发现锁被 L 占用，只能阻塞等待；
L 恢复运行，但此时 M 进入就绪队列，抢占了 L 的 CPU，M 开始长时间运行；
最终结果：L 一直拿不到 CPU，无法释放锁，H 就一直等待；相当于中优先级的 M 比高优先级的 H 还先执行完，优先级发生了反转。

3. 主流解决方案

优先级继承：当高优先级进程等待低优先级进程的锁时，临时把低优先级进程的优先级提升到和高优先级一致，防止中间优先级进程抢占。锁释放后，优先级恢复原值。
优先级天花板：给每个共享资源设置一个优先级天花板（等于所有会访问该资源的进程的最高优先级），进程拿到锁时，优先级自动提升到天花板值。

六、主流操作系统的优先级实现

1. Linux 系统

Linux 将进程分为普通进程和实时进程两大类，采用两套独立的优先级体系：

普通进程：使用 nice 值，范围 - 20~19，数值越小优先级越高。默认 nice 值为 0，用户可以用nice、renice命令调整。底层由 CFS 调度器管理，基于动态优先级思想调度。
- 举例：nice -n -5 ./myprogram 就是以高于默认的优先级启动程序。
实时进程：优先级范围 0~99，数值越大优先级越高，采用静态优先级 + 抢占式调度，优先级永远高于所有普通进程。用于音视频处理、工业控制等对实时性要求高的场景。