协程库项目—协程类模块

ucontext_t结构体、非对称协程

协程类

ucontext_t结构体

头文件中定义的四个函数（getcontext(), setcontext(), makecontext(), swapcontext()）和两个结构类型（mcontext_t, ucontext_t）在一个进程中实现用户级的线程切换。
其中，mcontext_t类型与机器相关，不透明；ucontext_t结构体至少包含以下几个域：

typedef struct ucontext {struct ucontext *uc_link;sigset_t         uc_sigmask;stack_t          uc_stack;mcontext_t       uc_mcontext;...
} ucontext_t;

当当前上下文运行终止时，系统会恢复uc_link指向的上下文；uc_sigmask为该上下文中的阻塞信号集合；uc_stack为该上下文中使用的栈；uc_mcontext保存的上下文的特定机器表示，包括调用线程的特定寄存器等。

下面是这四个函数的详细介绍：

int getcontext(ucontext_t *ucp);

初始化ucp结构体，将当前的上下文保存到ucp中。

int setcontext(const ucontext_t *ucp);

设置当前的上下文为ucp，setcontext的上下文ucp应该通过getcontext或者makecontext取得。如果调用成功则不返回。如果上下文是通过调用getcontext()取得，程序会继续执行这个调用（从该上下文的状态开始继续执行，即调用getcontext处后接着执行）。如果上下文是通过调用makecontext取得，程序会调用makecontext函数的第二个参数指向的函数，如果func函数返回，则恢复makecontext第一个参数指向的上下文。如果uc_link为NULL，则线程退出。

void makecontext(ucontext_t *ucp, void (*func)(), int argc, ...);

makecontext修改通过getcontext取得的上下文ucp（这意味着调用makecontext前必须先调用getcontext）。然后给该上下文指定一个栈空间ucp->stack，设置后继的上下文ucp->uc_link。当上下文通过setcontext或者swapcontext激活后，执行func函数，argc为func的参数个数，后面是func的参数序列。当func执行返回后，继承的上下文被激活，如果继承上下文为NULL时，线程退出。

int swapcontext(ucontext_t *oucp, ucontext_t *ucp);

保存当前上下文到oucp结构体中，然后激活upc上下文。如果执行成功，getcontext返回0，setcontext和swapcontext不返回；如果执行失败，getcontext,setcontext,swapcontext返回-1，并设置对应的errno。

小结一下：
makecontext：初始化一个ucontext_t,func参数指明了该context的入口函数，argc为入口参数的个数，每个参数的类型必须是int类型。另外在makecontext前，一般需要显示的初始化栈信息以及信号掩码集同时也需要初始化uc_link，以便程序退出上下文后继续执行。
swapcontext：原子操作，该函数的工作是保存当前上下文并将上下文切换到新的上下文运行。
getcontext：将当前的执行上下文保存在cpu中，以便后续恢复上下文
setcontext：将当前程序切换到新的context,在执行正确的情况下该函数直接切换到新的执行状态，不会返回。

⾮对称模型

非对称协程（asymmetric
coroutines）是跟一个特定的调用者绑定的，协程让出CPU时，只能让回给调用者。何为非对称呢？在于协程的调用(call/resume)和返回(return/yield)的地位不对等。程序控制流转移到被调用者协程，而被调用者只能返回最初调用它的协程。
对称协程（symmetric
coroutines）在于协程调用和返回的地位是对等的。启动之后就跟启动之前的协程没有任何关系了。协程的切换操作，一般而言只有一个操作，yield，用于将程序控制流转移给其他的协程。对称协程机制一般需要一个调度器的支持，按一定调度算法去选择yield的目标协程。

这里采用的是非对称模型，
保证⼦协程不能再创建新的协程，即协程不能嵌套调⽤，⼦协程只能与主线程进行切换。注意下图中子协程只能切换回主协程，不能创建新的子协程。
在这里插入图片描述

