C/C++ 如何正确的切换协同程序?(基于协程的并行架构)

2024-02-26 07:04

本文主要是介绍C/C++ 如何正确的切换协同程序?(基于协程的并行架构),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在 C/C++ 语言之中,我们仍旧可以构建(基于协同程序的并行架构)程序,我们可以依赖于 boost、state-threads 等开源BCL基础类库来实现所需的一切。

但须知,在 C/C++ 语言之中构建协同程序较为原始,我们应当确保协同程序在切换时候有足够高效的性能,而不是去实现一个无意义的调度运行时程序来确保协同切换的正确性。

当然,某些人闲得无聊的确可以去实现这样的协同程序切换流程管理,我们需要先知道无论是 “stackless”、或者 “stackful” 类型的协同程序,从切换的流程上来说均为大同小异。

但本人极为反感,stackless 类型的协同程序,这包含:C#、golang、C++ 20 这一类提供 stackless,可以说,这就是伪协程。

这些 stackless 协程依赖于编译器在编译期间做极为复杂的代码展开。

以世界目前分为的流派,为两大类:

1、基于状态机的 IF Switch 切换

2、基于 Lambda 异步回调嵌套函数切换

基于编译器在编译期间对于协同程序流程的展开,这代来极为复杂的不可控制风险,这要求编译器需要经过无数深入且复杂的协同程序编译测试论证,但这并不保证编译器不会产生编译事故,这在 stackless 协同架构的程序较为常见的现象。

1、展开流程词不达意,即运行时结果与目的期望结果不同

2、过于复杂的协同程序切换流程展开,致编译器内部崩溃

3、过于缓慢的编译速度

4、内存管理出现故障或泄漏(在托管语言上,这一般为托管内存泄漏)


这四点是 stackless 协同程序,基于复杂的编译器展开代码,潜在会带来的不可控制风险,所以,即便在 C/C++ 之中,本人也不推荐适用 stackless 协同程序。

我们知道,在 C/C++ 语言之中,我们可以适用 boost 来实现 stackless 协同程序,并不需要一定适用 C++ 20。

同理,我也可以适用 boost 来实现 stackful 协同程序,本人推荐手动控制的 stackful,原因有以下几点。

1、可控

2、效能

这两点胜过任何其它花里胡哨,不切实际的特性,OK,关于跨平台的有栈协同程序,您可以参考本人的这篇博客。

C/C++ 11/14/17 有栈式协同程式的基础框架类库【关于】_c++11实现有栈对称协程库-CSDN博客

好的,进入正题,在 C/C++ 之中,手动控制协同程序切换,我们需要知晓以下几个重要知识点,无论是 stackless、还是 stackful 类型的协同程序。

1、在一个协同程序处理的流程之中,我们可以在每个断点(Yield)让出CPU之后,串化直接下一个协同程序,而不是还要画蛇添足,做一个类似 GoRuntime 的东西来管理流程。

2、在一个协同程序处理的流程之中,我们可以在每个断电(Yield)让出CPU之后,把该协程在另一个物理线程上面 Resume 恢复继续执行。

3、在一个协同程序处理的流程之中,不可以在该运行时,在其它线程上重复切换执行该协同程序,这会导致协程崩溃。

4、协同程序执行过程,依赖的数据结构可能发生变化,例如在 Yield 挂起等待 Resume 之中,其它线程或协同程序,可能释放了该数据结构持有的托管及非托管资源,所以在 Resume 恢复之后需要确保依赖数据结构的状态,否则会产生二义性。

5、协同程序在执行过程,线程CPU将被一直占有,直到该协同程序 Yield 挂起让出CPU,所以这会导致,当协同程序处理占用过多的CPU时间时,其它协同程序,若不被手动调度到其它线程上面驱动,那么在该线程驱动的其它协程被等待执行会变得异常缓慢

6、通常我们只建议在异步操作上面,适用协同程序,如网络IO、文件IO、管道IO等。

7、老生常谈的问题,需要确保协同程序之间同步问题,避免产生死锁的问题,有些菜的不得了的家伙,单线程都能整死锁,虽然死锁常见于多核编程的场景上面。

8、必要点,必须确保协同程序切换流程的准确一致性,例如:调用一个异步函数,等待它的回调函数通知完成,且 Yield 挂起当前协程,不可以在该异步函数之中仅仅只是判断下,就随意的return,而不保证回调被调用。

