一个C/C++协程库的思考与实现之协程栈的动态按需增长

最新推荐文章于 2022-11-02 15:04:26 发布
VIP文章 最新推荐文章于 2022-11-02 15:04:26 发布
阅读量555 收藏 1
点赞数 1
分类专栏： 协程 文章标签： 协程 c++ 栈增长 协程栈动态分配 协程栈按需分配
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/DoasIsay/article/details/108229020
版权

https://github.com/DoasIsay/ToyCoroutine

如何检测协程是否需要进行栈扩充？

我们先思考一个问题，glibc的pthread_create创建的线程是如何检测到用户栈的溢出而及时终止线程的？

如下代码

g++ test.cpp -lpthread

strace ./a.out 结果如下图

 

由strace 结果可知pthread_create先使用mmap为线程申请了的用户空间stack，然后使用mprotect对stack的栈顶进行保护，即栈顶的4kb无读写权限，一旦被读写就说明产生了栈溢出，操作系统就会向读写此4kb的任务发送SIGSEGV信号，最后才是调用clone创建线程

如果越过这4kb访问前面的内存会怎样？如果刚好是另一个线程的stack？只要不访问这4kb或其它线程的这4kb都不会有问题，顶多就是会破坏其它线程的栈，或自已的栈被其它线程破坏，然后进程core掉，，&#

