新闻中心

C++怎么实现一个简单的协程库_C++异步编程与上下文切换原理

2025-11-22
浏览次数:
返回列表
答案:文章介绍了协程库的实现原理,先通过ucontext实现上下文切换构建简单协程,再对比C++20原生协程特性。1. 协程是用户态轻量级线程,依赖上下文保存与恢复实现挂起和继续;2. 使用getcontext/setcontext/swapcontext进行上下文切换,配合栈空间和状态管理完成协程调度;3. 示例展示了两个协程交替执行,体现协作式多任务;4. C++20引入co_await/co_yield/co_return关键字,需定义满足协程traits的返回类型如generator;5. 原生协程更安全标准但调试难,手动实现有助于理解异步本质,生产环境推荐使用标准库或成熟框架。

c++怎么实现一个简单的协程库_c++异步编程与上下文切换原理

实现一个简单的协程库,核心在于上下文切换状态管理。C++标准库目前(截至C++23)提供了原生协程支持(co_await、co_yield等),但理解底层原理有助于掌握异步编程本质。这里我们用ucontext或手动汇编实现上下文切换,构建一个极简协程库。

协程基本概念与上下文切换原理

协程是一种用户态的轻量级线程,可以主动让出执行权并在后续恢复。与线程不同,协程的调度由程序控制,无需内核介入,开销更小。

关键机制是上下文保存与恢复:当协程挂起时,保存当前寄存器状态(包括栈指针、程序计数器等);恢复时,将这些状态重新载入CPU,从而从上次停下的位置继续执行。

在类Unix系统中,getcontext / setcontext / swapcontext 是一组可用于实现上下文切换的函数(尽管已被标记为过时,但便于教学)。

使用ucontext实现简单协程

下面是一个基于ucontext的极简协程示例:

#include <ucontext.h>
#include <iostream>
#include <map>
<p>class Coroutine {
public:
using Func = void(*)();</p><p>private:
ucontext<em>t ctx</em>;
char stack<em>[8192];
Func func</em>;
bool is<em>done</em> = false;</p><p>public:
Coroutine(Func f) : func<em>(f) {
getcontext(&ctx</em>);
ctx_.uc_stack.ss<em>sp = stack</em>;
ctx_.uc_stack.ss<em>size = sizeof(stack</em>);
ctx_.uc<em>link = nullptr; // 协程结束返回主线程
makecontext(&ctx</em>, (void(*)())func_, 0);
}</p><pre class="brush:php;toolbar:false;">void resume() {
    if (!is_done_) {
        swapcontext(&MainContext::get(), &ctx_);
        // 检查是否执行完毕
        if (!is_done_ && ctx_.uc_link == nullptr) {
            is_done_ = true;
        }
    }
}

bool done() const { return is_done_; }

static ucontext_t& get_main_context() {
    static ucontext_t main_ctx;
    static bool init = false;
    if (!init) {
        getcontext(&main_ctx);
        init = true;
    }
    return main_ctx;
}

};

// 辅助类用于保存主上下文 struct MainContext { static ucontext_t& get() { return Coroutine::get_main_context(); } };

// 测试协程函数 void task1() { std::cout