对于非对称协程，⼦协程和⼦协程切换导致线程主协程跑⻜的关键原因在于，每个线程只有两个线程局部变量⽤于保存当前的协程上下⽂信息。也就是说线程任何时候都最多只能知道两个协程的上下⽂，其中⼀个是当前正在运⾏协程的上下⽂，另⼀个是线程主协程的上下⽂，如果⼦协程和⼦协程切换，那这两个上下⽂都会变成⼦协程的上下⽂，线程主 协程的上下⽂丢失了，程序也就跑⻜了。

简化协程状态

只设置三种协程状态：就绪态、运⾏态和结束态，⼀个协程要么正在运⾏（RUNNING），要么准备运⾏（READY），要运⾏
结束（TERM）。
在这里插入图片描述

协程操作

协程创建操作
创建线程主协程：只需要将协程设置为当前运行协程，协程转为RUNING，获取当前上下文。
创建⽤户协程：则需要额外创建栈空间和绑定协程入口函数

/**
* @brief 线程主协程构造函数
* @attention ⽆参构造函数只⽤于创建线程的第⼀个协程，也就是线程主函数对应的协程，
* 这个协程只能由GetThis()⽅法调⽤，所以定义成私有⽅法
*/
Fiber::Fiber(){SetThis(this);m_state = RUNNING;if (getcontext(&m_ctx)) {Fzk_ASSERT2(false, "getcontext");}++s_fiber_count;m_id = s_fiber_id++; // 协程id从0开始，⽤完加1Fzk_LOG_DEBUG(g_logger) << "Fiber::Fiber() main id = " << m_id;
}/**
* @brief 构造函数，⽤于创建⽤户协程
* @param[] cb 协程⼊⼝函数
* @param[] stacksize 栈⼤⼩
*/
Fiber::Fiber(std::function<void()> cb, size_t stacksize): m_id(s_fiber_id++), m_cb(cb) {++s_fiber_count;m_stacksize = stacksize ? stacksize : g_fiber_stack_size->getValue();m_stack = StackAllocator::Alloc(m_stacksize);if (getcontext(&m_ctx)) {Fzk_ASSERT2(false, "getcontext");}m_ctx.uc_link = nullptr;m_ctx.uc_stack.ss_sp = m_stack;m_ctx.uc_stack.ss_size = m_stacksize;makecontext(&m_ctx, &Fiber::MainFunc, 0);Fzk_LOG_DEBUG(g_logger) << "Fiber::Fiber() id = " << m_id;
}

协程间执行权转换操作

resume：将协程（非TERM、RUNNING状态）设置为当前运行协程，协程转为RUNING，恢复协程运行
yield：将主协程设置为当前运行协程，协程转为READY，让出执⾏权
主要区别：前者将保存线程主协程上下文，并切换运行子协程的上下文；前者将保存子协程上下文，并切换运行主协程的上下文；

/// @brief 恢复协程运行
///恢复该协程的运行。
void Fiber::resume() {Fzk_ASSERT(m_state != TERM && m_state != RUNNING);SetThis(this);m_state = RUNNING;//涉及后面的协程调度，如果协程参与调度器调度，那么应该和调度器的主协程进行swap，而不是线程主协程// if (m_runInScheduler) {//     if (swapcontext(&(Scheduler::GetMainFiber()->m_ctx), &m_ctx)) {//         Fzk_ASSERT2(false, "swapcontext");//     }// } else {//      if (swapcontext(&(t_thread_fiber->m_ctx), &m_ctx)) {//          Fzk_ASSERT2(false, "swapcontext");//      }//  }//发生段错误，已解决，是新创建的子协程未保存其上下文，导致&m_ctx对未初始化对象进行取地址操作if (swapcontext(&(t_thread_fiber->m_ctx), &m_ctx)) {Fzk_ASSERT2(false, "swapcontext");}
}
/// @brief 当前协程让出执⾏权
///当前协程让出执⾏权, 当前协程的状态有两种情况：1、协程函数未执行完，更新为READY; 2、执行完更新为TERM
void Fiber::yield() {/// 协程运行完之后会自动yield一次，用于回到主协程，此时状态已为结束状态Fzk_ASSERT(m_state == RUNNING || m_state == TERM);SetThis(t_thread_fiber.get());if(m_state != TERM) {m_state = READY;}// 如果协程参与调度器调度，那么应该和调度器的主协程进行swap，而不是线程主协程// if(m_runInScheduler) {//     if(swapcontext(&m_ctx, &(Scheduler::GetMainFiber()->m_ctx))) {//         Fzk_ASSERT2(false, "swapcontext");//     }// } else {//      if (swapcontext(&m_ctx, &(t_thread_fiber->m_ctx))) {//          Fzk_ASSERT2(false, "swapcontext");//      }//  }if (swapcontext(&m_ctx, &(t_thread_fiber->m_ctx))) {Fzk_ASSERT2(false, "swapcontext");}
}

