🍊柑橘 RSS 阅读器 - 鸿蒙首款原生 RSS 阅读器

Linux 异步 I/O 的范式转移：liburing 技术原理、实践进展与未来展望

在现代高性能计算与大规模分布式系统的演进过程中，输入/输出（I/O）子系统的效率始终是制约系统吞吐量与响应延迟的核心瓶颈。随着硬件性能的飞速发展，特别是 NVMe 存储设备和百兆比特以太网的普及，传统 I/O 模型的局限性日益凸显。

在这一背景下，io_uring 及其配套库 liburing 的出现，不仅是对原有异步 I/O 接口的重构，更是 Linux 内核 I/O 范例的一次深刻革命。

1. 技术背景与编程模型的范式转换

1.1 从 Reactor 到 Proactor 的飞跃

传统的高并发网络编程主要依赖 Reactor 模式（如 epoll）。这种模式是”就绪驱动”的：内核告知应用”数据已到达，你可以读了”，应用随后发起同步调用进行数据搬运。这导致了频繁的系统调用边界跨越和内核/用户空间的上下文切换。

io_uring 引入了 Proactor 模式，实现了真正的”完成驱动”：应用直接下发”请把数据读到这个缓冲区，完成后告诉我”的指令，内核在后台异步完成读操作及数据搬运，最后将结果推入完成队列。

代码线性化：在支持 async/await 的语言（如 Rust）中，io_uring 可以直接映射为 Future，消除回调地狱，使异步代码逻辑接近同步代码。
并发层级化：epoll 倾向于单线程事件循环以规避锁竞争，而 io_uring 天生支持多线程并行提交请求，内核会自动调度 worker 线程池处理阻塞性任务。

2.1 共享环形缓冲区（SQ & CQ）

io_uring 的核心是两个基于共享内存的环形队列：

提交队列（SQ）：应用作为生产者写入提交项（SQE），内核作为消费者读取。
完成队列（CQ）：内核作为生产者写入结果项（CQE），应用作为消费者读取。

这种双环结构利用内存屏障和原子操作实现了锁无关（Lockless）同步，规避了内核锁竞争开销。

2.2 资源注册优化：固定 FD 与缓冲区

为了进一步压榨性能，io_uring 支持资源提前注册：

固定文件描述符（Fixed FDs）：内核在处理请求时无需频繁增加/减少文件引用计数，减少了高并发下的原子锁争用。
固定缓冲区（Fixed Buffers）：通过 io_uring_register_buffers() 提前钉住用户内存页，允许内核设备通过 DMA 直接访问，跳过了每请求一次的虚拟地址映射和内存拷贝。

2.3 内核轮询（SQPOLL）的动态调度

针对极端性能需求，SQPOLL 模式允许专门的内核线程 sqthread 持续轮询提交队列。

高负荷状态：线程占用 100% CPU 以换取”零系统调用”延迟。
空闲休眠：若在 sq_thread_idle 时间内无请求，线程会进入休眠，应用需通过 io_uring_enter() 唤醒，从而兼顾了资源利用率。

3. 网络编程的深度优化：多次触发与零拷贝

3.1 多次触发（Multishot）模式

原本的 io_uring 遵循”一请一回”逻辑。现代内核强化了 Multishot 功能：

Multishot Accept：提交一次请求，内核会持续产生新连接的 CQE，直到被取消。
Multishot Receive：内核自动从预分配的缓冲区环中挑选可用块，并在数据到达时连续产生通知。配合 IORING_CQE_F_MORE 标志，应用可以极低开销处理高频小包。

3.2 2025 年的重大进展：Zero-Copy Rx

在 Linux 6.15 中，io_uring 实现了网络接收路径的全零拷贝。其依赖于：

头部/数据分离（Header/Data Split）：协议栈处理 TCP 头部，而 Payload 直接通过 DMA 投递到用户空间预分配内存。
流引导（Flow Steering）与 RSS：确保流量精准命中配置了零拷贝的硬件队列。