void task2() { std::cout

使用方式:

int main() {
    Coroutine co1(task1);
    Coroutine co2(task2);
<pre class="brush:php;toolbar:false;">while (!co1.done() || !co2.done()) {
    if (!co1.done()) co1.resume();
    if (!co2.done()) co2.resume();
}
return 0;

}

输出:

CA.LA CA.LA

第一款时尚产品在线设计平台,服装设计系统

CA.LA 94 查看详情 CA.LA

Task 1: Step 1
Task 2: Hello
Task 1: Step 2
Task 2: World

C++20 原生协程简介

C++20引入了语言级别的协程支持,关键字包括co_awaitco_yieldco_return。要使函数成为协程,其返回类型必须满足协程 traits。

例如,定义一个简单的 generator:

#include <coroutine>
#include <iostream>
<p>struct Generator {
struct promise_type {
int current_value = 0;
std::suspend_always yield_value(int value) {
current_value = value;
return {};
}
std::suspend_always initial_suspend() { return {}; }
std::suspend_always final_suspend() noexcept { return {}; }
Generator get_return_object() { return Generator{this}; }
void return_void() {}
void unhandled_exception() {}
};</p><pre class="brush:php;toolbar:false;">using handle_type = std::coroutine_handle<promise_type>;
handle_type coro;

explicit Generator(promise_type* p) : coro(handle_type::from_promise(*p)) {}
~Generator() { if (coro) coro.destroy(); }

int value() const { return coro.promise().current_value; }
bool move_next() { 
    if (!coro.done())
        coro.resume();
    return !coro.done();
}

};

Generator fibonacci() { int a = 0, b = 1; while (true) { co_yield b; int tmp = a + b; a = b; b = tmp; } }

调用:

auto gen = fibonacci();
for (int i = 0; i < 10; ++i) {
    gen.move_next();
    std::cout << gen.value() << " ";
}

总结与注意事项

手动实现协程库能加深对执行流控制栈管理的理解。ucontext虽然方便,但在现代系统中不推荐用于生产环境。真正的高性能协程库(如Boost.Context)使用汇编直接操作寄存器。

C++20协程更安全且标准化,适合实际项目。但调试复杂,编译器支持需注意。理解底层机制有助于写出高效、正确的异步代码。

基本上就这些。掌握上下文切换原理,才能真正驾驭异步编程模型。

以上就是C++怎么实现一个简单的协程库_C++异步编程与上下文切换原理的详细内容,更多请关注其它相关文章!


# 是一种  # 营销型网站推广运营  # 网站页脚优化怎么做  # 网页设计与网站建设书籍  # 大城专业网站优化费用  # 老域名seo好吗  # 正能量关键词排名  # 网站标题优化模板图片  # 吐鲁番网站建设哪家好  # 阳江推广营销技术  # 优化文字网站有哪些方法  # 但在  # 已被  # 多态  #   # 是一个  # 挂起  # 如何实现  # 尼克  # 调试器  # 如何使用  # 标准库  # stream  # ios  # c++  # unix  # ai 


相关栏目: 【 科技资讯46185 】 【 网络学院92790


相关推荐: 如何优雅地扩展SprykerGlue后端API授权逻辑,使用spryker/glue-backend-api-application-authorization-connector-extension  Windows7怎么硬盘安装 Windows7提取ISO镜像到非系统盘并运行setup.exe实现硬盘直装【教程】  Fabric Mod开发:在1.19.3+版本中正确添加自定义物品并管理物品组  steam官方网页快速访问 steam账号注册全流程  三星ZFold5多任务卡顿_Samsung ZFold5流畅度提升  C++如何比较两个字符串_C++ string compare函数与操作符对比  UE5.7引擎表现爆炸优化无敌!5090跑4K稳定60FPS  蛙漫2台版漫画地址 Manwa2正版网页版链接  C++如何连接MySQL数据库_C++使用Connector/C++操作MySQL数据库教程  凉拌黄瓜怎么拌更入味 凉拌黄瓜简单家常做法  Flexbox布局实践:实现粘性导航栏与底部固定页脚  神经网络二分类模型训练异常:高损失与完美验证准确率的排查与修正  机器学习中对数变换预测结果的反向还原  极速漫画官方主页网址 极速漫画漫画在线浏览官网链接  Win11怎么开启高性能模式_Windows 11电源计划优化设置  学习通在线学习平台 学习通网页版直接进入课程中心  TikTok搜索不到用户发布内容怎么办 TikTok用户内容搜索优化方法  夸克浏览器网页版最新地址 夸克浏览器官方入口合集  在Blazor WebAssembly应用中动态注入客户端特定指标代码的策略  PDF文件体积过大处理_PDF压缩技巧详解  将HTML Canvas内容转换为可上传的图像文件(File对象)  MAC怎么在地图App里使用“四处看看”_MAC体验部分城市的3D实景街景  格力空气能E5故障代码是什么情况_格力空气能E5代码解析与应对措施  从OpenAI API响应中高效提取生成文本  蛙漫官网漫画入口地址_蛙漫在线畅读无广告弹窗  文心一言怎样用批量生成做多版文案_文心一言用批量生成做多版文案【批量创作】  Golang如何实现容器化日志收集与分析_Golang容器日志收集分析方法  TypeScript/J*aScript:高效查找数组中首个唯一ID对象  Win10自动更新怎么关闭 Win10永久关闭系统更新的两种方法【终极版】  Python类型检查:优化关联可选属性的Mypy推断策略  不会效仿卡普空!《铁拳》制作人澄清:不采取赛事付费|直播|  Safari怎么安装扩展程序 浏览器插件安装与管理方法【详解】  Yandex免登录官网入口_俄罗斯Yandex搜索引擎直达链接  C++如何打印当前代码行号与文件名_C++预定义宏FILE与LINE的使用  Python实现多节点属性重叠度分析教程  漫蛙manwa官网登录界面_漫蛙漫画网页版主站入口  Win10如何清理注册表垃圾 Win10注册表维护与优化指南【慎用】  PHP 枚举:根据字符串获取枚举案例的策略与实现  Win11怎么修改默认浏览器_Windows 11设置Chrome为默认  在命令行怎么运行html项目_命令行运行html项目方法【教程】  手机CPU怎么影响游戏体验_手机CPU对游戏性能的影响分析  AWS EC2实例间SQL Server连接超时:安全组配置与故障排除指南  b站怎么看视频的弹幕数量_b站弹幕数量查看方法  必由学在线入口 必由学网页版快速登录入口  126邮箱账号注册 电脑版登录入口  mcjs网页版流畅运行 mcjs低配电脑畅玩入口  AO3最新镜像入口 Archive of Our Own官方平台访问  微信语音通话掉线如何解决 微信语音通话稳定优化方法  谷歌浏览器一键优化方案_谷歌浏览器直达主页极速不卡版  快手网页版在线登录 快手网页版官网入口快速访问 

搜索