C++协程库封装

news2024/11/19 1:55:47

操作系统:ubuntu20.04LTS

头文件:<ucontext.h>

什么是协程

协程可以看作轻量级线程,相比于线程,协程的调度完全由用户控制。可以理解为程序员可以暂停执行或恢复执行的函数。将每个线程看作是一个子程序,或者说一个函数,首先main函数启动后产生了main线程,在main函数中调用了function函数后会产生另一个线程执行function函数。在这个过程中,可以发现线程的执行并不受程序员的控制,从入口进入到执行完毕给出返回值,程序员无法控制。而协程则允许程序员在其执行到某个步骤时停止执行,去执行别的任务,当某个条件满足后继续执行被暂停的任务。在子程序内部中断,去执行别的子程序,在适合的时候返回继续执行。例如下面的例子,假设有两个函数func1和func2:func1: 打印123;func2打印456

假设在func1最后调用func2,这是利用线程来完成的,那么最终的结果是打印123456;

而在使用协程情况下,允许程序员中断func1,执行func2,然后返回继续执行func1,可以实现先打印12,然后执行func2,打印456,然后返回继续执行func1,打印3,最终的结果是:124563。

协程的优点和缺点

协程具有极高的执行效率,这是由于没有线程切换的开销以及没有线程同步的开销。子程序切换不设计到线程切换没有线程切换的开销,同时由于多个协程在同一线程下,不涉及到写资源冲突,协程中控制共享资源不加锁,因此执行效率比线程高。线程数目越多,协程的优势越明显。

优点

  1. 轻量级: 协程通常比线程更轻量级,因为它们在同一线程中运行,并且可以在不同的时间点暂停和恢复执行。这意味着在同一系统上可以运行更多的协程而不会产生过多的资源消耗。

  2. 低开销: 创建和销毁协程的开销通常比线程低,因为它们不涉及操作系统级别的上下文切换。

  3. 高效的并发: 由于协程可以在同一线程中进行切换,因此在某些情况下,协程可以比使用多线程的程序更高效地利用多核处理器。

  4. 简化同步: 在协程中,共享状态的同步通常更容易,因为协程可以通过消息传递等方式来进行通信,而不需要使用诸如锁之类的同步原语。

  5. 简化代码: 使用协程可以编写更具表达力和清晰度的异步代码。它们通常使用异步/await语法,使得编写异步代码更类似于编写同步代码。

缺点

  1. 不适用于CPU密集型任务: 协程通常适用于IO密集型任务,而不适用于CPU密集型任务。因为协程在同一线程中执行,如果一个协程执行了一个长时间的CPU密集型操作,它会阻塞其他协程的执行。

  2. 需要显式地调用异步操作: 在使用协程时,必须确保在适当的地方使用异步操作。如果忘记在长时间运行的操作中使用异步调用,可能会阻塞整个程序的执行。

  3. 难以调试: 由于协程通常是在同一线程中运行的,因此调试时可能会更加复杂。在调试过程中,难以查看多个协程之间的状态和执行顺序。

  4. 可能会出现死锁: 如果在协程中错误地使用了同步原语,例如锁,可能会导致死锁的发生。这种情况下,由于协程在同一线程中执行,死锁可能会导致整个程序无法继续执行。

  5. 需要特定的语言和库支持: 并非所有编程语言都原生支持协程,需要特定的语言和库支持。此外,不同的库和框架对于协程的实现方式和性能特点也可能不同,需要开发者进行选择和权衡。

协程类的设计

本文章中协程在切换时,需要程序员指定协程有哪些状态,根据状态进行操作。同时在协程中提供一个主协程作为中转协程,主协程没有栈空间,只负责中转。例如协程1要获得执行权,需要将协程1和主协程的上下文进行切换,将协程1切入执行,将主协程切出;当协程1要让出执行权时,需要将主协程和协程1上下文进行切换,将协程1切出,将执行权还给主协程。

