tbox协程使用之切换与等待

简介: tbox的协程实现,是stackfull模式的,需要指定独立堆栈和协程函数,目前暂时还不能像golang那样实现堆栈的动态增长,之后会对其进行支持。

tbox的协程实现,是stackfull模式的,需要指定独立堆栈和协程函数,目前暂时还不能像golang那样实现堆栈的动态增长,之后会对其进行支持。

目前提供下面一些功能特性:

1. 提供yield切换调度支持,这个是必须的哈
2. 提供suspend(挂起)/resume(恢复)协程接口,不同于yield的是,被suspend后,如果不显示调用resume恢复它,是永远不会被调度到的
3. 提供sleep等待接口支持
4. 提供io调度支持,支持socket等io等待(内部使用epoll, poll, kqueue, select, poll等接口调度)
5. 原生支持stream,socket,http等模块的协程支持,可与线程进行无缝切换
6. 提供channel同道,进行协程间交互通信
7. 提供lock,semaphore等接口

这里主要讲讲,基础的切换调度如何使用。。

yield切换

这个的使用非常简单,直接上代码吧,嘿嘿。。

static tb_void_t switchfunc(tb_cpointer_t priv)
{
    // 获取传入的参数
    tb_size_t count = (tb_size_t)priv;
    while (count--)
    {
        // 打印当前协程id
        tb_trace_i("[coroutine: %p]: %lu", tb_coroutine_self(), count);

        // 让出当前协程,进行切换
        tb_coroutine_yield();
    }
}
tb_int_t main(tb_int_t argc, tb_char_t** argv)
{
    // 初始化tbox
    if (!tb_init(tb_null, tb_null)) return -1;

    // 初始化一个调度器实例
    tb_co_scheduler_ref_t scheduler = tb_co_scheduler_init();
    if (scheduler)
    {
        // 开启一个协程,传递switchfunc切换函数和参数10,最后一个参数指定栈大小,传0使用默认值
        tb_coroutine_start(scheduler, switchfunc, (tb_cpointer_t)10, 0);

        // 开启协程,使用指定的栈大小:8192
        tb_coroutine_start(scheduler, switchfunc, (tb_cpointer_t)10, 8192);

        /* 运行调用,开始运行里面的所有协程
         *
         * 第二个参数指定是否启用独占模式,这个稍后细讲
         */
        tb_co_scheduler_loop(scheduler, tb_true);

        // 退出调度器
        tb_co_scheduler_exit(scheduler);
    }

    // 退出tbox
    tb_exit();
}

所有协程执行完后,就会从loop调用处返回,当然在协程函数内部也是可以嵌套开启新协程的

这个时候第一个参数就不需要显示指定scheduler了,传tb_null表示在当前调度器环境中开新协程,例如:

static tb_void_t switchfunc2(tb_cpointer_t priv)
{
    // ..
}
static tb_void_t switchfunc(tb_cpointer_t priv)
{
    // 在当前协程函数内,开启一个新协程    
    tb_coroutine_start(tb_null, switchfunc2, tb_null, 0);

    // 获取传入的参数
    tb_size_t count = (tb_size_t)priv;
    while (count--)
    {
        // 让出当前协程,进行切换
        tb_coroutine_yield();
    }
}

独占模式

上面的代码中提到的独占模式,需要特殊说明下,一般情况下,传tb_false到loop()中,不启用此模式是最为稳妥的。

因为这样每个scheduler对应的线程都会在Tls中维护自己的scheduler引用,使得协程中所有操作,都回去访问当前线程tls对应的独立scheduler,互不干涉。

这个在存在多个scheduler的情况,尤为重要,当时这样多少会有些tls操作上的性能损耗,像server端一般只有一个scheduler的情况下,就没必要放到独立tls中去了

可以传入tb_true启用独占模式,告诉tb_co_scheduler_loop(),我当前不需要tls维护,只需要一个全局scheduler变量来维护就行了

这样的话,性能会提升一些,因此在只有一个scheduler存在的情况下,启用独占效率会高些。。

sleep等待

tbox的tb_sleeptb_msleep()接口,是可以原生支持协程的,在协程外就是线程等待,在协程内就是协程等待。

