2. vruntime 核心原理：定义、权重映射与 nice 值影响

vruntime（虚拟运行时间）是 CFS 调度器的核心度量指标，它直接决定了下一个被调度执行的进程。理解 vruntime 的定义、权重映射机制以及 nice 值如何影响 vruntime，是排查任务饥饿和调度延迟问题的理论基础。

2.1 vruntime 定义与物理意义

vruntime 是一个进程在 CPU 上执行时间的加权累积值。CFS 调度器通过维护一个红黑树，将所有可运行进程按 vruntime 排序，每次选择 vruntime 最小的进程运行。其核心思想是：在理想的多处理器系统中，所有进程应该获得完全相等的 CPU 时间。

vruntime = 实际运行时间 × (1024 / 进程权重)

vruntime 的物理意义可以理解为：一个进程在“标准权重”下的等效运行时间。无论进程的实际优先级如何，CFS 都试图让所有进程的 vruntime 趋于相等。

2.2 权重与优先级映射

CFS 使用一个预定义的权重表将 nice 值映射为具体的权重值。nice 值的范围是 -20 到 19，共 40 个级别。权重表的设计使得相邻 nice 值之间的 CPU 时间分配比例约为 1.25:1。

2.3 nice 值对 vruntime 的影响机制

nice 值通过改变进程的权重，进而影响 vruntime 的增长速率。具体机制如下：

1. 权重计算：当进程的 nice 值改变时，内核通过 sched_prio_to_weight[] 数组查找对应的权重值。
2. vruntime 增量计算：每次时钟 tick 或进程切换时，计算本次运行的实际时间，然后按公式 vruntime += delta_exec × (1024 / weight) 更新。
3. 红黑树排序：更新后的 vruntime 用于在红黑树中重新定位进程，vruntime 最小的进程被选为下一个运行对象。

2.4 权重与 vruntime 的数学关系

为了更精确地理解 nice 值的影响，我们分析两个进程 A 和 B 在相同实际运行时间下的 vruntime 差异：

进程 A: nice=0, weight=1024
进程 B: nice=10, weight=110

假设两个进程都实际运行了 100ms：

vruntime_A = 100ms × (1024 / 1024) = 100ms
vruntime_B = 100ms × (1024 / 110)  ≈ 931ms

结论：进程 B 的 vruntime 增长约 9.3 倍于进程 A。
这意味着在 CFS 调度下，进程 B 会更快地被判定为“运行过多”，从而被抢占。

这种设计确保了：

• 高优先级进程（低 nice 值）：vruntime 增长慢，在红黑树中位置靠左，被频繁选中。
• 低优先级进程（高 nice 值）：vruntime 增长快，很快被推到红黑树右侧，只有在高优先级进程休眠或阻塞时才有机会运行。

2.5 权重表的内核实现

内核中权重表的定义位于 kernel/sched/core.c，其核心数据结构如下：

/*
 * 优先级权重表（从 nice=-20 到 nice=19）
 * 数组索引 0 对应 nice=-20，索引 39 对应 nice=19
 */
const int sched_prio_to_weight[40] = {
 /* -20 */ 88761, 71755, 56483, 46273, 36291,
 /* -15 */ 29154, 23254, 18705, 14949, 11916,
 /* -10 */ 9548,  7620,  6100,  4904,  3906,
 /* -5  */ 3121,  2501,  1991,  1586,  1277,
 /*  0  */ 1024,  820,   655,   526,   423,
 /*  5  */ 335,   272,   215,   172,   137,
 /* 10  */ 110,   87,    70,    56,    45,
 /* 15  */ 36,    29,    23,    18,    15,
};

该表的设计遵循一个近似等比数列关系：相邻 nice 值之间的权重比例约为 1.25（即 5/4）。这意味着每降低一个 nice 值，进程获得的 CPU 时间增加约 25%。