讲师中心 微信公众号
AI工具推荐 视频效率加速

C++如何实现基于C++20协程的轻量级异步I/O任务调度中心

阿伟吖_6551

阿伟吖_6551

发布时间:2026-07-14 07:32:38

|

346人浏览过

|

来源于php中文网

原创

协程任务调度器必须严格对齐promise、awaiter、OS I/O句柄和调度队列的生命周期,否则将导致偶发crash或内存泄漏;关键在于await_suspend中正确管理coroutine_handle和awaiter的存储与销毁,避免悬垂指针。

c++如何实现基于c++20协程的轻量级异步i/o任务调度中心

协程任务调度器必须自己管理 awaiter 生命周期

直接把 std::coroutine_handle 存进队列、等 I/O 完成后再恢复,大概率 crash。C++20 协程的 awaiter 是栈对象,挂起后若其所在栈帧已退出(比如函数返回),await_resume() 调用时就会访问悬垂指针。

正确做法是:在 await_suspend() 中把 coroutine_handle 转为 std::coroutine_handle::from_address() 并转存为裸指针或 std::shared_ptr 管理的句柄;同时确保 awaiter 本身堆分配(例如用 new awaiter{handle})或绑定到调度器生命周期内有效的对象上。

  • 推荐模式:调度器持有 std::vector<:coroutine_handle>> m_pending</:coroutine_handle>,并在 await_suspend() 返回前调用 handle.promise().set_state(PENDING),让 promise 负责管理自身存活
  • 避免写 return handle; 后立刻 return 函数——这会让 awaiter 析构,但 handle 可能还没被调度器接管
  • Linux 下 epoll_wait() 返回后,遍历就绪事件并调用对应 handle.resume(),此时必须确保该 handle 仍有效(即 promise 未被销毁)

epoll + 无锁队列实现 I/O 事件分发效率关键点

单线程调度器用 epoll_wait() 阻塞等待,但多个协程可能同时发起 read/write,需一个线程安全的入队机制把就绪事件关联到对应协程。别用 std::mutex 包裹整个事件循环——它会成为瓶颈。

更实际的做法是:I/O 发起线程(即协程挂起处)把待注册 fd 和 coroutine_handle 封装为结构体,通过 std::atomic 指针或 moodycamel::ConcurrentQueue(轻量级无锁队列)投递到 epoll 线程;epoll 线程批量调用 epoll_ctl(ADD),再统一 epoll_wait()。

立即学习“C++免费学习笔记(深入)”;

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

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

下载
  • fd 必须设为 O_NONBLOCK,否则 read()/write() 在 await_suspend 中可能意外阻塞主线程
  • 每个 fd 建议只注册一次,复用 epoll_event.data.ptr 存储指向 awaiter 或 promise 的指针,避免查找开销
  • resume 前检查 handle.done() == false,防止已被 destroy 的协程被误 resume

promise_type 设计决定协程能否被取消和超时

默认 promise_type 不提供取消语义,而真实 I/O 场景中常需要 cancel、timeout、retry。必须显式支持:await_transform(std::stop_token) 或自定义 async_read_with_timeout() 返回带 cancel 支持的 awaitable。

典型结构是 promise 内维护 std::optional<:stop_source> m_stop_src</:stop_source>,在 initial_suspend() 返回 suspend_always{} 后,由调度器在适当时候调用 m_stop_src->request_stop();对应 awaiter 在 await_ready() 中轮询 stop_token.stop_requested(),或结合 timerfd 实现超时唤醒。

  • 不要依赖 std::jthread 自动 join 来“保证”协程结束——协程可能卡在 I/O 挂起态,jthread 退出时 handle 未 resume,promise 析构导致未定义行为
  • 超时逻辑应与 I/O 注册解耦:timerfd 可单独 epoll 等待,触发后通过 shared_ptr 查找并 cancel 对应 awaiter
  • cancel 不等于立即终止:要等协程执行到下一个 co_await 才能响应,因此业务代码需定期检查 co_await std::stop_token{}

Windows 下 IOCP 替代 epoll 时的句柄生命周期陷阱