协程状态

  • INITIALIZED:初始化状态,刚刚创建协程;
  • PAUSED:暂停状态,等待资源或某件事发生;
  • RUNNING:运行状态,协程已经开始执行任务;
  • FINISHED:结束状态,协程已经执行完任务,不需要执行其他操作。
  • EXECUTABLE:可执行状态,等待分配CPU或事件触发;
  • EXCEPTIONAL:异常状态,协程执行过程中遇到问题。

成员

首先效仿线程,我们给予协程一个id,用来标识某个协程;然后是协程的上下文结构体还有栈指针和栈空间大小,其次是协程的状态,最后给出协程的一个回调函数。

  • coroutine_id_:协程id
  • coroutine_ucontext_:协程上下文
  • coroutine_stack_ptr_:协程栈指针
  • coroutine_stack_size_:协程栈大小
  • coroutine_state_:协程状态
  • coroutine_callback_func_:协程回调函数

方法

除了必要的私有数据成员访问方法,还需要提供两种构造函数,一种负责主协程,也就是中转协程,另一种构造常用协程。此外当协程执行过程中出现错误或其他原因允许切换协程的回调函数。还需要将当前协程切入执行和将当前协程切出让出执行权的函数。

此外还需要一些静态函数来服务类,如设置和返回当前正在执行协程,将当前正在执行协程切换到其他状态。

  • getCoroutineID:返回协程id
  • getCoroutineState:返回协程状态
  • acquireExecution:获得执行权
  • yieldExecution:让出执行权
  • Coroutine:构造函数,包含两种
  • ~Coroutine:析构函数,释放栈空间
  • setCallbackFunction:设置协程的回调函数
  • SetExecutingCoroutine:设置正在执行的协程
  • GetExecutingCoroutine:返回正在执行的协程
  • GetExecutingCoroutineState:返回正在执行的协程的状态
  • GetExecutingCoroutineID:返回正在执行的协程的id
  • GetTotalCoroutineCount:返回协程总数
  • MainFunction:协程绑定的函数
  • ConvertToPaused:将正在执行的协程切换到暂停状态
  • ConvertToExecutable:将正在执行的协程切换到可执行状态

源代码

#pragma once

#include <iostream>
#include <ucontext.h>
#include <memory>
#include <assert.h>
#include <functional>
#include "uncopyable.h"

class Coroutine : public std::enable_shared_from_this<Coroutine> {
private:
    enum STATE {
        INITIALIZED,
        PAUSED,
        RUNNING,
        FINISHED,
        EXECUTABLE,
        EXCEPTIONAL
    };
private:
    Coroutine();
public:
    typedef std::shared_ptr<Coroutine> ptr;
    Coroutine(std::function<void()> func, size_t stack_size = 0);
    ~Coroutine();
    const size_t getCoroutineID() const { return coroutine_id_; }
    STATE getCoroutineState() const { return coroutine_state_; }
    void setCallbackFunction(std::function<void()> func);
    void acquireExecution();
    void yieldExecution();
public:
    static void SetExecutingCoroutine(Coroutine* coroutine);
    static Coroutine::ptr GetExecutingCoroutine();
    static void ConvertToPaused();
    static void ConvertToExecutable();
    static size_t GetTotalCoroutineCount();
    static size_t GetExecutingCoroutineID();
    static STATE GetExecutingCoroutineState();
private:
    static void MainFunction();
private:    
    size_t coroutine_id_ = 0;
    ucontext_t coroutine_ucontext_;
    void* coroutine_stack_ptr_;
    size_t coroutine_stack_size_ = 0;
    std::function<void()> coroutine_callback_func_;
    STATE coroutine_state_ = INITIALIZED;
};
#include "coroutine.h"

// 用来初始化协程id
static thread_local size_t COROUTINE_ID = {0};
// 用来跟踪协程个数
static thread_local size_t COROUTINE_COUNTS = {0};
// 当前线程正在执行的协程
static thread_local Coroutine* EXECUTING_COROUTINE = nullptr;
// 用于协程切换的调度协程
static thread_local Coroutine::ptr SCHEDULER_COROUTINE = nullptr;
// 默认协程栈大小
static size_t COROUTINE_STACK_DEFAULT_SIZE = 128 * 1024;