后续工作：实现协程调度类

为使得协程类能够通过调度器来运⾏，需要对已实现的协程类进行以下具体操作：

  1. 给协程类增加⼀个bool类型的成员m_runInScheduler，⽤于记录该协程是否通过调度器来运⾏。
  2. 创建协程时，根据协程的身份指定对应的协程类型，具体来说，只有想让调度器调度的协程的 m_runInScheduler值为true，线程主协程和线程调度协程的m_runInScheduler都为false。
  3. resume⼀个协程时，如果如果这个协程的m_runInScheduler值为true，表示这个协程参与调度器调度，那它应该和三个线程局部变量中的调度协程上下⽂进⾏切换，同理，在协程yield时，也应该恢复调度协程的上下⽂，表示从⼦协程切换回调度协程；
  4. 如果协程的m_runInScheduler值为false，表示这个协程不参与调度器调度，那么在resume协程时，直接和线程主协程切换就可以了，yield也⼀样，应该恢复线程主协程的上下⽂。m_runInScheduler值为false的协程。上下⽂切换完全和调度协程⽆关，可以脱离调度器使⽤。

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

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

Spring Boot 中解决跨域的多种方式

Spring Boot 中解决跨域的多种方式

Spring Boot 中解决跨域的多种方式 《踏过跨域障碍&#xff1a;Spring Boot 中解决跨域的多种方式》摘要引言正文何为跨域跨域问题出现特征方式一&#xff1a;使用 CrossOrigin 注解方式二&#xff1a;自定义 WebMvcConfigurer方式三&#xff1a;使用 Filter 进行跨域配置 结论…
阅读更多...
免费无水印视频素材哪里下载？这几个地方您要知道

免费无水印视频素材哪里下载？这几个地方您要知道

哟哟&#xff0c;切克闹&#xff0c;视频剪辑达人们&#xff0c;是不是在视频素材的海洋里迷航了&#xff1f;别着急&#xff0c;今天我就给大家分享几个超实用的无水印短视频素材合集网&#xff0c;让你的创作更加得心应手&#xff0c;从此素材不再是你的烦恼 1&#xff0c;蛙…
阅读更多...
Vue3与Vue2：对比分析与迁移指南

Vue3与Vue2：对比分析与迁移指南

&#x1f90d; 前端开发工程师、技术日更博主、已过CET6 &#x1f368; 阿珊和她的猫_CSDN博客专家、23年度博客之星前端领域TOP1 &#x1f560; 牛客高级专题作者、打造专栏《前端面试必备》 、《2024面试高频手撕题》 &#x1f35a; 蓝桥云课签约作者、上架课程《Vue.js 和 E…
阅读更多...
从零学习Linux操作系统 第三十五部分 Ansible中的角色

从零学习Linux操作系统 第三十五部分 Ansible中的角色

