lua编程之协程介绍
一,lua协程简介
协程(coroutine),意思就是协作的例程,最早由Melvin Conway在1963年提出并实现。跟主流程序语言中的线程不一样,线程属于侵入式组件,线程实现的系统称之为抢占式多任务系统,而协程实现的多任务系统成为协作式多任务系统。线程由于缺乏yield语义,所以运行过程中不可避免需要调度,休眠挂起,上下文切换等系统开销,还需要小心使用同步机制保证多线程正常运行。而协程的运行指令系列是固定的,不需要同步机制,协程之间切换也只涉及到控制权的交换,相比较线程来说是非常轻便的。不过同一时刻可以有多个线程运行,但却只能有一个协程运行。
协程具有两个非常重要的特性:
1. 私有数据在协程的间断式运行期间一直有效
2. 协程每次yield后让出控制权,下次被resume后从停止点开始继续执行
通俗的说,比较像一个带有静态数据而且具有多个进入点和返回点的函数,下面通过一个简单例子看看这个性质:
co = coroutine.create(
function(a)
print("a = "..a)
c = coroutine.yield(a+1)
print("c = "..c)
return c*2
end
)
_, b = coroutine.resume(co, 1)
print("b = "..b)
_, d = coroutine.resume(co, b )
print("d = "..d)
运行结果:
a = 1
b = 2
c = 2
d = 4
协程co中除了一般函数具有的进入点(函数入口处)和返回点(函数结尾),在yield出还有一个进入点和返回点。主程序第一次resume时将1传给参数a,运行到yield时,协程返回控制权给主程序,并通过yield的参数提供返回值,于是b=a+1,再次resume时,主程序通过参数b将数据传给co的变量c,从而从第二个入口点进入函数,最后返回值c*2传给d。
resume/yield语义实现的协程属于非对称协程,在非对称协程中,调用者和被调用者的关系是固定的,调用者通过resume将控制流转到被调用者,被调用者通过yield只能返回到调用者,而不能返回到其他协程。比如A resume B resume C, C yield只能到B,而不能到A或其他协程。
世间万物都是对立又统一的,既然存在非对称协程,当然就存在对称协程。对称协程只有一个语义可以将控制流直接转到目的协程。
非对称协程和对称协程的表达能力是一样的,lua中只实现了非对称协程,一个重要原因是lua是c实现的,非对称协程的调用与被调用关系与c的函数调用非常类似,方便lua和c的扩展编程。
二,协程实战
下面例子利用协程实现经典的生产者-消费者模型。
count = 10
productor = coroutine.create(
function ()
i = 0
while(true) do
i = i+1
coroutine.yield(i)
end
end
) consumer = coroutine.create(
function(co)
n = 1
while(n<count) do
_, v = coroutine.resume(co)
print(v)
n = n+1
end
end
) coroutine.resume(consumer, productor)
consumer启动productor,productor产生一个item后通过yield传回给consumer,然后挂起等待consumer下次resume,非常简单直观。
协程的另一个重要作用是作为迭代器,依次访问数据结构的元素。下面代码展示了先序访问二叉树的方法。
l = {
v = 1,
left = nil,
right = nil,
} r = {
v = 2,
left = nil,
right = nil,
} root = {
v = 3,
left = l,
right = r,
} preorder = function(root)
if(root == nil) then return end
coroutine.yield(root.v)
preorder(root.left)
preorder(root.right)
end preco = coroutine.create(preorder) view = function(co, root)
state, v = coroutine.resume(co, root)
if(state == false) then return end
print(v)
while(true) do
state, v = coroutine.resume(co)
if(state == false or v == nil) then return end
print(v)
end
end
view(preco, root)
对于coroutine, 这里介绍了一个非常轻量级协程的实现原理,云风通过uconext实现了类似于lua的协程库,有兴趣的同学可以研究研究。
reference:
《coroutines in C》
lua编程之协程介绍的更多相关文章
- python并开发编程之协程
一 引出协成 并发的本质是:切换+保存状态 CPU在运行行一个任务时,会在两种情况下切走去执行其他任务,一是该任务发生了阻塞,二是运行该任务的时间过长 yeild可以保存状态,yeild状态保存与操作 ...
- python 全栈开发,Day43(引子,协程介绍,Greenlet模块,Gevent模块,Gevent之同步与异步)
昨日内容回顾 I/O模型,面试会问到I/O操作,不占用CPU.它内部有一个专门的处理I/O模块.print和写log 属于I/O操作,它不占用CPU 线程GIL保证一个进程中的多个线程在同一时刻只有一 ...
- {python之协程}一 引子 二 协程介绍 三 Greenlet 四 Gevent介绍 五 Gevent之同步与异步 六 Gevent之应用举例一 七 Gevent之应用举例二
python之协程 阅读目录 一 引子 二 协程介绍 三 Greenlet 四 Gevent介绍 五 Gevent之同步与异步 六 Gevent之应用举例一 七 Gevent之应用举例二 一 引子 本 ...
- 32 python 并发编程之协程
一 引子 本节的主题是基于单线程来实现并发,即只用一个主线程(很明显可利用的cpu只有一个)情况下实现并发,为此我们需要先回顾下并发的本质:切换+保存状态 cpu正在运行一个任务,会在两种情况下切走去 ...
- 【python】-- 协程介绍及基本示例、协程遇到IO操作自动切换、协程(gevent)并发爬网页
协程介绍及基本示例 协程,又称微线程,纤程.英文名Coroutine.一句话说明什么是协程:协程是一种用户态的轻量级线程. 协程拥有自己的寄存器上下文和栈.协程调度切换时,将寄存器上下文和栈保存到其他 ...
- 四 python并发编程之协程
一 引子 本节的主题是基于单线程来实现并发,即只用一个主线程(很明显可利用的cpu只有一个)情况下实现并发,为此我们需要先回顾下并发的本质:切换+保存状态 cpu正在运行一个任务,会在两种情况下切走去 ...
- 百万年薪python之路 -- 并发编程之 协程
协程 一. 协程的引入 本节的主题是基于单线程来实现并发,即只用一个主线程(很明显可利用的cpu只有一个)情况下实现并发,为此我们需要先回顾下并发的本质:切换+保存状态 cpu正在运行一个任务,会在两 ...
- 协程介绍, Greenlet模块,Gevent模块,Genvent之同步与异步
昨日内容回顾 I/O模型,面试会问到I/O操作,不占用CPU.它内部有一个专门的处理I/O模块.print和写log 属于I/O操作,它不占用CPU 线程GIL保证一个进程中的多个线程在同一时刻只有一 ...
- python并发编程之协程(实践篇)
一.协程介绍 协程:是单线程下的并发,又称微线程,纤程.一句话说明什么是线程:协程是一种用户态的轻量级线程,即协程是由用户程序自己控制调度的. 对于单线程下,我们不可避免程序中出现io操作,但如果我们 ...
随机推荐
- Matlab绘图——对称曲线绘制(转)
转自 http://blog.csdn.net/lyqmath/article/details/6004885 目的:对曲线数据做对称绘制 思想:根据两曲线按a对称,则x1 + x2 = 2a的原则 ...
- Hadoop HBase概念学习系列之行、行键(十一)
行是由列簇中的列组成.行根据行键依照字典顺序排序. HBase的行使用行键标识,可以使用行键查询整行的数据. 对同一个行键的访问都会落在同样的物理节点上.如果表包含2个列簇,属于两个列簇的文件还是保存 ...
- windows下python 正确安装词云包wordcloud的方法
安装wordcloud的时候果然还是出现了问题,试了网上说的好多办法,最后找到了一种成功率高的,可以优先尝试一下 下载.whl文件http://www.lfd.uci.edu/~gohlke/pyth ...
- 快速搭建一个Express工程骨架
下载express-generator 通过应用生成器,可以帮我们快速搭建项目需要的骨架.这就需要npm在全局下载express-generator(-g就是在全局安装) npm install ex ...
- [微信小程序直播平台开发]___(一)介绍与流程
1.一个可以忽略的前言 最近在做的一个项目,客户要做一个直播平台,主播发起视频直播,然后其他人进入房间观看这样子,跟其他直播平台不同的是,主播可以打赏观众,噗. 因为客户要做的是一个民宿的微信小程序, ...
- ubuntu修改用户环境变量解决音乐播放器Rhythmbox乱码问题
先打开主文件夹 cd /home/user #user是你的用户名 然后编辑用户环境 sudo gedit .profile在打开的文件中添加: export GST_ID3_TAG_ENCODING ...
- 课后实践之mybash20155314
课后实践之mybash 实践要求 加分题-mybash的实现 使用fork,exec,wait实现mybash 写出伪代码,产品代码和测试代码 发表知识理解,实现过程和问题解决的博客(包含代码托管链接 ...
- webpack.config.js配置遇到Error: Cannot find module '@babel/core'问题
在webpack配置,将ES6转成ES5的时候,,出现Error: Cannot find module '@babel/core'错误最初以为是babel-core没有安装上.重装了好几遍babel ...
- HDU1003 最大子段和 线性dp
题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=1003 Max Sum Time Limit: 2000/1000 MS (Java/Others) ...
- Linux服务-mysql基础篇
目录 1. 关系型数据库介绍 1.1 数据结构模型 1.2 RDBMS专业名词 1.3 关系型数据库的常见组件 1.4 SQL语句 2. mysql安装与配置 2.1 mysql安装 2.2 mysq ...