// 提供更方便的开辟和释放空间方法
class CoroutineStackAllocator {
public:
    static void* Alloc(size_t stack_size) {
        return malloc(stack_size);
    }

    static void Dealloc(void* stack_ptr, size_t stack_size) {
        return free(stack_ptr);
    }
};

Coroutine::Coroutine() {
    coroutine_state_ = RUNNING;
    SetExecutingCoroutine(this);
    assert(!getcontext(&coroutine_ucontext_));
    ++COROUTINE_COUNTS;
    std::cout << "scheduler coroutine constructed id = " << coroutine_id_ << std::endl;
}

Coroutine::Coroutine(std::function<void()> func, size_t stack_size):
    coroutine_id_(++COROUTINE_ID),
    coroutine_callback_func_(func) {
    ++COROUTINE_COUNTS;
    coroutine_stack_size_ = stack_size ?stack_size : COROUTINE_STACK_DEFAULT_SIZE;
    coroutine_stack_ptr_ = CoroutineStackAllocator::Alloc(coroutine_stack_size_);
    assert(!getcontext(&coroutine_ucontext_));
    coroutine_ucontext_.uc_link = nullptr;
    coroutine_ucontext_.uc_stack.ss_sp = coroutine_stack_ptr_;
    coroutine_ucontext_.uc_stack.ss_size = coroutine_stack_size_;
    makecontext(&coroutine_ucontext_, &MainFunction, 0);
    std::cout << "coroutine " << coroutine_id_ << " constructed" << std::endl;
}

Coroutine::~Coroutine() {
    --COROUTINE_COUNTS;
    if(coroutine_stack_ptr_) {
        assert(coroutine_state_ == INITIALIZED || coroutine_state_ == FINISHED || coroutine_state_ == EXCEPTIONAL);
        CoroutineStackAllocator::Dealloc(coroutine_stack_ptr_, coroutine_stack_size_);
    } else {
        assert(!coroutine_callback_func_);
        assert(coroutine_state_ == RUNNING);
        Coroutine* cur = SCHEDULER_COROUTINE.get();
        if(cur == this) {
            SetExecutingCoroutine(nullptr);
        }
    }
    std::cout << "coroutine " << coroutine_id_ << " descructed" << std::endl;
}

void Coroutine::setCallbackFunction(std::function<void()> func) {
    assert(coroutine_stack_ptr_);
    assert(coroutine_state_ == INITIALIZED || coroutine_state_ == EXCEPTIONAL || coroutine_state_ == FINISHED);
    coroutine_callback_func_ = func;
    assert(!getcontext(&coroutine_ucontext_));
    coroutine_ucontext_.uc_link = nullptr;
    coroutine_ucontext_.uc_stack.ss_sp = coroutine_stack_ptr_;
    coroutine_ucontext_.uc_stack.ss_size = coroutine_stack_size_;
    makecontext(&coroutine_ucontext_, &MainFunction, 0);
    coroutine_state_ = INITIALIZED;
}

void Coroutine::acquireExecution() {
    SetExecutingCoroutine(this);
    coroutine_state_ = RUNNING;
    std::cout << "coroutine " << coroutine_id_ << " acquireExecution" << std::endl;
    assert(!swapcontext(&SCHEDULER_COROUTINE->coroutine_ucontext_, &coroutine_ucontext_));
}

void Coroutine::yieldExecution() {
    SetExecutingCoroutine(SCHEDULER_COROUTINE.get());
    assert(!swapcontext(&coroutine_ucontext_, &SCHEDULER_COROUTINE->coroutine_ucontext_));
}

void Coroutine::SetExecutingCoroutine(Coroutine* coroutine) {
    EXECUTING_COROUTINE = coroutine;
}

