📚 课程目录第2章内核架构与子系统

2. 内核架构与子系统

Linux 内核并非一个单一体，而是一个由多个高度内聚、松散耦合的子系统构成的有机整体。理解这些子系统的架构、交互方式及其对性能的直接影响，是进行精准调优的前提。本章将深入剖析内核的整体架构与五大核心子系统，揭示它们如何共同决定系统的性能天花板。

Linux 内核采用宏内核架构，所有核心服务（如进程调度、内存管理、文件系统、网络协议栈）均运行在特权级的内核空间，共享同一地址空间。这种设计带来了极高的性能（因为函数调用开销极低），但也意味着任何一个子系统的缺陷都可能导致整个系统崩溃。

  架构核心观点： 性能优化的本质，是在理解各子系统资源约束与交互瓶颈的基础上，通过调整参数或算法，使系统负载与硬件能力达到最佳匹配。

从宏观视角看，内核可以抽象为三层：

进程调度器负责决定哪个进程（或线程）获得 CPU 的使用权，以及运行多长时间。其性能直接影响系统的吞吐量、响应时间和公平性。

调度器类型： 当前主流是 CFS（完全公平调度器），使用红黑树管理可运行进程，以 vruntime 为键值，保证每个进程获得公平的 CPU 时间片。
性能关键指标：
- 上下文切换（Context Switch）： 频繁切换会消耗大量 CPU 周期（保存/恢复寄存器、TLB 刷新等）。
- 调度延迟（Scheduling Latency）： 从进程变为可运行到实际获得 CPU 的时间。
- 负载均衡（Load Balance）： 多核间任务分配不均会导致“忙闲不均”，降低整体利用率。

调优提示： 对于延迟敏感型应用（如数据库、游戏服务器），可调整 kernel.sched_min_granularity_ns 和 kernel.sched_wakeup_granularity_ns 来减少调度延迟；对于计算密集型任务，可增大时间片以降低上下文切换开销。

内存管理负责虚拟地址到物理地址的映射、内存分配与回收、以及页缓存管理。其性能直接影响内存带宽、缺页异常频率和TLB 命中率。

组件	功能	性能影响
页表（Page Table）	虚拟地址 → 物理地址转换	页表层级越多（如 4 级页表），TLB 未命中时遍历开销越大
TLB（快表）	页表项的硬件缓存	TLB 命中率低会导致每次内存访问都需多次查表，严重降低性能
页缓存（Page Cache）	缓存磁盘文件数据	命中率直接影响文件 I/O 性能；脏页回刷策略影响写延迟
SLUB 分配器	内核对象缓存分配	碎片化严重时分配延迟增加，影响网络/文件系统等频繁分配的内核路径
OOM Killer	内存耗尽时选择进程杀死	触发时表明系统已严重过载，需提前通过 `vm.overcommit_memory` 等参数预防

性能陷阱： 过度使用透明大页（THP）可能导致内存碎片化加剧，并因缺页中断处理时间变长而引入微秒级延迟抖动。对于追求稳定低延迟的应用（如高频交易），建议关闭 THP。

虚拟文件系统（VFS）为上层应用提供统一的文件操作接口，底层支持多种具体文件系统（如 ext4、XFS、Btrfs）。文件系统的性能直接影响I/O 吞吐量和元数据操作延迟。

VFS 关键对象： super_block（超级块）、inode（索引节点）、dentry（目录项）、file（文件对象）。
性能关键点：
- inode 分配策略： 影响大量小文件创建/删除的性能。
- 日志模式： writeback（写回）模式性能最好但数据安全性最低；data=ordered（顺序）模式是 ext4 默认，平衡性能与安全。
- 块分配器： 如 ext4 的 mballoc，影响文件连续性和碎片化程度。

  性能对比： XFS 在处理大文件和高并发 I/O 时通常优于 ext4；而 ext4 在小文件操作和元数据密集型场景下表现更好。选择文件系统需结合业务负载特征。

Linux 网络栈是一个分层结构，从底层的网络设备驱动到上层的 socket 接口。其性能瓶颈通常出现在中断处理、内存拷贝和锁竞争上。

关键路径： 数据包到达网卡 → DMA 到 Ring Buffer → 硬中断 → 软中断（NET_RX_SOFTIRQ） → 协议栈处理（IP、TCP/UDP） → socket 接收队列 → 用户态读取。
性能优化技术：
- NAPI（New API）： 结合中断与轮询，高负载下减少中断次数。
- RPS/RFS（Receive Packet Steering / Flow Steering）： 将数据包分发到多个 CPU 核心处理，避免单核瓶颈。
- XDP（eXpress Data Path）： 在网卡驱动层直接处理数据包，绕过内核协议栈，实现超高吞吐。

调优提示： 通过 ethtool -G 增大 Ring Buffer 大小可以减少丢包；通过 smp_affinity 将网卡中断绑定到特定 CPU 核心，可提高缓存命中率。

设备驱动是内核与硬件之间的桥梁。I/O 子系统的性能瓶颈通常在于中断处理、DMA 映射和I/O 调度算法。

I/O 调度器： 对于传统 HDD，CFQ（完全公平队列）提供公平性；对于 SSD/NVMe，通常建议使用 none（无调度）或 mq-deadline，以减少调度开销。
中断合并（Interrupt Coalescing）： 通过 ethtool -C 调整，可平衡延迟与吞吐量。
异步 I/O（AIO）与 io_uring： 现代高性能 I/O 框架，io_uring 通过共享环形缓冲区减少系统调用开销，是当前性能最优的 I/O 模型。

  性能对比： 在 NVMe 设备上，使用 io_uring 相比传统 read()/write() 系统调用，IOPS 可提升 2-3 倍，延迟降低 50% 以上。