可以这么说,如果大家手下要有这样的小伙伴,被你发现,当天就让他直接走人了,如果不知道,尚且情有可原,提点过还犯这种想偷懒的低级错误,这几乎可以想象,平常工作态度就有很大的问题,在生产项目之中,这会带来多大不可控,不可预测、安全性的风险,在软件工程学的角度来说,这是绝对不允许的,有的懒可以偷,有的懒不能偷,没有那本专业技术书籍,让人们这么解决问题。

这篇关于C/C++ 如何正确的切换协同程序?(基于协程的并行架构)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/748030

相关文章

C++统计函数执行时间的最佳实践

《C++统计函数执行时间的最佳实践》在软件开发过程中,性能分析是优化程序的重要环节,了解函数的执行时间分布对于识别性能瓶颈至关重要,本文将分享一个C++函数执行时间统计工具,希望对大家有所帮助... 目录前言工具特性核心设计1. 数据结构设计2. 单例模式管理器3. RAII自动计时使用方法基本用法高级用法

Java中如何正确的停掉线程

《Java中如何正确的停掉线程》Java通过interrupt()通知线程停止而非强制,确保线程自主处理中断,避免数据损坏,线程池的shutdown()等待任务完成,shutdownNow()强制中断... 目录为什么不强制停止为什么 Java 不提供强制停止线程的能力呢?如何用interrupt停止线程s

Java Stream 并行流简介、使用与注意事项小结

《JavaStream并行流简介、使用与注意事项小结》Java8并行流基于StreamAPI,利用多核CPU提升计算密集型任务效率,但需注意线程安全、顺序不确定及线程池管理,可通过自定义线程池与C... 目录1. 并行流简介​特点:​2. 并行流的简单使用​示例:并行流的基本使用​3. 配合自定义线程池​示

从原理到实战解析Java Stream 的并行流性能优化

《从原理到实战解析JavaStream的并行流性能优化》本文给大家介绍JavaStream的并行流性能优化:从原理到实战的全攻略,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的... 目录一、并行流的核心原理与适用场景二、性能优化的核心策略1. 合理设置并行度:打破默认阈值2. 避免装箱

Android协程高级用法大全

《Android协程高级用法大全》这篇文章给大家介绍Android协程高级用法大全,本文结合实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友跟随小编一起学习吧... 目录1️⃣ 协程作用域(CoroutineScope)与生命周期绑定Activity/Fragment 中手

深入解析C++ 中std::map内存管理

《深入解析C++中std::map内存管理》文章详解C++std::map内存管理,指出clear()仅删除元素可能不释放底层内存,建议用swap()与空map交换以彻底释放,针对指针类型需手动de... 目录1️、基本清空std::map2️、使用 swap 彻底释放内存3️、map 中存储指针类型的对象

C++ STL-string类底层实现过程

《C++STL-string类底层实现过程》本文实现了一个简易的string类,涵盖动态数组存储、深拷贝机制、迭代器支持、容量调整、字符串修改、运算符重载等功能,模拟标准string核心特性,重点强... 目录实现框架一、默认成员函数1.默认构造函数2.构造函数3.拷贝构造函数(重点)4.赋值运算符重载函数

C++ vector越界问题的完整解决方案

《C++vector越界问题的完整解决方案》在C++开发中,std::vector作为最常用的动态数组容器,其便捷性与性能优势使其成为处理可变长度数据的首选,然而,数组越界访问始终是威胁程序稳定性的... 目录引言一、vector越界的底层原理与危害1.1 越界访问的本质原因1.2 越界访问的实际危害二、基

c++日志库log4cplus快速入门小结

《c++日志库log4cplus快速入门小结》文章浏览阅读1.1w次,点赞9次,收藏44次。本文介绍Log4cplus,一种适用于C++的线程安全日志记录API,提供灵活的日志管理和配置控制。文章涵盖... 目录简介日志等级配置文件使用关于初始化使用示例总结参考资料简介log4j 用于Java,log4c

C++归并排序代码实现示例代码

《C++归并排序代码实现示例代码》归并排序将待排序数组分成两个子数组,分别对这两个子数组进行排序,然后将排序好的子数组合并,得到排序后的数组,:本文主要介绍C++归并排序代码实现的相关资料,需要的... 目录1 算法核心思想2 代码实现3 算法时间复杂度1 算法核心思想归并排序是一种高效的排序方式,需要用