一、理解roles在企业中的定位及写法 #ansible 角色简介# Ansible roles 是为了层次化&#xff0c;结构化的组织Playbookroles就是通过分别将变量、文件、任务、模块及处理器放置于单独的目录中&#xff0c;并可以便捷地include它们roles一般用于基于主机构建服务的场景中&…
阅读更多...
002typeScript面试，1 理解TS类？2 类的继承 3 修饰符 4 抽象类理解 5 枚举类 enum

002typeScript面试，1 理解TS类？2 类的继承 3 修饰符 4 抽象类理解 5 枚举类 enum

1 理解TS类&#xff1f; 2 类的继承 3 修饰符 3-1) private 3-2) protected 3-3) readonly 4 抽象类理解 5 枚举类 enum 5-1&#xff09;枚举模式 5-2&#xff09;数字枚举 5-3&#xff09;字符串枚举 5-4&#xff09;异构枚举
阅读更多...
蓝桥杯刷题5--GCD和LCM

蓝桥杯刷题5--GCD和LCM

目录 1. GCD 1.1 性质 1.2 代码实现 2. LCM 2.1 代码实现 3. 习题 3.1 等差数列 3.2 Hankson的趣味题 3.3 最大比例 3.4 GCD 1. GCD 整数a和b的最大公约数是能同时整除a和b的最大整数&#xff0c;记为gcd(a, b) 1.1 性质 GCD有关的题目一般会考核GCD的性质。   …
阅读更多...
Vue 3中的reactive：响应式状态的全面管理

Vue 3中的reactive：响应式状态的全面管理

&#x1f90d; 前端开发工程师、技术日更博主、已过CET6 &#x1f368; 阿珊和她的猫_CSDN博客专家、23年度博客之星前端领域TOP1 &#x1f560; 牛客高级专题作者、打造专栏《前端面试必备》 、《2024面试高频手撕题》 &#x1f35a; 蓝桥云课签约作者、上架课程《Vue.js 和 E…
阅读更多...
2024年【电工（初级）】考试题及电工（初级）考试报名

2024年【电工（初级）】考试题及电工（初级）考试报名

题库来源&#xff1a;安全生产模拟考试一点通公众号小程序 电工&#xff08;初级&#xff09;考试题是安全生产模拟考试一点通总题库中生成的一套电工&#xff08;初级&#xff09;考试报名&#xff0c;安全生产模拟考试一点通上电工&#xff08;初级&#xff09;作业手机同步…
阅读更多...
复盘-PPT

复盘-PPT

调整PPT编号起始页码在设计→幻灯片大小 设置所有以及文本项目符号 ## 打开母版&#xff0c;找到对应级别设置重置 当自动生成的smartart图形不符合预期时
阅读更多...
打印机项目需求

打印机项目需求

打印机项目需求 工作情况如下 我拿着一张带有二维码的纸张对准“打印机的摄像头”“打印机的摄像头”解析我的二维码假如解析后的二维码内容是&#xff1a;24030924发送一个http请求&#xff1a;https://…/getMessage?code24030924外部服务器会返回一个json数据{‘地址’:‘…
阅读更多...
适配器模式已经在SpringMVC中的源码实现

适配器模式已经在SpringMVC中的源码实现

介绍&#xff1a; 1、适配器模式将某个类的接口转换成客户端期望的另一种接口表示 2、目的&#xff1a;兼容性&#xff0c;让原本因接口不匹配不能一起工作的两个类可以协同工作。其别名为&#xff1a;包装器。 3、属于&#xff1a;结构型模式 4、分3类&#xff1a;1&#xff0…
阅读更多...
难❗️计算机考研408难度又破新高！

难❗️计算机考研408难度又破新高！

24年408考研&#xff0c;如果只用王道的复习资料&#xff0c;最多考100-120分 就是这么的现实&#xff0c;王道的资料虽然好&#xff0c;但是并不能覆盖全部的知识点和考点&#xff0c;而且24年的408真题考的很怪&#xff0c;总结起来就是下面这些特点&#xff1a; 偏&#x…
阅读更多...
力扣——合并k个升序链表