Coroutine::ptr Coroutine::GetExecutingCoroutine() {
    if(EXECUTING_COROUTINE) {
        return EXECUTING_COROUTINE->shared_from_this();
    }
    Coroutine::ptr scheduler_coroutine(new Coroutine);
    assert(EXECUTING_COROUTINE == scheduler_coroutine.get());
    SCHEDULER_COROUTINE = scheduler_coroutine;
    return EXECUTING_COROUTINE->shared_from_this();
}

void Coroutine::ConvertToPaused() {
    Coroutine::ptr cur = GetExecutingCoroutine();
    assert(cur->coroutine_state_ == RUNNING);
    cur->coroutine_state_ = PAUSED;
    cur->yieldExecution();
}

void Coroutine::ConvertToExecutable() {
    Coroutine::ptr cur = GetExecutingCoroutine();
    assert(cur->coroutine_state_ == RUNNING);
    cur->coroutine_state_ = EXECUTABLE;
    cur->yieldExecution();
}

size_t Coroutine::GetTotalCoroutineCount() {
    return COROUTINE_COUNTS;
}

size_t Coroutine::GetExecutingCoroutineID() {
    if(EXECUTING_COROUTINE) {
        return EXECUTING_COROUTINE->coroutine_id_;
    }
    return 0;
}

Coroutine::STATE Coroutine::GetExecutingCoroutineState() {
    if(EXECUTING_COROUTINE) {
        return EXECUTING_COROUTINE->coroutine_state_;
    }
    return EXCEPTIONAL;
}

void Coroutine::MainFunction() {
    Coroutine::ptr cur = GetExecutingCoroutine();
    assert(cur);
    try
    {
        cur->coroutine_callback_func_();
        cur->coroutine_callback_func_ = nullptr;
        cur->coroutine_state_ = FINISHED;
    } catch(const std::exception& e) {
        cur->coroutine_state_ = EXCEPTIONAL;
        std::cerr << e.what() << '\n';
    } catch(...) {
        cur->coroutine_state_ = EXCEPTIONAL;
        std::cout << "something else happened" << std::endl;
    }
    std::cout << "coroutine " << cur->coroutine_id_ << " finished" << std::endl;
    auto raw_ptr = cur.get();
    cur.reset();
    raw_ptr->yieldExecution();
}

测试

#include "coroutine.h"
#include <thread>
#include <chrono>

void test() {
    std::cout << "function test begin" << std::endl;
    std::cout << "yieldExecution" << std::endl;
    Coroutine::GetExecutingCoroutine()->yieldExecution();
    std::cout << "ConvertToPaused " << std::endl;
    Coroutine::ConvertToPaused();
    std::cout << "ConvertToExecutable" << std::endl;
    Coroutine::ConvertToExecutable();
    std::cout << "function test end" << std::endl;
}

int main() {
    std::cout << "begin test" << std::endl;
    Coroutine::GetExecutingCoroutine();
    Coroutine::ptr coroutine(new Coroutine(test));
    std::cout << "coroutine acquireExecution for first time" << std::endl;
    coroutine->acquireExecution();
    std::cout << "coroutine acquireExecution for second time" << std::endl;
    coroutine->acquireExecution();
    std::cout << "coroutine acquireExecution for third time" << std::endl;
    coroutine->acquireExecution();
    std::cout << "coroutine acquireExecution for four time" << std::endl;
    coroutine->acquireExecution();
    std::cout << "end test" << std::endl;
    return 0;
}

测试结果:

总结

本文实现了基于C++的协程的封装,介绍了协程及其优点和缺点,并给出了源代码和测试代码。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1637048.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

代码随想录算法训练营第59天|503.下一个更大元素II、42. 接雨水

503.下一个更大元素II 题目链接&#xff1a;下一个更大元素II 题目描述&#xff1a;给定一个循环数组 nums &#xff08; nums[nums.length - 1] 的下一个元素是 nums[0] &#xff09;&#xff0c;返回 nums 中每个元素的 下一个更大元素 。 数字 x 的 下一个更大的元素 是按数…