实测表明，在 400 Gb/s 环境下，该技术能使内存带宽占用减半，吞吐量提升至 epoll 的 2.5 倍。

延伸阅读：零拷贝并非银弹——关于 sendfile/splice/io_uring 零拷贝路径的隐藏成本与适用边界，详见 Zero Copy 的脏真相：它什么时候反而更慢。

4. 成熟项目的实践案例与性能成果

项目	使用方式	取得成果 (2024-2025 数据)
PostgreSQL 18	取代传统辅助线程池，主进程直连 SQ	事务率从 1.65 万 tx/s 提升至 54.65 万 tx/s
RocksDB	集成 C++ 协程，实现两阶段异步 Seek	随机读吞吐量提升 2-5 倍，I/O 延迟降低 50-80%
Envoy Proxy	实验性 TCP 监听与连接支持	吞吐量增加 10%，延迟降低 10%
Ceph BlueStore	异步块读写后端	4KB 随机写 IOPS 提升 18%，长尾延迟下降 80%
QEMU 10.2	主循环全面基于 io_uring 驱动	虚拟机磁盘 I/O 接近物理 NVMe 极限

5. 性能边界与适用性分析

研究发现，io_uring 并非在所有场景下都优于 epoll：

乒乓模式 vs 流式模式：在 Request-Response（乒乓）模式下，io_uring 优势巨大；但在单链接顺序流（如大文件下载，I/O 深度=1）中，由于框架开销，性能可能略逊于 psync 或 epoll。
批量（Batching）是关键：当单次下发的请求数 \(n\) 较小时，无法有效分摊系统调用成本，只有在 \(n > 1\) 或启用 SQPOLL 时，性能优势才会指数级放大。

6. 安全挑战与可观测性调试

6.1 安全风险：绕过审计系统

io_uring 允许不经过传统系统调用（如 read/write）执行操作，这使得许多基于系统调用挂钩（Hooking）的安全工具（如 Falco, Defender）产生”盲点”。

Curing Rootkit：研究人员已证明利用 io_uring 构建完全不触发传统审计的后门是可行的。

6.2 调试工具链

bpftrace：通过挂载到 tracepoint:io_uring:io_uring_submit_sqe 等内核探针，开发者可以实时观测请求的流向和内核线程的活跃状态。
uring-trace：基于 eBPF 的可视化工具，能绘制请求从提交到完成的完整生命周期路径图。

7. 展望与预测：2026 年的技术版图

基础设施 Rust 化：随着 Rust 进入内核，基于 io_uring 的 Rust 异步运行时（如 monoio）将成为高频交易和云原生的首选，其实测延迟表现优于现有成熟框架约 15 微秒。
GPU I/O 深度融合：通过 io_uring 实现 GPU 直接发起的异步 I/O，消除 CPU 在 AI 推理数据搬运中的损耗。
内核任务编排器：io_uring 将演变为通用的内核任务分发引擎，通过 IORING_OP_MSG_RING 实现跨核心、跨设备的高效指令编排。

8. 结论

liburing 与 io_uring 的组合不仅提升了性能，更重塑了 Linux 下高性能软件的开发思维。虽然安全风险和编程复杂度仍是门槛，但在 2025 年后的万物互联与 AI 计算时代，深度驾驭这一异步范式已成为系统级架构师的必修课。

下一篇: 02-vs-epoll-performance.md - io_uring vs epoll 性能与架构对比

返回 io_uring 系列索引

同主题继续阅读

把当前热点继续串成多页阅读，而不是停在单篇消费。

2026-03-14 · linux / io_uring

Linux 异步 I/O 的范式转移：liburing 技术原理、实践进展与未来展望

在这一背景下，io_uring 及其配套库 liburing 的出现，不仅是对原有异步 I/O 接口的重构，更是 Linux 内核 I/O 范例的一次深刻革命。

1. 技术背景与编程模型的范式转换

1.1 从 Reactor 到 Proactor 的飞跃