IOCP 的 GetQueuedCompletionStatus() 返回的是 OVERLAPPED*,不是 fd。很多移植代码直接把 OVERLAPPED 成员变量当协程 handle 存,结果 resume 时崩溃——因为 OVERLAPPED 是栈分配或临时对象,IO 完成时早已析构。

正确方式是:把 coroutine_handle 存进自定义 OVERLAPPED 派生结构体(如 struct io_op : OVERLAPPED { std::coroutine_handle h; };),并在 await_suspend() 中 new 分配该结构体,传给 WSARecv() 等 API;IO 完成后从 LPOVERLAPPED 转回 io_op*,再调用 h.resume()。

  • 务必调用 h.destroy() 而非 h.resume() 处理失败路径(如 WSA_IO_INCOMPLETE),否则协程栈重复析构
  • IOCP 关联的 completion key 不能用于存储 handle——它只有 4 字节,不够存 8 字节指针(64 位系统)
  • Windows 上 co_await 文件读写必须用 FILE_FLAG_OVERLAPPED 创建句柄,普通 HANDLE 不支持异步 I/O

协程调度器最难的部分不是挂起和恢复,而是让 promise、awaiter、OS I/O 句柄、调度队列四者生命周期严格对齐。漏掉任意一环,问题都表现为偶发 crash 或内存泄漏,且很难复现。调试时优先检查 resume 调用点是否在 promise 有效期内,其次确认所有 new 分配的 awaiter 最终都被 delete。其他都是细节。

热门AI工具

更多
DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

相关专题

更多
c++和c语言的区别有哪些
c++和c语言的区别有哪些

c++和c语言的区别:1、面向对象编程(OOP)支持不同;2、新增特性不同;3、标准库不同;4、编译方式不同;5、命名空间不同等等。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2208

2024.03.14

c++和python学习顺序推荐
c++和python学习顺序推荐

一般建议先学习C++,再学习Python,因为这样可以逐步从较为底层的编程语言向更高级的语言过渡。想了解更多python的相关内容,可以阅读本专题下面的文章。

979

2024.03.14

python和c++学习性价比分析
python和c++学习性价比分析

Python易于学习,广泛应用于Web开发、数据科学和人工智能等领域,但性能较低。C语言性能高,适用于对性能要求较高的场景,如游戏开发和系统编程,但学习曲线陡峭,错误处理复杂。想了解更多python的相关内容,可以阅读本专题下面的文章。

387

2024.03.14

c语言和c++一样吗
c语言和c++一样吗

c语言和c++是两种不同的编程语言,虽然有相似之处,但存在显著差异。c语言专注于过程式编程和系统级开发,以简洁、高效著称。c++作为c语言的超集,引入了面向对象编程,增强了代码组织和管理能力,但学习曲线也更陡峭。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

307

2024.03.14

c语言和c++先学哪个好
c语言和c++先学哪个好

初学者选择学习c语言还是c++语言,需要根据个人学习目标、背景以及编程兴趣和预期应用方向来决定。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

386

2024.03.14

c语言和c++的区别和联系
c语言和c++的区别和联系

c语言和c++是计算机科学领域应用广泛的编程语言。虽然它们有着相似的基础,但它们在语言类型、语法功能和内存管理方面存在着显著差异。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

580

2024.03.14

c++软件中文更改教程
c++软件中文更改教程

对于 ide,可通过打开设置,找到语言设置,选择中文,并保存更改。对于非 ide 应用程序,可查找设置或选项,选择语言设置,更改为中文,并保存更改。想了解更多c++的相关内容,可以阅读本专题下面的文章。

1389

2024.03.21

python和java和c++学习性价比分析
python和java和c++学习性价比分析

Python以其易学性、丰富的库和活跃的社区而著称,适合数据科学、人工智能和Web开发。Java以其跨平台性、企业级应用开发和Android应用开发而闻名。C++以其底层控制能力、高效性能和游戏开发而著称。选择哪种语言取决于个人兴趣、职业方向和特定需求。想了解更多python和java和c++的相关内容,可以阅读本专题下面的文章。

1177

2024.03.22

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

0

2026.09.29

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

CMake 与 Conan 集成实践
CMake 与 Conan 集成实践

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn