在上一篇 04-CPU篇-指令集 中，我们了解了指令集如何驱动 CPU 执行计算。然而，仅仅让 CPU 逐条执行指令，远远无法构建现代计算机系统。一个根本性的问题浮现出来：单颗 CPU 如何同时服务于多个程序？
这个问题的答案涉及两个核心机制——进程与中断。进程是操作系统对执行实体的抽象，中断则是 CPU 响应外部事件的硬件机制。二者协同工作，构成了多任务系统的基石。没有中断，CPU 就是一座与世隔绝的计算孤岛；没有进程，多任务就失去了调度的基本单位。理解进程与中断的交互原理，是理解整个操作系统架构的关键入口。
中断（Interrupt） 是 CPU 响应内外部异步事件的一种硬件机制。当某个事件发生时，CPU 暂停当前执行流，保存现场，转而执行对应的中断处理程序，完成后再恢复现场继续执行。
中断的本质是控制流的强制转移。它打破了 CPU 顺序执行指令的固有模式，使 CPU 具备了对异步事件的响应能力。许式伟在课程中强调：中断机制是计算机从"计算器"迈向"计算机系统"的关键转折点——没有中断，CPU 就无法感知 I/O 设备的状态变化，也无法实现分时复用。
关键区分：
| 维度 | 外部中断（硬件中断） | 内部中断（异常） |
|---|---|---|
| 触发源 | CPU 外部设备信号 | CPU 执行指令过程中产生 |
| 异步性 | 完全异步，与指令流无关 | 同步，与当前指令相关 |
| 可屏蔽性 | INTR 可通过 IF 标志位屏蔽 | 不可屏蔽 |
| 典型场景 | 磁盘 I/O 完成、定时器到时 | 缺页、系统调用、除零 |
| 返回行为 | 返回被中断的下一条指令 | 依类型不同（见上图） |
进程（Process） 是操作系统对正在运行的程序的抽象。它是资源分配的基本单位，包含代码段、数据段、堆栈、文件描述符、地址空间等一系列运行时上下文。
进程的本质是一个执行中的程序实例加上其完整的运行环境。许式伟指出，进程的设计体现了操作系统最核心的抽象能力：将物理 CPU 虚拟化为多个逻辑 CPU，使每个进程都以为自己在独占一台计算机。
状态转换要点：
进程和中断的关系并非简单并列，而是深度耦合：中断是进程切换的触发器和实现基础。没有中断机制，进程调度就无从谈起。
x86 架构中，中断处理的关键数据结构是中断描述符表（Interrupt Descriptor Table, IDT）。IDT 是一个由 256 个表项组成的数组，每个表项是一个 8 字节（32 位模式）或 16 字节（64 位模式）的描述符，包含：
中断门与陷阱门的区别：中断门在进入处理程序时自动清除 IF 标志位（屏蔽后续可屏蔽中断），而陷阱门不会。这就是为什么系统调用（如 int 0x80）使用陷阱门——允许在内核态响应中断，避免因长时间屏蔽中断导致系统响应延迟（现代 64 位程序常用的 syscall 指令则不经 IDT，由专用寄存器入口直接进入内核）。
| 维度 | 中断上下文 | 进程上下文 |
|---|---|---|
| 执行实体 | 无对应进程，是内核的一部分 | 绑定到具体进程的 PCB |
| 可睡眠性 | 不可睡眠，不可调用可能阻塞的函数 | 可以睡眠、阻塞 |
| 调度 | 不参与调度，执行完即返回 | 可被调度器换出 |
| 栈 | 使用当前进程的内核栈（或专用中断栈） | 有独立的用户栈和内核栈 |
| 抢占性 | 通常中断处理不可被进程抢占 | 可被中断抢占 |
| 时间约束 | 必须快速完成（微秒级） | 无严格时间约束 |
这一区别具有深远的工程意义：中断处理程序中绝不能调用可能睡眠的函数（如 kmalloc(GFP_KERNEL)、mutex_lock、wait_event），否则会导致系统死锁或崩溃。这是内核开发中最常见的陷阱之一。
上下文切换（Context Switch）是操作系统中最核心也最昂贵的操作之一。它涉及两方面的切换：地址空间切换和处理器状态切换。
上下文切换是操作系统中最昂贵的操作之一，其开销来源包括：
关键性能洞察：
中断处理的核心矛盾在于：中断需要尽快处理以恢复系统响应能力，但某些处理逻辑又需要较长的执行时间。如果在中断上下文中执行耗时操作，会阻塞后续中断，导致系统响应延迟甚至丢中断。
Linux 内核的解决方案是将中断处理分为两层：
| 维度 | 上半部 Top Half | 下半部 Bottom Half |
|---|---|---|
| 执行上下文 | 中断上下文 | 进程上下文（Softirq/Tasklet 在软中断上下文） |
| 可睡眠 | 不可 | Workqueue 可以；Softirq/Tasklet 不可以 |
| 中断状态 | 可屏蔽同类中断 | 中断完全开启 |
| 时间约束 | 极短，微秒级 | 相对宽松，毫秒级 |
| 典型任务 | 应答设备、拷贝数据 | 协议解析、数据包处理 |
| 调度 | 不参与 | Workqueue 可参与调度 |
Softirq vs Tasklet vs Workqueue 的选型原则：
核心权衡：上半部处理越少，系统对后续中断的响应越快；但下半部延迟越大，事件处理的整体延迟也越大。这是一个延迟 vs 响应性的经典权衡。对于实时系统，这个权衡尤为关键——硬实时系统往往不允许任何中断延迟，因此可能需要完全不同的中断模型。
| 进程粒度 | 优势 | 劣势 | 典型场景 |
|---|---|---|---|
| 粗粒度（少量长生命周期进程） | 上下文切换少，缓存命中率高 | 并发度低，资源利用率低 | 批处理系统 |
| 细粒度（大量短生命周期进程） | 并发度高，响应性好 | 切换开销大，缓存失效频繁 | 交互式系统 |
| 线程级并发 | 共享地址空间，切换开销小 | 同步复杂，安全性差 | 高并发服务 |
| 协程级并发 | 用户态切换，开销极小 | 无法利用多核，需协作式调度 | I/O 密集型服务 |
这正是 13-多任务-进程、线程与协程 中深入讨论的核心问题——从进程到线程再到协程，本质是在隔离性与切换开销之间寻找最佳平衡点。
中断屏蔽是一把双刃剑：
设计原则：中断屏蔽区域（临界区）必须尽可能短，只保护真正需要原子操作的代码段。在可抢占内核中，这一问题更为复杂——还需要结合自旋锁（spinlock）来防止其他 CPU 同时访问共享数据。
| 维度 | 中断驱动 | 轮询 Polling |
|---|---|---|
| CPU 利用率 | 空闲时 CPU 完全释放 | 空闲时 CPU 忙等待 |
| 响应延迟 | 取决于中断延迟（低） | 取决于轮询周期（可控但较高） |
| 高负载表现 | 中断风暴可能压垮 CPU | 轮询开销固定，高吞吐下更稳定 |
| 适用场景 | 低频、不规律的事件 | 高频、规律的事件（如高速网络） |
现代趋势：高速网络（10Gbps+）场景下，中断驱动模型面临"中断风暴"问题——每秒数百万个数据包产生同等数量的中断，导致 CPU 花费大量时间在中断处理上。解决方案是 NAPI（New API） 模型：混合中断与轮询，首次数据包到达时触发中断，之后切换到轮询模式批量处理，当队列为空时再切回中断模式。
Linux 内核调度器的演进是理解进程与中断交互的绝佳案例：
时钟中断在调度器中扮演的角色：它是调度决策的触发时机。每次时钟中断，内核更新当前进程的时间统计，检查是否需要抢占，实现了从"运行态"到"就绪态"的状态转换。
缺页异常（Page Fault）是中断驱动惰性分配的经典实现，也是 12-内存管理-堆与栈 中内存管理的关键机制：
这个案例完美展示了异常（Fault 类）如何与进程状态转换配合：磁盘 I/O 期间进程从运行态转为阻塞态，I/O 完成后由中断唤醒转为就绪态，最终被调度器选中恢复执行。
// 错误！在中断上下文中调用可能睡眠的函数
irqreturn_t my_interrupt_handler(int irq, void *dev_id)
{
// BUG: kmalloc(GFP_KERNEL) 可能睡眠
void *buf = kmalloc(PAGE_SIZE, GFP_KERNEL);
// BUG: mutex_lock 可能睡眠
mutex_lock(&my_mutex);
// BUG: copy_from_user 可能睡眠（缺页时）
copy_from_user(buf, user_ptr, size);
// 正确做法：在中断上下文中用 kmalloc(PAGE_SIZE, GFP_ATOMIC)，
// 或注册 workqueue/tasklet 在下半部处理
}后果：系统死锁、内核 panic、不可预测的行为。因为中断没有对应的进程上下文，调度器无法将其挂起并重新调度。
当设备产生中断的速度超过 CPU 处理中断的速度时，系统将陷入"中断风暴"——CPU 将所有时间花在中断处理上，无法推进任何进程的执行。典型场景：
防御策略：中断节流（Interrupt Throttling）、NAPI 混合模式、中断合并（Interrupt Coalescing）。
这张图揭示了现代操作系统的核心架构分层：
中断是多任务的硬件基础：没有中断机制，CPU 就无法实现分时复用。时钟中断是进程调度的触发器，I/O 中断是进程状态转换的驱动器。理解操作系统的运行机制，必须从理解中断开始。
进程是资源隔离与调度的核心抽象：进程通过虚拟地址空间实现了内存隔离，通过 PCB 封装了完整的运行上下文，通过状态机模型实现了多任务的有序调度。进程切换的代价（尤其是 TLB 刷新和缓存失效）是影响系统性能的关键因素。
中断处理必须分层：上半部在中断上下文中快速响应设备，下半部在进程上下文中完成核心逻辑。违反这一原则——在中断上下文中执行耗时或可睡眠的操作——是内核开发中最常见也最致命的错误之一。
上下文切换是进程与中断的交汇点：切换过程涉及硬件自动保存（EFLAGS/CS/EIP）、软件保存（通用寄存器/FPU）、地址空间切换（CR3/TLB）和调度决策四个阶段。其中间接开销（缓存失效）远大于直接开销（寄存器保存），这是性能优化的关键认知。
中断驱动与轮询的混合是高性能系统的必然选择：纯中断驱动在低负载下高效，但在高负载下面临中断风暴；纯轮询在低负载下浪费 CPU，但在高负载下吞吐稳定。NAPI 等混合模型代表了这一 Trade-off 的工程最优解，也体现了架构设计中"没有银弹"的核心思想。
延伸阅读：
- 04-CPU篇-指令集 — 理解指令集是理解中断机制的硬件基础
- 12-内存管理-堆与栈 — 缺页异常与内存管理的深度关联
- 13-多任务-进程、线程与协程 — 进程粒度的权衡与线程/协程的演进
- 11-进程间通信：进程间通信都有哪些方法 — 进程间通信与同步机制