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,调用 .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::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 handle;
};

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

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

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

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

PaperAiBye
PaperAiBye

支持近30多种语言降ai降重,并且支持多种语言免费测句子的ai率,支持英文aigc报告等

下载

常见错误:返回 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。

相关专题

更多
while的用法
while的用法

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

84

2023.09.25

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

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

175

2023.11.23

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

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

96

2025.11.27

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

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

1012

2023.10.19

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

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

60

2025.10.17

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

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

374

2025.12.29

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

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

386

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

569

2023.08.10

Java 项目构建与依赖管理(Maven / Gradle)
Java 项目构建与依赖管理(Maven / Gradle)

本专题系统讲解 Java 项目构建与依赖管理的完整体系,重点覆盖 Maven 与 Gradle 的核心概念、项目生命周期、依赖冲突解决、多模块项目管理、构建加速与版本发布规范。通过真实项目结构示例,帮助学习者掌握 从零搭建、维护到发布 Java 工程的标准化流程,提升在实际团队开发中的工程能力与协作效率。

10

2026.01.12

热门下载

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

精品课程

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

共12课时 | 1.0万人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.3万人学习

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

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