c++如何利用POSIX AIO接口在Linux下实现异步极速读写【底层】

陌敏酱_2389

陌敏酱_2389

2026-03-26

368人浏览

原创

posix aio 在 linux 上实际不可靠,因其默认走 glibc 线程池模拟而非内核原生异步 i/o;真异步应使用 io_uring——linux 5.1+ 原生接口,零拷贝、无锁、高性能。

c++如何利用posix aio接口在linux下实现异步极速读写【底层】

POSIX AIO 在 Linux 上实际不可靠,别硬上 aio_read/aio_write

Linux 内核原生不支持真正的异步 I/O(即不经过内核线程模拟),libaio 是用户态封装,而 GNU libc 的 aio_read/aio_write 默认走的是线程池模拟(glibc thread pool),不是底层硬件直达。这意味着:你调用它,看起来“异步”,实则可能阻塞、延迟高、吞吐不升反降。

常见错误现象:aio_error 返回 EINPROGRESS 后迟迟不回调;aio_suspend 卡住;小文件随机读写时性能比同步 read 还差。

  • 真正启用内核 AIO 需要:文件打开时带 O_DIRECT,且文件系统支持(ext4/xfs 可,btrfs 不稳定),块设备对齐(posix_memalign 分配 buffer,大小/偏移必须是 512B 或页对齐)
  • glibc 的 POSIX AIO 默认禁用内核路径,即使条件满足,也大概率 fallback 到线程池 —— 源码里叫 __aio_enqueue_request + __aio_notify,本质是 pthread worker
  • 性能影响:线程池模式下,每请求一次调度开销大,上下文切换频繁;O_DIRECT 模式又绕过 page cache,对小 IO 反而更慢

想用真异步?直接上 io_uring,不是 libaio

io_uring 是 Linux 5.1+ 原生异步 I/O 接口,零拷贝、无锁提交、支持批量操作,才是当前“极速读写”的事实标准。POSIX AIO 在新项目里已属技术债。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

使用场景:高并发日志写入、数据库 WAL、自研存储引擎、低延迟消息队列。

  • 初始化只需两个系统调用:io_uring_setup(获取 ring fd) + io_uring_mmap(映射 submission queue / completion queue)
  • 发一个读请求,填 io_uring_sqe 结构体:opcode = IORING_OP_READV,fd 是 open(O_DIRECT) 得到的,addr 指向 iovec 数组,flags |= IOSQE_ASYNC 可提示内核预取
  • 兼容性注意:老内核(IORING_SETUP_IOPOLL 模式需设备支持且关闭中断,一般用于 NVMe;普通 SSD 用默认轮询即可

O_DIRECT 和内存对齐是硬门槛,错一个就 EINVAL

无论走 libaio 还是 io_uring,只要启用了直接 I/O,buffer 地址、文件 offset、传输长度三者都必须对齐到逻辑块大小(通常是 512B,NVMe 可能是 4K)。不对齐直接返回 EINVAL,不是重试问题,是硬性拒绝。

  • 分配 buffer 必须用 posix_memalign(不能用 malloc 或 new):int ret = posix_memalign(&buf, 4096, size);
  • open 文件时必须含 O_DIRECT,且不能和 O_APPEND 共存;如果用 openat,路径需为绝对路径或基于 dirfd 的合法路径
  • 读写 offset 必须是 4096 的倍数(哪怕只读 1 字节),否则 io_uring_submit 成功但 io_uring_wait_cqe 返回 -EINVAL

不要自己管理 completion 回调,用 io_uring 的 polling 模式省事

很多人试图在 io_uring 上模仿 epoll 风格注册回调函数,结果掉进信号/线程安全坑里。其实 io_uring 设计就是“提交一批,等完成,再处理”,天然适合批处理模型。

  • 启用 IORING_SETUP_SQPOLL 后,内核会起一个专用线程帮你填 completion queue,用户只需 io_uring_peek_cqe + io_uring_cqe_seen,不用 epoll_wait 或 eventfd
  • 避免在 completion 处理中做耗时操作(如解析 JSON、加锁更新 map)—— 直接把数据 memcpy 出来,交给业务线程池处理
  • 容易被忽略的点:completion queue 的 head 和 tail 是内核/用户共享的 ring index,必须用 io_uring_smp_load_acquire 读,不能裸读;liburing 封装了这个细节,建议直接用 liburing 而非裸 syscalls
事情说清了就结束

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

2025.06.09

4754

18

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

2025.07.04

4891

25

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

2023.10.19

3148

3

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

2025.10.17

4929

12

php8.4实现接口限流的教程
php8.4实现接口限流的教程

PHP8.4本身不内置限流功能,需借助Redis(令牌桶)或Swoole(漏桶)实现;文件锁因I/O瓶颈、无跨机共享、秒级精度等缺陷不适用高并发场景。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2025.12.29

3789

9

java接口相关教程
java接口相关教程

本专题整合了java接口相关内容,阅读专题下面的文章了解更多详细内容。

2026.01.19

446

15

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

2023.08.10

4218

6

Java 并发编程高级实践
Java 并发编程高级实践

本专题深入讲解 Java 在高并发开发中的核心技术,涵盖线程模型、Thread 与 Runnable、Lock 与 synchronized、原子类、并发容器、线程池(Executor 框架)、阻塞队列、并发工具类(CountDownLatch、Semaphore)、以及高并发系统设计中的关键策略。通过实战案例帮助学习者全面掌握构建高性能并发应用的工程能力。

2025.12.01

543

16

数据库三范式
数据库三范式

数据库三范式是一种设计规范,用于规范化关系型数据库中的数据结构,它通过消除冗余数据、提高数据库性能和数据一致性,提供了一种有效的数据库设计方法。本专题提供数据库三范式相关的文章、下载和课程。

2023.06.29

2745

3

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习