0

0

如何在c++中实现一个简单的协程调度器? (C++20 coroutine进阶)

裘德小鎮的故事

裘德小鎮的故事

发布时间:2026-01-12 16:07:02

|

518人浏览过

|

来源于php中文网

原创

因为std::coroutine_handle不管理状态和唤醒逻辑,仅是轻量包装;需手动确保协程处于suspend状态、内存有效且无并发resume,否则易触发未定义行为。

如何在c++中实现一个简单的协程调度器? (c++20 coroutine进阶)

为什么不能直接用 std::coroutine_handle 手动调度?

因为 std::coroutine_handle 本身不带状态管理或唤醒逻辑,它只是个“指针+虚表”的薄包装。你拿到一个 std::coroutine_handle<void></void>,调用 .resume() 前必须确保协程处于 suspend 状态、内存未被释放、且没有被并发 resume —— 这些都得自己兜底。

典型错误现象:std::coroutine_handle::resume(): cannot resume an already-resumed or destroyed coroutine,往往是因为忘了检查 .done(),或在 await_suspend() 里误把 handle 存到上又提前返回。

  • 所有协程对象(即 promise 对象)必须堆分配,或至少生命周期由调度器统一管理
  • 每个协程 resume 后若再次 suspend,必须把 handle 交还给调度器,不能丢弃
  • 调度器需提供线程安全的入队/出队机制(哪怕单线程也建议用 std::deque 避免迭代器失效)

如何设计最小可行的 promise_type?

关键不是实现全部接口,而是只保留调度器真正需要的三件事:构造时注册、挂起时移交控制权、销毁时清理资源。不需要 return_valueunhandled_exception 等——除非你打算支持 co_return 或异常传播。

struct simple_promise {
    simple_coro get_return_object() {
        return simple_coro(std::coroutine_handle<simple_promise>::from_promise(*this));
    }
    std::suspend_always initial_suspend() noexcept { return {}; }
    std::suspend_always final_suspend() noexcept { return {}; }
    void unhandled_exception() noexcept { std::terminate(); }

    // 调度器靠这个把协程加进 ready 队列
    void return_to_scheduler() {
        scheduler::instance().push(handle);
    }

    std::coroutine_handle<simple_promise> handle;
};

注意 handle 成员必须是 public,且在 get_return_object() 中立即保存;否则后续 resume 时无法访问自身 handle。这是容易被忽略的细节:promise 对象和协程帧是绑定的,但 handle 必须显式存一份才能在 final_suspend 或自定义 awaiter 里用。

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

怎么让协程在 await 时交还控制权给调度器?

核心是写一个自定义 awaiter,其 await_suspend() 把当前协程 handle 推入调度器队列,并返回 false 表示不自动 resume(即彻底移交调度权)。

云从科技AI开放平台
云从科技AI开放平台

云从AI开放平台

下载

常见错误:返回 truestd::coroutine_handle{},导致协程被立即 resume,调度器完全没机会插手。

  • await_ready() 返回 false 强制走 suspend 流程(简化模型,实际可按需判断)
  • await_suspend(h) 中调用 scheduler::instance().push(h),然后返回 false
  • await_resume() 只需返回 void,因为本例不传递值
struct schedule_awaiter {
    bool await_ready() const noexcept { return false; }
    void await_suspend(std::coroutine_handle<> h) noexcept {
        scheduler::instance().push(h);
    }
    void await_resume() const noexcept {}
};

调度循环本身要防哪些坑?

最简调度器只需一个 while 循环 pop + resume,但真实场景下必须处理:协程 resume 后可能立刻再次 suspend、可能抛异常、可能 self-destruct(比如 co_return 后进入 final_suspend)。如果调度器不检查 handle.done() 就继续 pop,会 crash。

性能影响:每次 pop 都应从容器头部取(std::deque::front()),避免 vector 的 O(n) 移动;若用 std::queue 包装 deque,记得它默认用 deque 作底层容器,没问题。

  • resume 前务必检查 !h.done(),否则 final_suspend 后再 resume 是未定义行为
  • resume 后立即检查 h.done(),为 true 则跳过 push 回队列(已结束)
  • 不要在 resume 内部 catch 异常 —— promise 的 unhandled_exception 已接管,强行捕获反而掩盖问题
void scheduler::run() {
    while (!ready_queue.empty()) {
        auto h = std::move(ready_queue.front());
        ready_queue.pop_front();
        if (h.done()) continue;
        h.resume();
        if (!h.done()) {
            push(h); // 若仍活跃,放回队尾(轮转调度)
        }
    }
}

final_suspend 返回 std::suspend_always 是关键:它让协程停在最后一步,把销毁控制权交还给调度器。否则协程帧可能被 runtime 自动释放,而你的调度器还拿着 dangling handle。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
while的用法
while的用法

while的用法是“while 条件: 代码块”,条件是一个表达式,当条件为真时,执行代码块,然后再次判断条件是否为真,如果为真则继续执行代码块,直到条件为假为止。本专题为大家提供while相关的文章、下载、课程内容,供大家免费下载体验。

107

2023.09.25

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

186

2023.11.23

java中void的含义
java中void的含义

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

134

2025.11.27

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

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

1946

2023.10.19

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

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

657

2025.10.17

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

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

2399

2025.12.29

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

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

47

2026.01.19

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

443

2023.07.18

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

1

2026.03.13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
国外Web开发全栈课程全集
国外Web开发全栈课程全集

共12课时 | 1万人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.4万人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号