关于Coroutine

说到coroutine就不的不说subroutine,也就是我们常用到的一般函数。调用一个函数开始执行,然后函数执行完成后就退出,再次调用的时候,再从头开始,调用之间是没有保存状态的;但是coroutine是可以在退出时如果再次被调用,可以从上一次退出的点继续执行。也就是说coroutine的调用之间是会保存状态的。如果有多个coroutine,就可以反复调用,但是两个coroutine相互前进。当一个coroutine退出时,不是return,而是yield,表示把当前的执行权交由下一个coroutine处理,或者交出一个结果值。coroutine与我们常用到的thread有点类似,一个thread会执行一个我们指定的函数,然后当该函数调用一个阻塞IO或者同步等待一个事件或者消息时,就会被操作系统调度到等待队列,当完成或者事件响应后,线程就会继续从等待的地方执行。thread和coroutine最大的区别就是调度方式的区别,前者一般都是基于时间片的抢占式调度,而coroutine都是协作式调度。

话说回来,我们一般用的函数可以很容易的转换到coroutine。coroutine中还有一个特例,就是generator. Generator可以像一般的coroutine一样从上一次返回的地方继续执行,也可以yield多次,也可以把自己挂起,但是一般的coroutine可以在yield时指定下一个要执行的coroutine,而generator不能这么做。因此,generator一般用来实现迭代器。

Coroutine可以很方便的用来实现状态机。 Coroutine实现状态机会让代码变的更可读。比如实现一个SMTP客户端,用的是event-driven范式实现,那么就需要记录每次处理的状态,代码会变得异常复杂。假设你还是使用的event-driven范式实现,但是你用到了coroutine,coroutine内部的流程就是一般SMTP的流程,只是需要每一步请求发送后就退出,然后当收到回应包时event-driven引擎又再次调用了你的coroutine,直接到了上一次退出的地方,是不是感觉更清爽?

因为coroutine比thread相比要轻量的多,thread在操作系统层面实现,调度方式涉及到CPU上下文的切换,和coroutine的协作式调度相比要重了一些,在高并发场景中针对每个请求用thread承载会变的非常低效,但是coroutine反而容易在语言层面或者库层面实现,因此调度代价要低很多。像Lua的coroutine实现要求程序员自己调用yield自己调度,比较麻烦,但是假设像Golang,Erlang等语言把显示的协作调度隐藏起来,让程序员专注功能实现,会更容易让人接受。在golang中叫coroutine叫goroutine,当goroutine中调用了阻塞操作或者Channel的读写操作时,就会导致对应的goroutine得到执行,当完成后又会被调度回来继续执行,这种同步的编程方式可以让并发场景进行简化,让逻辑变得更清晰。Golang的这种实现把一般的显示的协作调度隐藏起来,更容易被程序员接受。

C语言实现的Coroutine

一般Coroutine多在带有GC机制的语言中实现,像在C/C++下实现coroutine会比较复杂和麻烦,不过还是有很多不同的实现,比如Russ Cox实现的libtask库,C++下的boost.coroutine库等等。其中我觉着最亮的是 大牛Simon Tatham(putty的作者)基于Duff's Device实现的版本《Coroutine in C》。其中展示了如何把一个复杂的decompressor用coroutine简化的。Simon大神实现了两种coroutine,一种是基于static变量保存状态的,另外一种是通过参数传递一个指针的指针保存状态的。后者更通用一些。详细代码点击这里

boost.asio.coroutine

asio中的coroutine的实现与上面Simon的第一种实现一样。所以没有太多可说的。boost.asio.coroutine的使用非常简单,在自己代码中包含coroutine.hpp和yield.hpp,创建一个类,派生自coroutine类。然后可以根据自己的业务要求写相应的coroutine了。当然,也可以把coroutine类作为自己的成员变量组合到自己的类中。

asio的作者也对其做了详细的说明《A potted guide to stackless coroutines》,同时还写了专门个使用指南《Composed operations, coroutines and code makeover》

总结

想用Coroutine建议还是用些现代的新语言吧,比如Golang, Erlang, Scala等。