TDengine写入2000万数据查询体验

最近在寻找时序数据库&#xff0c;想应用在公司的项目上。 上一篇文章实验了InfluxDB:windows上使用influx2.7学习,还学习了flux语言&#xff0c;最后发现宽表查询比较困难&#xff0c;就放弃了&#xff0c;于是决定试试国产时序数据库TDengine 参考 官方文档&#xff1a;htt…

OpenSSH 漏洞补丁更新笔记

OpenSSH 漏洞补丁更新笔记 相关背景OpenSSH 8.8 以后版本弃用RSA 以及影响centos 更新openssh9.7p1通过rpm包进行安装 Ubuntu更新openssh-9.5p1前置条件下载的源码包导入服务器后操作 相关背景 客户通过第三方扫漏工具发现服务器centos8和Ubuntu22.04有OpenSSH 相关高危漏洞 扫…

Linux 第十八章

&#x1f436;博主主页&#xff1a;ᰔᩚ. 一怀明月ꦿ ❤️‍&#x1f525;专栏系列&#xff1a;线性代数&#xff0c;C初学者入门训练&#xff0c;题解C&#xff0c;C的使用文章&#xff0c;「初学」C&#xff0c;linux &#x1f525;座右铭&#xff1a;“不要等到什么都没有了…

【C#】基础知识

0.参考 C#语言入门详解 1.几种打印hello_world的方式 1.1 console控制台 新建一个console&#xff0c;直接打印&#xff1a; Console.WriteLine("Hello_world");启动一闪而过&#xff0c;在vs调试中选择开始执行不调试&#xff08;without debug&#xff09;。 …

el-tabs作为子组件使用页面空白

文章目录 前言一、问题展示二、源码分析三、解决方案 前言 如果el-tabs是子组件&#xff0c;父组件传值value / v-model为空字符&#xff0c;这个时候在watch中监听value / v-model就会发现监听的数据会被调用为‘0’。一定是作为子组件引用&#xff0c;且在watch进行监听&…

5.C++动态内存管理(超全)

目录 1 .C/C 内存分布 2. C语言中动态内存管理方式&#xff1a;malloc/calloc/realloc/free 3. C内存管理方式 3.1 new/delete操作内置类型 3.2 new和delete操作自定义类型 3.3 operator new函数 3.4 定位new表达式(placement-new) &#xff08;了解&#xff09; 4. 常…

开发一个语音聊天社交app小程序H5需要多少钱?

社交&#xff0c;即时通讯APP系统。如何开发一个社交App||开发一个即时通信应用是一项复杂而充满挑战的任务&#xff0c;需要考虑多个技术、开发时间和功能方面的因素。以下是一个概要&#xff0c;描述了从技术、开发时间和功能角度如何开发这样的应用&#xff1a; 1. 技术要点…

Centos7.9系统MySQL5.7.32升级为5.7.44(生成环境操作)

1.背景 由于客户进行等保漏扫和渗透&#xff0c;生成环境mysql数据库被扫描出了 高危漏洞。 如图&#xff1a;部分漏洞 查看漏洞详细信息&#xff0c;建议升级到指定版本解决&#xff1a; 说明&#xff1a; 本文仅适合使用当前数据库为 RPM 安装方式 2.升级前准备 查看环…

STM32-HAL库12-STM32F407VGT6的PWM主从定时器,发送指定数量脉冲

STM32-HAL库12-STM32F407VGT6的PWM主从定时器&#xff0c;发送指定数量脉冲 一、所用材料 STM32F407VGT6自制双伺服电机控制板&#xff1b; 一川A1系列伺服电机驱动器&#xff08;电0.73KW电机&#xff09;&#xff1b; 二、所学内容 实现PWM发送指定个数脉冲&#xff0c;以…

Noisy:一款功能强大的DNS和HTTPS网络流量噪声生成工具

