c++ coroutine event aio c++如何用协程封装epoll事件循环

夏芳姑娘_2953

夏芳姑娘_2953

2026-03-23

226人浏览

原创

epoll_wait不能在协程中直接调用,必须由事件循环在独立线程或主线程中轮询并分发就绪事件;需用自定义promise_type管理fd等待队列、合并事件掩码、处理epolloneshot重注册及协程销毁清理。

c++ coroutine event aio c++如何用协程封装epoll事件循环

epoll_wait 不能直接挂起协程,得靠事件循环调度

协程本身不感知 I/O 事件,epoll_wait 是阻塞调用,直接在协程里调用会卡住整个线程。必须把 epoll_wait 放在独立线程或主循环中轮询,再把就绪事件分发给对应协程恢复执行。

  • 常见错误:在协程体内写 epoll_wait(fd, events, max_events, -1) —— 这会让当前协程所在的线程彻底阻塞,其他协程无法调度
  • 正确做法是让事件循环(比如一个 dedicated thread 或主线程)持续调用 epoll_wait,拿到就绪 fd 后,通过 coroutine_handle::resume() 唤醒等待该 fd 的协程
  • 需要为每个待监听的 fd 维护一个等待队列,例如 std::unordered_map<int std::vector>>></int>

用 promise_type 拦截协程挂起,绑定 fd 和事件类型

协程暂停点(比如等待读就绪)必须能关联到具体 fd 和期望事件(EPOLLIN / EPOLLOUT),这靠自定义 promise_type 实现。

  • 在 await_suspend 中注册 fd 到 epoll 实例,并把当前 coroutine_handle 存入对应 fd 的等待列表
  • 注意:同一个 fd 可能被多个协程等待不同事件,需按事件掩码合并注册(比如已有 EPOLLIN,新协程要 EPOLLOUT,就得用 EPOLL_CTL_MOD 更新 events 字段)
  • 别忘了在 await_resume 里清理等待列表,否则 fd 关闭后残留 handle 会 crash

epoll_ctl 的 EPOLLONESHOT 必须配合手动重注册

不用 EPOLLONESHOT 容易重复唤醒同一协程;但用了它,每次处理完事件后必须显式调用 epoll_ctl(EPOLL_CTL_MOD) 重新启用监听,否则后续事件收不到。

C++ Code Review Master
C++ Code Review Master

组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载
  • 典型坑:协程 resume 后直接返回,忘记调用 epoll_ctl,结果 fd 就“静音”了,调试时表现为连接突然不响应
  • 建议在 await_resume 返回前做一次重注册,参数保持原 events 不变
  • 如果协程中途被销毁(比如超时取消),也要确保从 epoll 中移除 fd 或至少清空其等待队列,避免 dangling handle

Linux 6.8+ 的 io_uring + C++20 协程更省事,但 epoll 兼容性更好

io_uring 原生支持异步提交/完成,和协程天然契合,C++23 标准库也在推进 std::generator 和 std::task 对它的适配。但如果你的目标系统是 CentOS 7、glibc 2.17 或旧内核,io_uring 直接不可用。

  • epoll 方案在 2.6.19+ 内核全支持,编译期只依赖 <sys></sys>,无运行时模块要求
  • 性能上,epoll 在连接数少于万级时和 io_uring 差距不大;但 epoll 的 event loop 要自己写调度逻辑,io_uring 只需提交 sqe、等 cqe
  • 目前主流协程库如 libunifex、cppcoro 都优先封装 io_uring,epoll 属于“要自己撸”的范畴

真正麻烦的不是 epoll 本身,而是把 fd 生命周期、事件合并、协程生命周期、线程安全这几件事串成一条不掉链子的流水线。稍有错位,就会出现唤醒丢失、double resume 或 use-after-free。

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

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

2025.08.29

3708

10

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

2025.10.23

704

4

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

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

2023.08.10

3958

6

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

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

2025.12.01

543

16

磁盘配额是什么
磁盘配额是什么

磁盘配额是计算机中指定磁盘的储存限制,就是管理员可以为用户所能使用的磁盘空间进行配额限制,每一用户只能使用最大配额范围内的磁盘空间。php中文网为大家提供各种磁盘配额相关的内容,教程,供大家免费下载安装。

2023.06.21

3950

4

如何安装LINUX
如何安装LINUX

本站专题提供如何安装LINUX的相关教程文章,还有相关的下载、课程,大家可以免费体验。

2023.06.29

3373

10

linux find
linux find

find是linux命令,它将档案系统内符合 expression 的档案列出来。可以指要档案的名称、类别、时间、大小、权限等不同资讯的组合,只有完全相符的才会被列出来。find根据下列规则判断 path 和 expression,在命令列上第一个 - ( ) , ! 之前的部分为 path,之后的是 expression。还有指DOS 命令 find,Excel 函数 find等。本站专题提供linux find相关教程文章,还有相关

2023.06.30

2533

5

linux修改文件名
linux修改文件名

本专题为大家提供linux修改文件名相关的文章,这些文章可以帮助用户快速轻松地完成文件名的修改工作,大家可以免费体验。

2023.07.05

6130

7

linux系统安装教程
linux系统安装教程

linux系统是一种可以免费使用,自由传播,多用户、多任务、多线程、多CPU的操作系统。本专题提供linux系统安装教程相关的文章,大家可以免费体验。

2023.07.06

5762

7

热门下载

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

精品课程

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

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

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

共0课时 | 0人学习