当然也可以直接使用协程的接口:tb_coroutine_sleep()

例如:

static tb_void_t sleepfunc(tb_cpointer_t priv)
{
    while (1)
    {
        // 等待10ms,切换到其他协程,直到10ms后才会切换回来继续执行
        tb_msleep(10);
    }
}

resume/suspend接口

挂起域恢复,跟yield的区别就是,被suspend挂起的协程,默认是不会被切换调度回来的,除非执行resume恢复它。

因此这两个接口是成对使用的,像sleep,lock和semaphore的内部实现,也是基于此套接口。

这两个接口还有个功能,就是可以在两个协程间,更加快速方便的传递一些参数数据,进行交互,而不需要channel支持。。

例如:

static tb_void_t resumefunc(tb_cpointer_t priv)
{
    // 获取suspend协程引用 
    tb_coroutine_ref_t coroutine = (tb_coroutine_ref_t)priv;

    /* 恢复suspend协程,传递参数"hello suspend!"给suspend()作为其返回值
     *
     * retval为suspend()中传入的参数:"hello resume!"
     */
    tb_char_t const* retval = tb_coroutine_resume(coroutine, "hello suspend!");
}
static tb_void_t suspendfunc(tb_cpointer_t priv)
{
    // 开启一个恢复协程,传入当前协程引用
    tb_coroutine_start(tb_null, resumefunc, tb_coroutine_self(), 0);

    /* 挂起当前协程,传递参数"hello resume!"给resume()作为其返回值
     *
     * retval为resume()中传入的参数:"hello suspend!"
     */
    tb_char_t const* retval = tb_coroutine_suspend("hello resume!");
}

当然,如果不需要交互数据,那么只需要传tb_null就行了。。


个人主页:TBOOX开源工程
原文出处:http://tboox.org/cn/2016/10/29/coroutine-switch/

目录
相关文章
|
23天前
|
前端开发 程序员 调度
探索协程在 C++ 中的实现方式
探索协程在 C++ 中的实现方式
103 2
|
3月前
|
消息中间件 缓存 JavaScript
“别让你的代码卡住了”——事件循环机制大揭秘
“别让你的代码卡住了”——事件循环机制大揭秘
|
3月前
|
Unix Linux 编译器
进程、线程、协程的区别
进程、线程、协程的区别
29 0
|
4月前
|
存储 前端开发 rax
协程切换的三种底层实现方式
协程切换的三种底层实现方式
62 0
|
4月前
|
程序员 调度 C#
协程是什么?为何说协程具有同步的编程方式又具有异步的性能?
协程是什么?为何说协程具有同步的编程方式又具有异步的性能?
73 0
|
10月前
|
安全 Java 调度
【Java并发编程 五】线程生命周期及状态切换
【Java并发编程 五】线程生命周期及状态切换
60 0
|
10月前
|
Java 程序员
同步模式之顺序控制线程执行
同步模式是指在多线程编程中,为了保证线程之间的协作和正确性,需要对线程的执行顺序进行控制。顺序控制线程执行是一种同步模式,它通过控制线程的等待和唤醒来实现线程的有序执行。
102 0
同步模式之顺序控制线程执行
|
安全 调度 开发者
并发异步编程之争:协程(asyncio)到底需不需要加锁?(线程/协程安全/挂起/主动切换)Python3
协程与线程向来焦孟不离,但事实上是,线程更被我们所熟知,在Python编程领域,单核同时间内只能有一个线程运行,这并不是什么缺陷,这实际上是符合客观逻辑的,单核处理器本来就没法同时处理两件事情,要同时进行多件事情本来就需要正在运行的让出处理器,然后才能去处理另一件事情,左手画方右手画圆在现实中本来就不成立,只不过这个让出的过程是线程调度器主动抢占的。
并发异步编程之争:协程(asyncio)到底需不需要加锁?(线程/协程安全/挂起/主动切换)Python3
访问其他协程
访问其他协程
56 0
使用 select 切换协程
在 Go 中,可以通过关键字select来完成从不同的并发执行的协程中获取值,它和switch控制语句非常相似,也被称作通信开关;它的行为像是“你准备好了吗”的轮询机制;select监听进入通道的数据,也可以是用通道发送值的时候。