关于Noisy Noisy是一款功能强大的DNS和HTTP/S网络流量噪音生成工具&#xff0c;该工具基于Python开发&#xff0c;可以帮助广大研究人员在进行常规网络浏览时&#xff0c;在后台生成随机的HTTP/DNS网络流量噪声&#xff0c;并以此来提升网络通信数据的安全性和隐蔽性。 支持的…

Hikyuu-教程-如何利用 FINANCE 指标计算市盈率

本篇主要讲解如何利用 FINANCE 指标计算市盈率&#xff0c;其他市净率等指标可以参考此文实现。 获取历史财务字段信息 调用 sm.get_history_finance_all_fields() 方法获取历史财务信息对应字段的索引号和名称 In [2]: sm.get_history_finance_all_fields() Out[2]: [(0, 基…

Bert基础(二十一)--Bert实战:文本摘要

一、介绍 1.1 文本摘要简介 文本摘要&#xff08;Text Summarization&#xff09;&#xff0c;作为自然语言处理&#xff08;NLP&#xff09;领域的一个分支&#xff0c;其核心目标是从长篇文档中提取关键信息&#xff0c;并生成简短的摘要&#xff0c;以提供对原始内容的高度…

Rust中的并发性:Sync 和 Send Traits

在并发的世界中&#xff0c;最常见的并发安全问题就是数据竞争&#xff0c;也就是两个线程同时对一个变量进行读写操作。但当你在 Safe Rust 中写出有数据竞争的代码时&#xff0c;编译器会直接拒绝编译。那么它是靠什么魔法做到的呢&#xff1f; 这就不得不谈 Send 和 Sync 这…

Apache SeaTunnel k8s 集群模式 Zeta 引擎部署指南

SeaTunnel提供了一种运行Zeta引擎(cluster-mode)的方法&#xff0c;可以让Kubernetes在本地运行Zeta引擎&#xff0c;实现更高效的应用程序部署和管理。在本文中&#xff0c;我们将探索SeaTunnel k8s运行zeta引擎(cluster-mode模式)的更多信息&#xff0c;了解如何更好地利用Ze…

大数据技术就业和发展前景怎么样

大数据技术的就业和发展前景极为乐观&#xff0c;具有行业需求旺盛、就业多样性、可持续发展潜力等特点&#xff0c; 上大学网 &#xff08;www.sdaxue.com&#xff09;整理出了大数据技术的就业和发展前景以下几个关键趋势&#xff0c;供大家参考&#xff01; 行业需求旺盛&…

[华为OD] C卷 5G网络 现需要在某城市进行5G网络建设,已经选取N个地点设置5G基站 200

题目 现需要在某城市进行5G网络建设&#xff0c;已经选取N个地点设置5G基站&#xff0c;编号固定为1到N,接 下来需要各个基站之间使用光纤进行连接以确保基站能互联互通&#xff0c;不同基站之间架设光纤的成 本各不相同&#xff0c;且有些节点之间已经存在光纤相连&#…

数据仓库Data Warehouse

数据仓库Data Warehouse 数仓是一种思想,数仓是一种规范,数仓是一种解决方案 1. 数据处理方式 数据处理大致可以分成两大类: 联机事务处理OLTP(on-line transaction processing)联机分析处理OLAP(On-Line Analytical Processing)1.1. OLTP OLTP的全称是On-line Transa…

Unity添加证件

目录 1.问题描述&#xff1a;2.解决方法&#xff1a;小结&#xff1a; 1.问题描述&#xff1a; 2.解决方法&#xff1a; 登录后跳转打开 添加证件 选择个人证件 小结&#xff1a; 关注我给大家分享更多有趣的知识&#xff0c;以下是个人公众号&#xff0c;提供 ||代码兼职||…

基于 React 的图形验证码插件

react-captcha-code NPM 地址 &#xff1a; react-captcha-code - npm npm install react-captcha-code --save 如下我自己的封装&#xff1a; import Captcha from "react-captcha-code";type CaptchaType {captchaChange: (captchaInfo: string) > void;code…