代码线性化：在支持 async/await 的语言（如 Rust）中，io_uring 可以直接映射为 Future，消除回调地狱，使异步代码逻辑接近同步代码。
并发层级化：epoll 倾向于单线程事件循环以规避锁竞争，而 io_uring 天生支持多线程并行提交请求，内核会自动调度 worker 线程池处理阻塞性任务。

2.1 共享环形缓冲区（SQ & CQ）

io_uring 的核心是两个基于共享内存的环形队列：

提交队列（SQ）：应用作为生产者写入提交项（SQE），内核作为消费者读取。
完成队列（CQ）：内核作为生产者写入结果项（CQE），应用作为消费者读取。

这种双环结构利用内存屏障和原子操作实现了锁无关（Lockless）同步，规避了内核锁竞争开销。

2.2 资源注册优化：固定 FD 与缓冲区

为了进一步压榨性能，io_uring 支持资源提前注册：

固定文件描述符（Fixed FDs）：内核在处理请求时无需频繁增加/减少文件引用计数，减少了高并发下的原子锁争用。
固定缓冲区（Fixed Buffers）：通过 io_uring_register_buffers() 提前钉住用户内存页，允许内核设备通过 DMA 直接访问，跳过了每请求一次的虚拟地址映射和内存拷贝。

2.3 内核轮询（SQPOLL）的动态调度

针对极端性能需求，SQPOLL 模式允许专门的内核线程 sqthread 持续轮询提交队列。

高负荷状态：线程占用 100% CPU 以换取”零系统调用”延迟。
空闲休眠：若在 sq_thread_idle 时间内无请求，线程会进入休眠，应用需通过 io_uring_enter() 唤醒，从而兼顾了资源利用率。

3. 网络编程的深度优化：多次触发与零拷贝

3.1 多次触发（Multishot）模式

原本的 io_uring 遵循”一请一回”逻辑。现代内核强化了 Multishot 功能：

Multishot Accept：提交一次请求，内核会持续产生新连接的 CQE，直到被取消。
Multishot Receive：内核自动从预分配的缓冲区环中挑选可用块，并在数据到达时连续产生通知。配合 IORING_CQE_F_MORE 标志，应用可以极低开销处理高频小包。

3.2 2025 年的重大进展：Zero-Copy Rx

在 Linux 6.15 中，io_uring 实现了网络接收路径的全零拷贝。其依赖于：

头部/数据分离（Header/Data Split）：协议栈处理 TCP 头部，而 Payload 直接通过 DMA 投递到用户空间预分配内存。
流引导（Flow Steering）与 RSS：确保流量精准命中配置了零拷贝的硬件队列。

实测表明，在 400 Gb/s 环境下，该技术能使内存带宽占用减半，吞吐量提升至 epoll 的 2.5 倍。

延伸阅读：零拷贝并非银弹——关于 sendfile/splice/io_uring 零拷贝路径的隐藏成本与适用边界，详见 Zero Copy 的脏真相：它什么时候反而更慢。

4. 成熟项目的实践案例与性能成果

项目	使用方式	取得成果 (2024-2025 数据)
PostgreSQL 18	取代传统辅助线程池，主进程直连 SQ	事务率从 1.65 万 tx/s 提升至 54.65 万 tx/s
RocksDB	集成 C++ 协程，实现两阶段异步 Seek	随机读吞吐量提升 2-5 倍，I/O 延迟降低 50-80%
Envoy Proxy	实验性 TCP 监听与连接支持	吞吐量增加 10%，延迟降低 10%
Ceph BlueStore	异步块读写后端	4KB 随机写 IOPS 提升 18%，长尾延迟下降 80%
QEMU 10.2	主循环全面基于 io_uring 驱动	虚拟机磁盘 I/O 接近物理 NVMe 极限

5. 性能边界与适用性分析

研究发现，io_uring 并非在所有场景下都优于 epoll：

乒乓模式 vs 流式模式：在 Request-Response（乒乓）模式下，io_uring 优势巨大；但在单链接顺序流（如大文件下载，I/O 深度=1）中，由于框架开销，性能可能略逊于 psync 或 epoll。
批量（Batching）是关键：当单次下发的请求数 \(n\) 较小时，无法有效分摊系统调用成本，只有在 \(n > 1\) 或启用 SQPOLL 时，性能优势才会指数级放大。

