The Coroutine

关于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

时间: 2024-10-08 23:22:44

The Coroutine的相关文章

关于Unity协程(Coroutine)

协程官方doc解释A coroutine is a function that can suspend its execution(yield) until the given given YieldInstruction finishes. StartCoroutine开启协程 先执行协程中的代码 碰到yield return时控制权交给unity引擎 引擎继续做接下来的工作例如第一次yield return之后执行StartCoroutine下一行代码 直到满足yield指令的要求才会重新进

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

转自 https://segmentfault.com/a/1190000006079389?from=groupmessage&isappinstalled=0 简介 说到协程(Coroutine),很多人会想到go,lua,erlang等语言,其实JVM上也有蛮多的实现,如PicoThread,Kilim,Quasar等,本文主要介绍其中一种Coroutine实现 -- Quasar Fiber,Quasar Fiber相对来说流行度更好一些,如果之前没有接触过协程(用户级轻量级线程),可以

C#中的yield return与Unity中的Coroutine(协程)(下)

Unity中的Coroutine(协程) 估计熟悉Unity的人看过或者用过StartCoroutine() 假设我们在场景中有一个UGUI组件, Image: 将以下代码绑定到Image 1 using UnityEngine; 2 using System.Collections; 3 using System.Threading; 4 using UnityEngine.UI; 5 6 public class CoroutineDemo : MonoBehaviour { 7 8 //

Python高级编程之生成器(Generator)与coroutine(一):Generator

这是一系列的文章,会从基础开始一步步的介绍Python中的Generator以及coroutine(协程)(主要是介绍coroutine),并且详细的讲述了Python中coroutine的各种高级用法,最后会用coroutine实现一个简单的多任务的操作系统. 其实也是看完这篇文章的学习笔记吧!O(∩_∩)O 生成器(Generator) 什么是生成器?在Python中,生成器(Generator)是一个带有yield关键字的函数 1 def gene(): 2 a = 1 3 print "

【Unity3D】Invoke,InvokeRepeating ,Coroutine 延迟调用,周期性调用

Invoke和InvokeRepeating方法,可以实现延迟调用,和周期调用 第一个是执行一次,第二个是重复执行 void Invoke(string methodName, float time); 第一个参数是方法名(注意是字符串形式),并不是更方便的委托.第二个是延时多少秒.只执行一次. void InvokeRepeating(string methodName, float time, float repeatRate); InvokeRepeating第二个参数是延时多少秒后开始,

Unity3D中的Coroutine详解

Unity中的coroutine是通过yield expression;来实现的.官方脚本中到处会看到这样的代码. 疑问: yield是什么? Coroutine是什么? unity的coroutine程序执行流程怎么那么奇怪? unity中的coroutine原理是什么,怎么实现的? 使用unity的coroutine需要注意什么问题? 一.yield的在几种语言中的程序执行特性: Lua中的yield是使得协同函数运行->挂起并且传递参数给resume.resume使得协同函数挂起->运行

lua的协程(coroutine)

协程和多线程下的线程类似:有自己的堆栈,自己的局部变量,有自己的指令指针,但是和其他协程程序共享全局变量等信息.线程和协程的主要不同在于:多处理器的情况下,概念上来说多线程是同时运行多个线程,而协程是通过协作来完成,任何时刻只有一个协程程序在运行.并且这个在运行的协程只有明确被要求挂起时才会被挂起 你可以使用coroutine.create来创建协程: co = coroutine.create(function () print("hi") end) 协程有三种状态:挂起,运行,停止

Lua之协同程序(coroutine)

什么是协同(coroutine)? Lua 协同程序(coroutine)与线程比较类似:拥有独立的堆栈,独立的局部变量,独立的指令指针,同时又与其它协同程序共享全局变量和其它大部分东西. 协同是非常强大的功能,但是用起来也很复杂. 线程和协同程序区别 线程与协同程序的主要区别在于,一个具有多个线程的程序可以同时运行几个线程,而协同程序却需要彼此协作的运行. 在任一指定时刻只有一个协同程序在运行,并且这个正在运行的协同程序只有在明确的被要求挂起的时候才会被挂起. 协同程序有点类似同步的多线程,在

python coroutine的学习跟总结[转]

简介 因为最近一段时间需要研究一些openstack相关的东西,在阅读一些相关代码的时候碰到很多python特定的一些特性,比如generator, coroutine以及一些相关的类库,比如eventlet, greenlet.在openstack里引用的第三方类库非常多,这些特性和类库看起来还比较复杂.如果需要对openstack里面某些特性的实现非常熟悉的话,就需要对这些牵涉到的基础的东西有个很好的了解.这里就针对coroutine的特性和它的使用做一个总结. coroutine的定义和使

Unity协程(Coroutine)原理深入剖析(转载)

记得去年6月份刚开始实习的时候,当时要我写网络层的结构,用到了协程,当时有点懵,完全不知道Unity协程的执行机制是怎么样的,只是知道函数的返回值是IEnumerator类型,函数中使用yield return ,就可以通过StartCoroutine调用了.后来也是一直稀里糊涂地用,上网google些基本都是例子,很少能帮助深入理解Unity协程的原理的. 本文只是从Unity的角度去分析理解协程的内部运行原理,而不是从C#底层的语法实现来介绍(后续有需要再进行介绍),一共分为三部分: 线程(