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

C++如何实现基于C++20协程的轻量级异步I/O任务调度器与高精度定时器

小静大大_4050

小静大大_4050

发布时间:2026-07-15 10:20:40

|

303人浏览过

|

来源于php中文网

原创

协程调度器必须自行管理awaiter生命周期,避免栈上awaiter被销毁后调度器仍调用await_resume导致崩溃;I/O操作的awaiter需由promise拥有或用shared_ptr管理;高精度定时器须用timerfd或WaitableTimer而非sleep;单线程用epoll/kqueue/IOCP,多线程需独立I/O实例;取消时须分别处理I/O与定时器资源。

c++如何实现基于c++20协程的轻量级异步i/o任务调度器与高精度定时器

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

直接用 std::coroutine_handle 调度裸协程很容易崩溃——因为协程挂起后,如果其栈帧(含局部 awaiter)被销毁,而调度器还在尝试调用 await_resume(),就会触发未定义行为。常见表现是 segmentation fault 或随机 crash。

正确做法是:所有可挂起的 I/O 操作(如 async_read、async_write)返回的 awaiter 必须被显式拥有,通常封装进一个 task 或 promise_type 的成员变量中,并确保其生命周期覆盖到协程彻底结束(包括被取消或异常退出)。例如:

struct io_awaiter {
    // ...
    bool await_ready() const noexcept { return false; }
    void await_suspend(std::coroutine_handle<promise_type> h) noexcept {
        // 把 this 挂到 epoll/kqueue/IOCP 队列上
        // 注意:this 必须是堆分配或绑定在 promise 上,不能是栈变量
    }
    int await_resume() noexcept { return result_; }
};
  • io_awaiter 实例必须由 promise_type 拥有(如作为成员),或通过 std::shared_ptr 管理
  • 不要在 lambda 里捕获局部 awaiter 并传给 await_suspend
  • Linux 下若用 io_uring,需注意 IORING_SETUP_IOPOLL 模式下 await_suspend 可能同步返回,但 await_resume 仍必须可重入

高精度定时器不能依赖 std::chrono::steady_clock::now() 做轮询

在调度循环里反复调用 steady_clock::now() 查到期任务,延迟会严重劣化——尤其在空闲时 CPU 占用飙升,且最小分辨率达不到微秒级(典型实现是 1–15ms)。真实场景下,你会看到定时任务实际偏移 20ms+,甚至丢弃短间隔(如 500μs)任务。

可行方案只有两个:系统级定时器 + 事件驱动,或用户态高精度 sleep(仅限 Linux):

C++14
C++14

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

下载

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

  • Linux 推荐 timerfd_create(CLOCK_MONOTONIC, TFD_NONBLOCK),然后把 fd 加入 epoll;每次写入新超时值会触发可读事件
  • Windows 用 CreateWaitableTimerEx + WaitForMultipleObjectsEx,避免 Sleep 的粒度缺陷
  • 绝对不要用 std::this_thread::sleep_until 实现“等待下一个定时点”,它底层仍是粗粒度系统 sleep
  • 定时器回调触发的协程恢复,必须走同一线程的调度队列,否则跨线程 resume 需额外同步开销

调度器线程模型决定 I/O 多路复用选型

单线程调度器和多线程调度器对底层 I/O 多路复用的要求完全不同,选错会导致性能断崖下跌或死锁。

  • 单线程(推荐初版):用 epoll(Linux)、kqueue(macOS/BSD)、IOCP(Windows)——它们天然支持“一个 loop 多个 fd”,且无锁操作
  • 多线程 worker(每个线程独立 loop):Linux 下慎用 epoll_wait 在多个线程里同时等待同一 epoll fd(内核不保证安全);应为每个线程创建独立 epoll,并通过 channel 或 ring buffer 分发新连接
  • 混合模型(如主线程 accept + worker 线程处理):accept 线程需用 SO_REUSEPORT 避免惊群,且新 socket 必须用 epoll_ctl(EPOLL_CTL_ADD) 显式加入对应 worker 的 epoll
  • 所有平台都避免用 select()——它最大 fd 数受限,且每次调用都要拷贝整个 fd_set

取消协程时必须区分 I/O 取消与定时器取消

协程被取消时,co_await 的不同 awaiter 对取消的响应方式差异极大,统一处理会漏掉资源泄漏或状态不一致。

  • I/O awaiter(如 async_read):调用 cancel() 后,内核可能仍在传输数据;需检查返回值是否为 operation_aborted,并确保缓冲区不再被访问
  • 定时器 awaiter:timerfd_settime 可设为 0 来立即取消,但需注意已触发但尚未 resume 的定时回调仍会执行——应在 await_resume 里加 flag 判断是否已被 cancel
  • Promise 层需实现 cancel() 方法,在其中调用所有 pending awaiter 的清理逻辑,并设置 destroy() 标志防止重复销毁
  • 切勿在 await_suspend 中抛异常来模拟取消——这会跳过 final_suspend,导致 promise 内存泄漏

协程调度器最难的部分不在语法糖,而在所有异步原语的生命周期交叉点:I/O 句柄、定时器 fd、awaiter 对象、promise 内存、调度队列节点,任何一个没对齐,崩溃就发生在最不可预测的时刻。

热门AI工具

更多
讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

WorkBuddy

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

DeepSeek

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

Laper
Laper Hot

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

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

豆包大模型

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

相关专题

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

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

2248

2024.03.14

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

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

1019

2024.03.14

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

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

447

2024.03.14

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

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

327

2024.03.14

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

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

406

2024.03.14

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

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

580

2024.03.14

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

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

1409

2024.03.21

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

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

1217

2024.03.22

Playwright 测试失败怎么办
Playwright 测试失败怎么办

Playwright测试失败专题汇集超时、定位器匹配、浏览器提前关闭、依赖与插件配置、文件上传、SSL及Docker启动等故障文章,并介绍通过截图、报告和Trace定位错误。

0

2026.10.21

热门下载

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

精品课程

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

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

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

共0课时 | 0人学习

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

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