2. 操作系统调度基础：进程与线程的区别、上下文切换开销、CPU调度算法（FCFS、SJF、RR）回顾
各位同学，咱们今天聊点硬核的。操作系统调度，说白了就是CPU怎么分时间给任务。你想想看，一个CPU核心同一时刻只能跑一个指令流，但我们的电脑却能同时开浏览器、IDE、音乐播放器——这背后全靠调度算法在撑场面。
我个人习惯把调度比作「餐厅后厨」。进程是完整的套餐订单，线程是订单里的每道菜。厨师（CPU）怎么安排做菜顺序，直接决定了顾客（用户）的体验。嗯，咱们今天就好好拆解一下这个后厨的运作逻辑。
核心认知：调度不是「谁先来谁先走」这么简单。它是在吞吐量、响应时间、公平性之间做权衡。我在项目中见过太多因为调度策略选错导致系统卡死的案例，所以这部分基础一定要打牢。
2.1 进程与线程：到底差在哪？
很多初学者觉得进程和线程差不多，其实差远了。我打个比方：进程就像一家独立的公司，有自己的办公场地（地址空间）、财务（资源）、员工（线程）。线程就是公司里的员工，共享办公场地和资源，但各自干各自的活。
进程的特点：
- 每个进程有独立的地址空间，互不干扰
- 进程间通信（IPC）需要走管道、消息队列、共享内存等机制
- 创建和销毁开销大——我记得在某个嵌入式项目中，频繁创建进程直接把系统拖垮了
线程的特点：
- 同一进程内的线程共享地址空间和文件描述符
- 线程间通信几乎零成本，直接读写全局变量就行
- 但要注意——共享意味着竞争，不加锁就会出乱子
我的经验：在I/O密集型的场景下，多线程比多进程划算得多。比如Web服务器，用线程池处理请求，比每个请求fork一个进程要轻量10倍以上。但如果是CPU密集型计算，多进程反而能避免GIL的限制（Python开发者懂的）。
2.2 上下文切换：看不见的性能杀手
上下文切换，说白了就是CPU从一个任务切到另一个任务时，要保存当前状态、加载新状态。这个过程是有代价的——而且代价不小。
切换开销包括：
- 保存/恢复寄存器（通用寄存器、程序计数器、栈指针等）
- TLB（页表缓存）失效，导致后续内存访问变慢
- CPU缓存污染，新任务的数据不在缓存里，得从内存重新加载
我曾经在一个高并发网关项目里踩过坑。当时线程数开到了2000，结果CPU利用率只有30%，吞吐量反而下降了。一查才发现，大部分CPU时间都花在上下文切换上了。你想想看，线程切来切去，真正干活的时间反而少了。
避坑指南：我曾经以为线程越多越好，结果被现实狠狠教育了。一般来说，线程数 = CPU核心数 × (1 + 等待时间/计算时间) 这个公式比较靠谱。I/O密集型可以多开，CPU密集型别超过核心数太多。
2.3 CPU调度算法：三种经典策略
调度算法是操作系统的核心决策模块。咱们回顾三种最经典的：FCFS、SJF、RR。这三种算法各有各的脾气，选错了就是灾难。
2.3.1 先来先服务（FCFS）
FCFS，就是排队。谁先到谁先上CPU。听起来公平，但有个大问题——护航效应。
举个例子：一个长任务（比如视频转码）先来了，占着CPU不放。后面一堆短任务（比如鼠标点击响应）只能干等。结果就是：长任务跑完了，短任务的响应时间已经爆炸了。
我在一个批处理系统里见过这种场景。一个大数据分析任务跑了20分钟，后面所有的小查询都卡死了。用户以为系统挂了，其实只是FCFS在作祟。
2.3.2 短作业优先（SJF）
SJF的思路很直接：谁短谁先跑。这样可以最小化平均等待时间。理论上，SJF是最优的——但有个致命缺陷：你没法预知任务要跑多久。
实际系统中，SJF通常用「预估执行时间」来近似。比如根据历史记录估算，或者让用户自己声明。但预估不准的话，效果还不如FCFS。
注意：SJF有抢占式版本（SRTF）和非抢占式版本。抢占式版本更公平一些，但上下文切换次数也更多。我建议在实时性要求不高的场景下用非抢占式，减少切换开销。
2.3.3 时间片轮转（RR）
RR是FCFS的改良版。每个任务分一个时间片（比如10ms），时间到了就强制切换。这样每个任务都能得到响应，不会出现「长任务饿死短任务」的情况。
时间片的选择很关键：
- 时间片太大 → 退化成FCFS，响应变差
- 时间片太小 → 上下文切换太频繁，CPU利用率下降
我记得Linux内核默认的时间片是100ms（CFS调度器用的是虚拟时间，但原理类似）。这个值经过大量测试，在大多数场景下表现不错。但如果你做的是实时系统，可能需要调到1ms甚至更小。
2.4 三种算法的对比
| 算法 | 优点 | 缺点 | 适用场景 |
|---|---|---|---|
| FCFS | 实现简单，公平（按到达顺序） | 护航效应，短任务响应差 | 批处理系统，任务长度相近 |
| SJF | 平均等待时间最小 | 需要预估执行时间，可能饿死长任务 | 任务长度已知的批处理系统 |
| RR | 响应时间均匀，交互性好 | 上下文切换开销大，时间片难调 | 分时系统，交互式应用 |
2.5 知识体系图：调度基础全景
下面这张图帮你理清本章的知识脉络。从进程线程的区别出发，到上下文切换的开销，再到三种调度算法的对比——这是一条完整的认知链路。
一句话总结：进程是资源分配的最小单位，线程是CPU调度的最小单位。上下文切换是性能的隐形杀手，调度算法的选择决定了系统的「性格」——是偏向吞吐量还是响应时间。
好了，调度基础就聊到这儿。这些概念虽然基础，但它们是后续理解多通道并发调度的基石。你想想看，如果连进程线程都分不清，怎么去设计几十万并发连接的调度策略？
公众号:蓝海资料掘金营，微信deep3321