6. 安全挑战与可观测性调试

6.1 安全风险：绕过审计系统

io_uring 允许不经过传统系统调用（如 read/write）执行操作，这使得许多基于系统调用挂钩（Hooking）的安全工具（如 Falco, Defender）产生”盲点”。

Curing Rootkit：研究人员已证明利用 io_uring 构建完全不触发传统审计的后门是可行的。

6.2 调试工具链

bpftrace：通过挂载到 tracepoint:io_uring:io_uring_submit_sqe 等内核探针，开发者可以实时观测请求的流向和内核线程的活跃状态。
uring-trace：基于 eBPF 的可视化工具，能绘制请求从提交到完成的完整生命周期路径图。

7. 展望与预测：2026 年的技术版图

基础设施 Rust 化：随着 Rust 进入内核，基于 io_uring 的 Rust 异步运行时（如 monoio）将成为高频交易和云原生的首选，其实测延迟表现优于现有成熟框架约 15 微秒。
GPU I/O 深度融合：通过 io_uring 实现 GPU 直接发起的异步 I/O，消除 CPU 在 AI 推理数据搬运中的损耗。
内核任务编排器：io_uring 将演变为通用的内核任务分发引擎，通过 IORING_OP_MSG_RING 实现跨核心、跨设备的高效指令编排。

8. 结论

下一篇: 02-vs-epoll-performance.md - io_uring vs epoll 性能与架构对比

返回 io_uring 系列索引

同主题继续阅读

把当前热点继续串成多页阅读，而不是停在单篇消费。

2026-03-14 · linux / io_uring

Linux 异步 I/O 的范式转移：liburing 技术原理、实践进展与未来展望

在这一背景下，io_uring 及其配套库 liburing 的出现，不仅是对原有异步 I/O 接口的重构，更是 Linux 内核 I/O 范例的一次深刻革命。

1. 技术背景与编程模型的范式转换

1.1 从 Reactor 到 Proactor 的飞跃

代码线性化：在支持 async/await 的语言（如 Rust）中，io_uring 可以直接映射为 Future，消除回调地狱，使异步代码逻辑接近同步代码。
并发层级化：epoll 倾向于单线程事件循环以规避锁竞争，而 io_uring 天生支持多线程并行提交请求，内核会自动调度 worker 线程池处理阻塞性任务。

2.1 共享环形缓冲区（SQ & CQ）

io_uring 的核心是两个基于共享内存的环形队列：

提交队列（SQ）：应用作为生产者写入提交项（SQE），内核作为消费者读取。
完成队列（CQ）：内核作为生产者写入结果项（CQE），应用作为消费者读取。

这种双环结构利用内存屏障和原子操作实现了锁无关（Lockless）同步，规避了内核锁竞争开销。

2.2 资源注册优化：固定 FD 与缓冲区

为了进一步压榨性能，io_uring 支持资源提前注册：

固定文件描述符（Fixed FDs）：内核在处理请求时无需频繁增加/减少文件引用计数，减少了高并发下的原子锁争用。
固定缓冲区（Fixed Buffers）：通过 io_uring_register_buffers() 提前钉住用户内存页，允许内核设备通过 DMA 直接访问，跳过了每请求一次的虚拟地址映射和内存拷贝。

2.3 内核轮询（SQPOLL）的动态调度

针对极端性能需求，SQPOLL 模式允许专门的内核线程 sqthread 持续轮询提交队列。

高负荷状态：线程占用 100% CPU 以换取”零系统调用”延迟。
空闲休眠：若在 sq_thread_idle 时间内无请求，线程会进入休眠，应用需通过 io_uring_enter() 唤醒，从而兼顾了资源利用率。

3. 网络编程的深度优化：多次触发与零拷贝

3.1 多次触发（Multishot）模式

原本的 io_uring 遵循”一请一回”逻辑。现代内核强化了 Multishot 功能：

