1. 课程导论与性能全景
1.1 文件系统性能瓶颈全景分析
文件系统是操作系统中最复杂的子系统之一，其性能瓶颈往往隐藏在从应用程序 write() 系统调用到磁盘物理扇区写入的整条路径上。根据业界统计，超过 60% 的数据库和云存储性能问题最终都指向文件系统或块设备层。
核心洞察： 文件系统性能优化不是单一维度的调优，而是从 VFS 接口、具体文件系统实现、页缓存、块 I/O 层到设备调度器的全栈协同优化。
下图展示了文件系统 I/O 路径中的主要性能瓶颈节点：
1.2 性能优化方法论
文件系统性能优化遵循 测量 → 分析 → 调优 → 验证 的闭环方法论。盲目调优往往适得其反，必须基于数据驱动。
| 阶段 | 核心任务 | 常用工具 / 手段 |
|---|---|---|
| 测量 | 建立基线性能数据 | fio、iostat、blktrace |
| 分析 | 定位瓶颈层级与根因 | perf、ftrace、bpftrace |
| 调优 | 实施针对性优化措施 | 挂载参数、调度器切换、内核参数 |
| 验证 | 对比调优前后指标，确认收益 | A/B 测试、diff 分析 |
优化原则： 优先优化最深的瓶颈。如果磁盘利用率只有 30% 但 CPU 的 iowait 已经超过 40%，说明瓶颈在 I/O 调度或锁竞争，而不是磁盘带宽。
1.3 核心性能指标定义
文件系统性能由三个核心指标衡量：IOPS、吞吐量 和 延迟。三者之间存在 trade-off 关系，不能孤立看待。
1.3.1 IOPS（每秒 I/O 操作数）
IOPS 衡量系统每秒能完成的 I/O 请求数量。对于随机小 I/O（如 4KB 随机读写），IOPS 是主要瓶颈指标。
- 适用场景： 数据库 OLTP、消息队列、小文件操作
- 典型值参考： HDD ~200 IOPS（随机）、SATA SSD ~10K IOPS、NVMe SSD ~500K~1M IOPS
- 计算公式： IOPS = 总 I/O 次数 / 时间（秒）
1.3.2 吞吐量（Throughput）
吞吐量衡量单位时间内传输的数据量，通常以 MB/s 或 GB/s 为单位。对于顺序大 I/O（如 1MB 顺序读写），吞吐量是主要指标。
- 适用场景： 视频流、日志归档、大数据批处理
- 典型值参考： HDD ~150~200 MB/s、SATA SSD ~500 MB/s、NVMe SSD ~3~7 GB/s
- 计算公式： 吞吐量 = 总传输字节数 / 时间（秒）
1.3.3 延迟（Latency）
延迟衡量单个 I/O 请求从发起到完成的时间，通常以微秒（μs）或毫秒（ms）为单位。延迟是用户体验最直接的感知指标。
- 适用场景： 实时系统、金融交易、交互式应用
- 典型值参考： 内存访问 ~100 ns、NVMe ~10~100 μs、SATA SSD ~100~500 μs、HDD ~5~15 ms
- 关键分位： P50（中位数）、P99（99% 请求延迟）、P999（99.9% 请求延迟）
常见误区： 不要只看平均延迟。平均延迟会掩盖长尾问题。例如，P99 延迟从 2ms 飙升到 200ms 时，平均延迟可能只从 1ms 涨到 3ms，但用户已经感受到明显卡顿。
1.4 指标关系与权衡
下图展示了 IOPS、吞吐量和延迟之间的典型关系：
1.5 性能指标速查表
| 指标 | 单位 | 典型测量工具 | 优化目标 |
|---|---|---|---|
| IOPS | ops/s | fio --rw=randread --bs=4k |
越高越好 |
| 吞吐量 | MB/s | fio --rw=read --bs=1M |
越高越好 |
| 平均延迟 | ms / μs | iostat -x 1 (await) |
越低越好 |
| P99 延迟 | ms / μs | fio --lat_percentiles=1 |
越低越好 |
| 队列深度 | requests | iostat -x 1 (avgqu-sz) |
匹配设备能力 |
| CPU iowait | % | top / mpstat |
越低越好 |
1.6 本课程覆盖范围
本课程从 VFS 接口到底层块设备调度，逐层深入：
- VFS 层： 系统调用开销、dentry/ inode 缓存、锁竞争优化
- 具体文件系统： ext4 延迟分配、XFS 日志优化、Btrfs CoW 调优
- 页缓存： 脏页比例、回写策略、预读算法
- 块 I/O 层： 请求合并、队列深度、多队列 blk-mq
- I/O 调度器： CFQ / deadline / noop / kyber / BFQ 选型与调参
- 块设备： NVMe 多队列、磁盘分区对齐、RAID 条带大小
课程目标： 学完本课程后，你将能够独立诊断文件系统性能问题，并给出从挂载参数到内核调度器的完整优化方案。