1. CPU时间片分配机制的本质
现代操作系统的多任务处理能力，本质上是通过时间片轮转算法实现的虚拟并发。当我们在Linux系统上同时运行多个程序时，表面上看起来这些程序在"同时"运行，实际上CPU在任何时刻都只在执行一个线程的指令。这种并发的假象，正是通过给每个任务分配微小的时间片段（通常5-100毫秒）并快速切换来实现的。
内核调度器就像一位严谨的交通警察，它需要决定：
- 哪些进程可以获得CPU资源
- 每个进程能占用多长时间
- 何时进行上下文切换
- 如何平衡系统吞吐量和响应延迟
2. Linux调度器演进史
2.1 O(n)调度器
早期Linux采用简单的轮询调度，维护一个全局运行队列。每次调度时需要遍历所有就绪任务，时间复杂度O(n)。随着系统负载升高，调度延迟明显增加。
2.2 O(1)调度器
2.6内核引入的革新性设计：
- 为每个CPU维护active和expired两个优先级数组
- 采用140个优先级队列（0-99实时，100-139普通）
- 位图快速查找最高优先级任务
- 时间复杂度稳定为O(1)
2.3 CFS调度器
2.6.23内核开始采用的完全公平调度器：
- 抛弃固定时间片概念
- 基于红黑树实现
- 按进程权重分配CPU比例
- 追求最小调度延迟
3. CFS调度器核心算法
3.1 虚拟运行时间(vruntime)
CFS的核心思想是维护每个任务的vruntime：
code复制vruntime = 实际运行时间 * NICE_0_LOAD / 任务权重
其中：
- NICE_0_LOAD是基准权重(1024)
- 任务权重由nice值决定（-20~19对应权重100~5）
3.2 红黑树管理
所有可运行任务按vruntime排序存入红黑树：
- 最左侧节点vruntime最小
- 调度时选择最左节点执行
- 插入/删除时间复杂度O(log n)
3.3 时间分配公式
理想状态下，任务i应获得的CPU时间为：
code复制time_i = (weight_i / sum_weight) * period
CFS通过动态调整vruntime增长速率来实现这个目标。
4. 实时进程调度策略
4.1 SCHED_FIFO
- 静态优先级(1-99)
- 抢占式调度
- 直到主动放弃CPU
- 适合硬实时任务
4.2 SCHED_RR
- 在FIFO基础上增加时间片
- 默认时间片100ms
- 用完后排到队列末尾
- 适合软实时系统
注意：实时进程优先级总是高于普通进程，可能造成普通进程饿死
5. 调度器关键参数调优
5.1 /proc/sys/kernel/sched_min_granularity_ns
最小调度粒度（默认4ms），影响：
- 上下文切换频率
- 交互式响应速度
- 系统吞吐量
5.2 /proc/sys/kernel/sched_latency_ns
目标调度延迟（默认24ms），计算公式：
code复制调度周期 = max(最小粒度*任务数, 目标延迟)
5.3 /proc/sys/kernel/sched_wakeup_granularity_ns
唤醒抢占粒度（默认8ms），决定：
- 新唤醒进程何时能抢占当前进程
- 平衡唤醒延迟与缓存局部性
6. 多核负载均衡
6.1 调度域拓扑
现代CPU通常包含：
- SMT（超线程）
- 物理核心
- L3缓存域
- NUMA节点
6.2 负载均衡策略
- 定期检查负载差异（默认1ms）
- 主动迁移过载CPU上的任务
- 考虑缓存亲和性
- 避免乒乓迁移
7. 性能观测工具
7.1 perf sched
code复制perf sched record -a sleep 1
perf sched latency
输出包含：
- 任务等待时间
- 迁移次数
- 调度延迟分布
7.2 /proc/sched_debug
完整调度器内部状态：
- 运行队列信息
- 当前负载
- 历史统计数据
7.3 bpftrace跟踪
code复制bpftrace -e 'tracepoint:sched:sched_switch { @[kstack] = count(); }'
捕获高频调度路径
8. 典型问题排查
8.1 CPU饱和度诊断
code复制vmstat 1
关注：
- r列：就绪队列长度
- us/sy列：用户/系统CPU占比
8.2 调度延迟问题
code复制cyclictest -m -p90 -n -D 1h
测量实际调度延迟
8.3 优先级反转
表现为高优先级任务被阻塞，解决方法：
- 优先级继承
- 优先级天花板协议
- 资源预分配
9. 容器环境特殊考量
9.1 Cgroup CPU限制
- cpu.shares：相对权重
- cpu.cfs_period_us：周期长度
- cpu.cfs_quota_us：配额上限
9.2 Kubernetes QoS策略
- Guaranteed：固定配额
- Burstable：弹性共享
- BestEffort：剩余资源
10. 最佳实践建议
- 交互式进程适当提高nice值
- 批量任务使用SCHED_BATCH策略
- 避免实时进程滥用
- 考虑CPU亲和性绑定
- 监控调度器关键指标