最低0.47元/天 解锁文章
对不起我是一个厨子
关注
  • 1
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C 协程库orchid.zip
07-19
orchid是一个构建于强大的boost库基础上的C 库，类似于python下的gevent/eventlet，为用户提供基于协程的并发模型。 协程，顾名思义，协作式程序，其思想是，一系列互相依赖的协程间依次使用CPU，每次只有一个协程工作，而其他协程处于休眠状态。协程在控制离开时暂停执行，当控制再次进入时只能从离开的位置继续执行。 协程已经被证明是一种非常有用的程序组件，不仅被python、lua、ruby等脚本语言广泛采用，而且被新一代面向多核的编程语言如golang rust-lang等采用作为并发的基本单位。 协程可以被认为是一种用户空间线程，与传统的抢占式线程相比，有2个主要的优点： 与线程不同，协程是自己主动让出CPU，并交付他期望的下一个协程运行，而不是在任何时候都有可能被系统调度打断。因此协程的使用更加清晰易懂，并且多数情况下不需要锁机制。 与线程相比，协程的切换由程序控制，发生在用户空间而非内核空间，因此切换的代价非常的小。 green化 术语“green化”来自于python下著名的协程库greenlet，指改造IO对象以能和协程配合。某种意义上，协程与线程的关系类似与线程与进程的关系，多个协程会在同一个线程的上下文之中运行。因此，当出现IO操作的时候，为了能够与协程相互配合，只阻塞当前协程而非整个线程，需要将io对象“green化”。目前orchid提供的green化的io对象包括： tcp socket（还不支持udp） descriptor（目前仅支持非文件类型文件描述符，如管道和标准输入/输出，文件类型的支持会在以后版本添加） timer (定时器) signal (信号) chan：协程间通信 chan这个概念引用自golang的chan。每个协程是一个独立的执行单元，为了能够方便协程之间的通信/同步，orchid提供了chan这种机制。chan本质上是一个阻塞消息队列，后面我们将看到，chan不仅可以用于同一个调度器上的协程之间的通信，而且可以用于不同调度器上的协程之间的通信。 多核 建议使用的scheduler per cpu的的模型来支持多核的机器，即为每个CPU核心分配一个调度器，有多少核心就创建多少个调度器。不同调度器的协程之间也可以通过chan来通信。协程应该被创建在哪个调度器里由用户自己决定。 进一步信息请阅读doc目录下tutorial。如果您发现任何bug或者有任何改进意见，请联系[email protected] 标签：orchid
c++ 协程_理解有栈无栈协程
weixin_39875941的博客
11-21 789
理解有栈无栈协程 可能会有错误, 只是自己简单的理解之前一直没想明白了一个问题, 就是关于协程如何进行上下文切换.众所周知, 协程是分为有栈协程和无栈协程俩种. 区别在于是否有自己的调用栈来进行函数调用等操作.有栈协程有栈协程这里的做法比较好理解, 一般来说有俩种做法: 采用操作系统提供的api 类似 ucontext 或者 setjump longjump 用汇编操控寄存器保存状态 典型的例子...
核心原理-协程栈
热门推荐
在此立一个IT职业上的flag：https://github.com/Zeb-D/my-review
10-25 1万+
本文章来源于：https://github.com/Zeb-D/my-review ，请star 强力支持，你的支持，就是我的动力。 [TOC] ###什么是协程栈 每个协程都需要有自己的栈空间，来存放变量，函数，寄存器等信息。所以系统需要给协程分配足够的栈空间。 栈分配方式 固定大小的栈 每个协程都有相同的，固定大小的栈。 优点：实现简单； 缺点：每个协程需要的栈空间不尽相同，如果一概而论，那...
ST源码分析-内存保护
u012117034的博客
05-09 546
st_thread_create()创建协程的时候，会调_st_stack_new()来申请一块内存，_st_stack_new()里面额外申请了2*REDZONE的内存，在我的电脑上 一个REDZONE是 4096 字节。这个 两个REDZONE是一个在栈顶，一个在栈底。 ，如下图： 如上图代码所示，棕色的内存块2*REDZONE被 函数mprotect()保护起来了。mprotect()函数可以修改调用进程内存页的保护属性，如果调用进程尝试以违反保护属性的方...
C/C++ 协程库boost.coroutine2、魅族libgo、腾讯libco、开源libaco详解
qq_23350817的博客
05-06 2776
最近研究高性能C++协程，网上了解到了魅族libgo、腾讯libco、开源libaco、boost coroutine，这里记录一下。 1 什么是协程 协程可以很轻量的在子例程中进行切换，它由程序员进行子例程的调度（即切换）而不像线程那样需要内核参与，同时也省去了内核线程切换的开销，因为一个协程切换保留的就是函数调用栈和当前指令的寄存器，而线程切换需要陷入内核态，改变线程对象状态。 go语言就已经把协程作为基础设施提供语言级的支持，cpp这种出了名的给程序员自由的语言肯定不会提供语言级的支持。
一个C/C++协程库的思考与实现之栈溢出检测
DoasIsay的博客
07-16 926
事情是这样的，在第一次因协程栈溢出导致的进程崩溃后，过了不知道多久由于代码量的增加，协程的栈又溢出了程序又崩溃了，多线程加协程对使用gdb调试而言并不是很友好，可能我还是不会使用gdb吧，从coredump中基本上找不到什么有助于问题定位的信息，有时候连个函数调用栈都没有，你都不知道运行到那个函数那行代码时出现了问题，如果是刚刚修改了代码程序就崩了，还可以大概确定是修改了的这部分代码出了问题，但是如果修改了很多代码，就需要大海捞针一样，用最原始的调试手段，在每个你觉得可疑的地方去print碰运气 于是我决
堆栈溢出的常见情况
DHL1234567的专栏
09-04 3743
一、局部数组过大。当函数内部的数组过大时，有可能导致堆栈溢出。 例如：
C/C++协程库libco：微信怎样漂亮地完成异步化改造
02-25
2013年11月，微信月活跃用户数达到3.55亿，一跃成为亚洲地区拥有最大用户群体的移动终端即时通讯软件。面对如此体量的提升，微信后台也曾遭遇棘手的窘境；令人赞叹的是技术人及时地做出了漂亮的应对。这背后有着怎样...
一种协程的 C/C++ 实现
01-21
　我有见过几种协程的实现，因为没有 C/C++ 的原生支持，所以多数的库使用了汇编代码，还有些库利用了 C 语言的 setjmp 和 longjmp 但是要求函数里面使用 static local 的变量来保存协程内部的数据。我讨厌写汇编和...
基于C ++ 20协程的协作多任务库-C/C++开发
05-27
op Coop Coop是一个基于C ++ 20协程的库，用于在多线程应用程序的上下文中支持协作式多任务处理。 语法将为：Coop Coop是一个基于C ++ 20协程的库，用于在多线程应用程序的上下文中支持协作式多任务处理。 使用其他...
cogo:无栈CC ++协程库
04-12
介绍 C的无堆栈协程库，实现了yield，await，并发和通道。 概述 # include " cogo.h " co_declare (CoroutineName, T var, ...) { co_begin: // // user code // co_end:; } 例子 自然数发生器 # include " cogo.h " # include < stdio> co_declare (Nat, int value) { co_begin: for (co_this-> value = 0 ; ; co_this-> value ++) { co_yield; } co_end:; } int main () { Nat n = co_make (Nat); CO_STEP (&n); pri
cpp-libaco一个超快速轻巧的纯C语言不对称协程库
08-16
libaco：一个超快速轻巧的纯C语言不对称协程库
版次：用于C ++ 20的协程库和工具包
02-14
马克汉姆 C ++协程库和工具包 felspar::coro::generator 用于将co_yield值的协程转换为与co_yield for循环一起使用的迭代器。 生成器可以通过常规功能使用，而不仅仅是协程。 生成程序协程仅限于使用co_yield而不是co_return任何值。 felspar::coro::lazy 基本懒惰评估的协程。 从表面上看，它与无效的lambda非常相似，但具有“仅一次”执行保证。 协程可以从普通函数或协程中求值，并使用operator()()返回它的值，就好像它是一个空lambda一样。 felspar::coro::stream 必须从协程调用的生成器，但允许在其内部实现中使用co_await 。 使用next一次从流中获取项目，并且必须co_await 。 返回的值是流类型周围的std::optional包装器，流终止时为空。 felsp
C++开源协程库libco-原理与应用
01-28
使用 C++ 来编写高性能的网络服务器程序，从来都不是件很容易的事情。在没有 应用任何网络框架，从 epoll/kqueue 直接码起的时候尤其如此。即便使用 libevent, libev 这样事件驱动的网络框架去构建你的服务，程序结构依然不会很简单。为何会这样？因 为这类框架提供的都是非阻塞式的、异步的编程接口，异步的编程方式，这需要思维方 式的转变。为什么 golang 近几年能够大规模流行起来呢？因为简单。这方面最突出的 一点便是它的网络编程 API，完全同步阻塞式的接口。要并发？go 出一个协程就好了。 相信对于很多人来说，最开始接触这种编程方式，是有点困惑的。程序中到处都是同步 阻塞式的调用，这程序性能能好吗？答案是，好，而且非常好。那么 golang 是如何做 到的呢？秘诀就在它这个协程机制里
C/C++ 动态库嵌套调用源代码文件
10-28
C/C++ 动态库嵌套调用
pthread_create线程创建的过程剖析
max18的专栏
10-25 1297
概述 在Linux环境下，pthread库提供的pthread_create()API函数，用于创建一个线程。线程创建失败时，它可能会返回ENOMEM或EAGAIN。这篇文章主要讨论线程创建过程中碰到的一些问题和解决方法。 创建线程 首先，本文用的实例代码example.c: /* example.c*/ #include #include #include
pthread_create创建线程失败问题排查
“点点”专栏
11-02 5063
pthread_create创建线程失败问题排查
从内核角度看看pthread_create创建的线程共享进程哪些资源
m0_37313888的博客
03-26 359
#include <stdio.h> #include <pthread.h> #include <stdlib.h> #include <unistd.h> void* p1(void* args) { printf("hello world\n"); sleep(3); } int main() { pthread_t...
pthread_create源码分析
conansonic的博客
08-22 1万+
pthread_create源码分析 pthread_attr_t的主要属性的意义如下： __detachstate，表示新线程是否与进程中其他线程脱离同步， 如果设置为PTHREAD_CREATE_DETACHED 则新线程不能用pthread_join()来同步，且在退出时自行释放所占用的资源。缺省为PTHREAD_CREATE_JOINABLE状态。这个属性也可以在线程创建并运行以后用p
python调用c++动态库_python使用ctypes调用C/C++动态库
最新发布
06-02
下面是一个简单的例子，说明如何使用ctypes调用C++动态库。 假设有这样一个C++动态库： ```cpp #include using namespace std; extern "C" { int add(int a, int b) { return a + b; } } ``` 其中，`extern ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值