Multishot Accept：提交一次请求，内核会持续产生新连接的 CQE，直到被取消。
Multishot Receive：内核自动从预分配的缓冲区环中挑选可用块，并在数据到达时连续产生通知。配合 IORING_CQE_F_MORE 标志，应用可以极低开销处理高频小包。

3.2 2025 年的重大进展：Zero-Copy Rx

在 Linux 6.15 中，io_uring 实现了网络接收路径的全零拷贝。其依赖于：

头部/数据分离（Header/Data Split）：协议栈处理 TCP 头部，而 Payload 直接通过 DMA 投递到用户空间预分配内存。
流引导（Flow Steering）与 RSS：确保流量精准命中配置了零拷贝的硬件队列。

实测表明，在 400 Gb/s 环境下，该技术能使内存带宽占用减半，吞吐量提升至 epoll 的 2.5 倍。

延伸阅读：零拷贝并非银弹——关于 sendfile/splice/io_uring 零拷贝路径的隐藏成本与适用边界，详见 Zero Copy 的脏真相：它什么时候反而更慢。

4. 成熟项目的实践案例与性能成果

项目	使用方式	取得成果 (2024-2025 数据)
PostgreSQL 18	取代传统辅助线程池，主进程直连 SQ	事务率从 1.65 万 tx/s 提升至 54.65 万 tx/s
RocksDB	集成 C++ 协程，实现两阶段异步 Seek	随机读吞吐量提升 2-5 倍，I/O 延迟降低 50-80%
Envoy Proxy	实验性 TCP 监听与连接支持	吞吐量增加 10%，延迟降低 10%
Ceph BlueStore	异步块读写后端	4KB 随机写 IOPS 提升 18%，长尾延迟下降 80%
QEMU 10.2	主循环全面基于 io_uring 驱动	虚拟机磁盘 I/O 接近物理 NVMe 极限

5. 性能边界与适用性分析

研究发现，io_uring 并非在所有场景下都优于 epoll：

乒乓模式 vs 流式模式：在 Request-Response（乒乓）模式下，io_uring 优势巨大；但在单链接顺序流（如大文件下载，I/O 深度=1）中，由于框架开销，性能可能略逊于 psync 或 epoll。
批量（Batching）是关键：当单次下发的请求数 \(n\) 较小时，无法有效分摊系统调用成本，只有在 \(n > 1\) 或启用 SQPOLL 时，性能优势才会指数级放大。

6. 安全挑战与可观测性调试

6.1 安全风险：绕过审计系统

io_uring 允许不经过传统系统调用（如 read/write）执行操作，这使得许多基于系统调用挂钩（Hooking）的安全工具（如 Falco, Defender）产生”盲点”。

Curing Rootkit：研究人员已证明利用 io_uring 构建完全不触发传统审计的后门是可行的。

6.2 调试工具链

bpftrace：通过挂载到 tracepoint:io_uring:io_uring_submit_sqe 等内核探针，开发者可以实时观测请求的流向和内核线程的活跃状态。
uring-trace：基于 eBPF 的可视化工具，能绘制请求从提交到完成的完整生命周期路径图。

7. 展望与预测：2026 年的技术版图

基础设施 Rust 化：随着 Rust 进入内核，基于 io_uring 的 Rust 异步运行时（如 monoio）将成为高频交易和云原生的首选，其实测延迟表现优于现有成熟框架约 15 微秒。
GPU I/O 深度融合：通过 io_uring 实现 GPU 直接发起的异步 I/O，消除 CPU 在 AI 推理数据搬运中的损耗。
内核任务编排器：io_uring 将演变为通用的内核任务分发引擎，通过 IORING_OP_MSG_RING 实现跨核心、跨设备的高效指令编排。

8. 结论

下一篇: 02-vs-epoll-performance.md - io_uring vs epoll 性能与架构对比

返回 io_uring 系列索引

同主题继续阅读

把当前热点继续串成多页阅读，而不是停在单篇消费。

2026-03-14 · linux / io_uring