📚 课程目录第1章 io_uring概述

Linux内核io_uring异步IO框架开发实战 - 第1节

1.1 io_uring 诞生的背景

在 Linux 内核的 I/O 子系统演进过程中，高性能异步 I/O 一直是核心诉求。在 io_uring 出现之前，开发者主要依赖以下两种异步 I/O 方案，但它们各自存在难以逾越的性能瓶颈：

方案	核心机制	主要瓶颈
传统 AIO (libaio)	系统调用 `io_submit` / `io_getevents` 提交和收割 I/O	仅支持 O_DIRECT 文件；每次提交/收割仍需系统调用；内核态与用户态数据拷贝开销大
epoll + 线程池	epoll 监听事件，线程池执行读写	事件通知后仍需线程执行阻塞读写；上下文切换频繁；无法消除系统调用开销

核心痛点： 每次 I/O 操作至少需要 2 次系统调用（提交 + 收割），而系统调用本身涉及用户态/内核态切换、寄存器保存恢复、页表切换等开销。对于高 IOPS（每秒 I/O 次数）场景，系统调用开销成为主要瓶颈。

io_uring 由 Jens Axboe 于 2019 年（Linux 5.1）引入，其设计目标直指上述痛点：消除系统调用开销、支持缓冲 I/O 和 O_DIRECT、提供真正的异步语义。

1.2 io_uring 与传统 AIO / epoll 的对比

io_uring 在多个维度上对传统方案进行了根本性改进，以下表格从关键指标进行对比：

对比维度	传统 AIO (libaio)	epoll + 线程池	io_uring
系统调用次数	每次 I/O 至少 2 次	每次事件 + 每次读写	批量提交/收割，可降至接近 0
数据拷贝	内核态 ↔ 用户态拷贝	内核态 ↔ 用户态拷贝	共享内存，零拷贝
文件类型支持	仅 O_DIRECT	所有文件类型	所有文件类型（含缓冲 I/O）
异步深度	部分异步（可能阻塞）	事件通知异步，读写同步	完全异步
批量操作	支持批量提交	不支持	原生批量提交/收割
内核版本	2.5+	2.6+	5.1+

性能数据参考： 在典型 NVMe SSD 场景下，io_uring 相比传统 AIO 可降低 70% 以上的 CPU 开销，IOPS 提升 2~5 倍。对于网络 I/O 场景，结合 IORING_OP_RECVMSG / IORING_OP_SENDMSG 操作，性能同样显著优于 epoll 模型。

1.3 核心设计思想：共享提交队列 (SQ) 与完成队列 (CQ)

io_uring 的核心创新在于：通过内核与用户态共享的环形队列，彻底消除系统调用和数据拷贝开销。其架构包含两个关键数据结构：

提交队列 (Submission Queue, SQ)：用户态应用将 I/O 请求（称为 SQE，Submission Queue Entry）写入此队列，内核异步消费。
完成队列 (Completion Queue, CQ)：内核将 I/O 完成结果（称为 CQE，Completion Queue Entry）写入此队列，用户态异步读取。

两个队列均通过 mmap 映射到用户态地址空间，实现真正的 零拷贝通信。

1.3.1 工作流程

初始化：通过 io_uring_setup 系统调用创建 io_uring 实例，返回文件描述符；通过 mmap 将 SQ 和 CQ 映射到用户态。
提交阶段：应用构造 SQE（包含操作码、文件描述符、缓冲区地址、偏移量等），写入 SQ 环形队列；通过 io_uring_enter 或 io_uring_submit 通知内核。
内核处理：内核从 SQ 中取出 SQE，执行 I/O 操作（可能异步完成），将结果写入 CQ。
收割阶段：应用从 CQ 中读取 CQE，获取 I/O 结果（字节数、错误码等）。

关键优化： 当 SQ 和 CQ 均使用 IOPOLL (I/O Polling) 模式时，应用可以完全绕过系统调用，通过轮询共享内存中的队列状态来提交和收割 I/O，实现真正的 零系统调用 异步 I/O。

1.3.2 SQE 与 CQE 数据结构

SQE 和 CQE 是 io_uring 中最基本的数据单元，其核心字段如下：

结构体	关键字段	说明
struct io_uring_sqe	`opcode`	操作码（如 `IORING_OP_READV`、`IORING_OP_WRITEV`）
	`fd`	目标文件描述符
	`addr`	数据缓冲区地址（用户态虚拟地址）
	`off`	文件偏移量
struct io_uring_cqe	`user_data`	用户自定义数据（通常用于关联请求与完成）
	`res`	操作结果（成功返回字节数，失败返回负错误码）
	`flags`	完成标志（如 `IORING_CQE_F_BUFFER`）

// 典型的 io_uring 提交与收割代码片段
struct io_uring ring;
struct io_uring_sqe *sqe;
struct io_uring_cqe *cqe;

// 1. 初始化 io_uring
io_uring_queue_init(256, &ring, 0);

// 2. 获取一个空闲的 SQE
sqe = io_uring_get_sqe(&ring);
if (!sqe) {
    // 处理 SQ 满的情况
}

// 3. 填充 SQE：准备读取文件
io_uring_prep_readv(sqe, fd, &iov, 1, offset);
io_uring_sqe_set_data(sqe, my_custom_data);

// 4. 提交 SQE 到内核
io_uring_submit(&ring);

// 5. 等待并收割完成事件
io_uring_wait_cqe(&ring, &cqe);
// 处理 cqe->res 和 cqe->user_data

// 6. 标记 CQE 已消费
io_uring_cqe_seen(&ring, cqe);

// 7. 清理
io_uring_queue_exit(&ring);

注意事项： 虽然 io_uring 大幅减少了系统调用，但在某些场景下（如 SQ 满或需要立即提交时）仍需调用 io_uring_enter。高级用法中可通过 SQPOLL (Submission Queue Polling) 模式让内核线程自动轮询 SQ，实现完全无系统调用的提交路径。

1.4 本章小结

io_uring 通过共享内存环形队列的设计，从根本上解决了传统异步 I/O 方案的系统调用开销和数据拷贝问题。其核心优势可概括为：

零系统调用路径：结合 IOPOLL 和 SQPOLL 模式，可实现完全无系统调用的 I/O 提交与收割。
零拷贝通信：SQ 和 CQ 通过 mmap 共享，无需内核态与用户态之间的数据拷贝。
完全异步语义：所有 I/O 操作均为异步，不会阻塞调用线程。
统一接口：支持文件 I/O、网络 I/O、定时器、事件通知等多种操作类型。