力扣——合并k个升序链表

文章目录 题目解析题目链接题目解析 算法讲解暴力解法利用优先级队列进行优化 代码解析 题目解析 题目链接 首先先把题目连接给大家奉上题目链接 题目解析 严格来说这个题目是非常容易理解的相信大家有了合并两个升序链表来理解这个题目就会非常容易理解了。这个题目的意思就…
阅读更多...
linux网络通信（TCP）

linux网络通信（TCP）

TCP通信 1.socket----->第一个socket 失败-1&#xff0c;错误码 参数类型很多&#xff0c;man查看 2.connect 由于s_addr需要一个32位的数&#xff0c;使用下面函数将点分十进制字符串ip地址以网络字节序转换成32字节数值 同理端口号也有一个转换函数 我们的端口号位两个字…
阅读更多...
【深入理解设计模式】模板方法模式

【深入理解设计模式】模板方法模式

模板方法模式 模板方法模式是一种行为设计模式,它定义了一个操作中的算法骨架,将某些步骤延迟到子类中实现。模板方法模式使得子类可以不改变算法结构的情况下,重新定义算法的某些特定步骤。 概述 在面向对象程序设计过程中&#xff0c;程序员常常会遇到这种情况&#xff1a;…
阅读更多...
ESP8266开发板 + DHT11+远程开关+ThingsCloud+APP+QQ邮件推送告警

ESP8266开发板 + DHT11+远程开关+ThingsCloud+APP+QQ邮件推送告警

ESP32 是乐鑫公司推出的 WiFi 芯片&#xff0c;它不仅支持 WiFi 和 BLE&#xff0c;还可以作为可编程的 MCU&#xff0c;通过 Espressif IDF、Arduino 等框架编写固件&#xff0c;用于非常广泛的物联网场景。 这个教程我们分享如何在 Arduino IDE 中使用 ThingsCloud ESP SDK&…
阅读更多...
Leetcode - 二分查找 | 在排序数组中查找元素的第一个和最后一个位置

Leetcode - 二分查找 | 在排序数组中查找元素的第一个和最后一个位置

题目一&#xff1a;二分查找 二分查找 看到这道题之后&#xff0c;很快就能想到暴力的解法&#xff0c;把数组遍历一遍就能找到答案&#xff0c;时间复杂度O(n)。 假设存在一批数字[1&#xff0c;1&#xff0c;3&#xff0c;4&#xff0c;5&#xff0c;6&#xff0c;7&#x…
阅读更多...
蓝桥杯备战刷题five（自用）

蓝桥杯备战刷题five（自用）

1.数字三角形&#xff08;方向次数限制&#xff0c;动态规划&#xff09; //如果n为奇数时&#xff0c;最后必然走到最后行最中间的数&#xff0c;如果为偶数&#xff0c;则取中间两个数的最大值&#xff0c; //因为向左下走的次数与向右下走的次数相差不能超过 1 #include …
阅读更多...
[ai笔记15] openAI官方提示词工程文档（图文重排版本）

[ai笔记15] openAI官方提示词工程文档（图文重排版本）

欢迎来到文思源想的ai空间&#xff0c;这是技术老兵重学ai以及成长思考的第15篇分享&#xff01; 最近在学习prompt提示词技巧&#xff0c;一番研究发现其实提示词的技巧并不是限定死的&#xff0c;所谓技巧和心法更像是教导我们如何更清晰、更结构化的大模型聊天工具进行沟通…
阅读更多...
算法——滑动窗口之最小覆盖子串

算法——滑动窗口之最小覆盖子串

8.最小覆盖子串 题目:. - 力扣&#xff08;LeetCode&#xff09; 我们很容易就能想到暴力解法,就是暴力枚举: 我们找到满足条件的这个子串后,就要将left,然后right回到left的位置开始遍历,寻找下一个满足条件的子串,期间用哈希表来统计,判断是否满足条件 我们在暴力解法上进…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023