The Coroutine的更多相关文章

  1. Coroutine in Java - Quasar Fiber实现--转载

    转自 https://segmentfault.com/a/1190000006079389?from=groupmessage&isappinstalled=0 简介 说到协程(Corout ...

  2. c coroutine

    今天看了下云风c coroutine  代码 博客,发现 coroutine 实现原理其实还比较简单,就用户态栈切换,只需要几十行汇编,特别轻量级. 具体实现 1. 创建一个coroutine: 也就 ...

  3. lua coroutine for iterator

    背景 前面的文章演示了使用闭包函数实现 状态的迭代器. 本文演示使用 coroutine来产生迭代器的例子. coroutine迭代器例子 -- 遍历二叉树 local binary_tree = { ...

  4. python中的generator(coroutine)浅析和应用

    背景知识: 在Python中一个function要运行起来,它在python VM中需要三个东西. PyCodeObject,这个保存了函数的代码 PyFunctionObject,这个代表一个虚拟机 ...

  5. hive源码之新建一个coroutine

    最近由于项目需要读了一下云风老大的hive项目代码,因为对lua只有熟悉的水平,下面的东西必然多多错误:),只为记录. lua_State *sL = schedule_newtask(L); str ...

  6. Lua Coroutine详解

    协同程序与线程差不多,也就是一条执行序列,拥有自己独立的栈,局部变量和指令指针,同时又与其它协同程序共享全局变量和其它大部分东西.线程与协同程序的主要区别在于,一个具有多线程的程序可以同时运行几个线程 ...

  7. 【Unity3D基础教程】给初学者看的Unity教程(五):详解Unity3D中的协程(Coroutine)

    作者:王选易,出处:http://www.cnblogs.com/neverdie/ 欢迎转载,也请保留这段声明.如果你喜欢这篇文章,请点[推荐].谢谢! 为什么需要协程 在游戏中有许多过程(Proc ...

  8. Lua 协程coroutine

    协程和一般多线程的区别是,一般多线程由系统决定该哪个线程执行,是抢占式的,而协程是由每个线程自己决定自己什么时候不执行,并把执行权主动交给下一个线程. 协程是用户空间线程,操作系统其存在一无所知,所以 ...

  9. U3D中的 Coroutine程序 解析

    今天咱就说说协同程序coroutine. 什么是协同程序 先说说啥是协程:它的表现形式非常像线程,对线程有过接触的朋友可能更理解我这句话的意思,你没接触过线程,那么理解它会有一些难度.但是它不存在线程 ...

随机推荐

  1. JavaScript权威指南 - 函数

    函数本身就是一段JavaScript代码,定义一次但可能被调用任意次.如果函数挂载在一个对象上,作为对象的一个属性,通常这种函数被称作对象的方法.用于初始化一个新创建的对象的函数被称作构造函数. 相对 ...

  2. 通往全栈工程师的捷径 —— react

    腾讯Bugly特约作者: 左明 首先,我们来看看 React 在世界范围的热度趋势,下图是关键词“房价”和 “React” 在 Google Trends 上的搜索量对比,蓝色的是 React,红色的 ...

  3. TODO:搭建Laravel VueJS SemanticUI

    TODO:搭建Laravel VueJS SemanticUI Laravel是一套简洁.优雅的PHP开发框架(PHP Web Framework).可以让你从面条一样杂乱的代码中解脱出来:它可以帮你 ...

  4. [.NET] C# 知识回顾 - 委托 delegate (续)

    C# 知识回顾 - 委托 delegate (续) [博主]反骨仔 [原文]http://www.cnblogs.com/liqingwen/p/6046171.html 序 上篇<C# 知识回 ...

  5. 解读发布:.NET Core RC2 and .NET Core SDK Preview 1

    先看一下 .NET Core(包含 ASP.NET Core)的路线图: Beta6: 2015年7月27日 Beta7: 2015年9月2日 Beta8: 2015年10月15日 RC1: 2015 ...

  6. 普通程序员如何转向AI方向

    眼下,人工智能已经成为越来越火的一个方向.普通程序员,如何转向人工智能方向,是知乎上的一个问题.本文是我对此问题的一个回答的归档版.相比原回答有所内容增加. 一. 目的 本文的目的是给出一个简单的,平 ...

  7. 游戏AI系列内容 咋样才能做个有意思的AI呢

    游戏AI系列内容 咋样才能做个有意思的AI呢 写在前面的话 怪物AI怎么才能做的比较有意思.其实这个命题有点大,我作为一个仅仅进入游戏行业两年接触怪物AI还不到一年的程序员来说,来谈这个话题,我想我是 ...

  8. AEAI DP V3.6.0 升级说明,开源综合应用开发平台

    AEAI DP综合应用开发平台是一款扩展开发工具,专门用于开发MIS类的Java Web应用,本次发版的AEAI DP_v3.6.0版本为AEAI DP _v3.5.0版本的升级版本,该产品现已开源并 ...

  9. MySQL,MariaDB:Undo | Redo [转]

    本文是介绍MySQL数据库InnoDB存储引擎重做日志漫游 00 – Undo LogUndo Log 是为了实现事务的原子性,在MySQL数据库InnoDB存储引擎中,还用Undo Log来实现多版 ...

  10. 【微信SEO】公众号也能做排名?

    [写于2016年8月] 最近,微信团队发出一则公告,开放公众号运营者一年内更改公众号名一次,这对不少名字起的奇葩名字(包括dkplus)的公众号来说是一件好事. 为什么说是好事呢?公众号名字直接关联到 ...