[libco] 协程栈空间

最新推荐文章于 2024-12-30 23:21:34 发布

原创

最新推荐文章于 2024-12-30 23:21:34 发布 · 653 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#协程 #libco #栈

本文详细介绍了协程的栈空间管理，包括独立栈和共享栈的概念。独立栈虽简单易用，但可能导致内存浪费和溢出；共享栈则通过内存池节省空间，但切换时可能涉及内存拷贝。理解这两种栈的工作原理对于深入掌握协程的实现至关重要。

协程“栈”空间，有独立栈和共享栈，重点理解一下协程共享栈。

文章来源：* [libco] 协程栈空间

1. 概述

libco 虽然支持海量协程，但是单线程，同一时刻只支持一个协程在工作。在一个时间段内，它通过调度，使多个协程不停切换，从而实现协程“并发”功能。

协程“栈”空间，有独立栈，也有共享栈。这个“栈”添加了引号，其实它是在堆上分配的，因为它的协程函数工作原理与普通函数工作原理差不多，所以才叫“栈”。

普通函数运行原理：《x86_64 函数运行时栈帧内存布局》

2. 独立栈

协程独立栈默认使用 128k 内存空间，简单方便，一般程序使用也足够了，但是它也有缺点：

如果某个协程函数使用栈空间超过 128 k，那么内存会溢出，导致进程崩溃。（当然共享栈也会，但是没那么容易溢出。）
协程独立栈虽然默认只需要 128 k 内存，但是绝大多数使用场景，内存比这个少，每个协程分配固定的资源，还是有点浪费了。
libco 号称支持千万级协程，如果每个协程都是独立栈，那得废多少内存？！

struct stCoRoutine_t *co_create_env(stCoRoutineEnv_t *env, const stCoRoutineAttr_t *attr, pfn_co_routine_t pfn, void *arg) {
   
   
    stCoRoutineAttr_t at;
    if (attr) {
   
   
        memcpy(&at, attr, sizeof(at));
    }

    if (at.stack_size <= 0) {
   
   
        /* 独立栈默认 128 k。 */
        at.stack_size = 128 * 1024;
    } else if (at.stack_size > 1024 *