chapter9_1 协同程序

  协同程序与线程差不多,也就是一条执行序列:有自己独立的栈、局部变量、指令指针,以及和其他协同程序共享的全局变量和其他大部分东西。

两者区别在于:一个多线程的程序可以同时运行几个线程,而协同程序却需要彼此协作地运行。

一个具有多个协同程序的程序在任意时刻只能运行一个协同程序,而且正在运行的协同程序只会在其显式地要求挂起时,它的执行才会暂停。

  协同程序是一个强大的解决方案,同样地它的几种主要用法也比较复杂。

  Lua将所有关于协同程序的函数放在一个名为corouting的table里。create函数用于创建新的协同程序,它只有一个参数(函数)。

create会返回一个thread类型的值,表示新的协同程序。通常create的参数是一个匿名函数:

co = coroutine.create(function () print("hi") end)
print(co)        -->thread:0x8071d98

一个协同程序可以处于4个状态:挂起,运行,死亡,正常。

可以用函数status检查它的状态:

print (coroutine.status(co))         -->suspended

函数resume用于启动一个协同程序的执行,并将其状态由挂起转为运行:

coroutine.resume(co)         --> hi

协同程序打印了“hi”就终止了,协同程序的状态处于死亡状态,再也无法返回了。

协同程序的真正强大之处在于函数yield的使用上,它可以让一个运行中的程序挂起,而之后再恢复它的运行。

co = coroutine.create(function ()
                for i = 1,10 do
                    print("co",i)
                    coroutine.yield()
                end
      end)

现在唤醒这个协同程序时,它就会开始执行,直到第一个yield:

coroutine.resume(co)        -->co  1

此时检查它的状态,就会看到它处于挂起状态。可以再次恢复其运行。

从协同程序的角度看,所有在它挂起时发生的轰动都发生在yield调用中。

当恢复协同程序的执行时,对于yield的调用才最终返回。然后协同程序继续它的执行,直到下一个yield调用或执行结束:

coroutine.resume(co)        -->co  2
coroutine.resume(co)        -->co  3
...
coroutine.resume(co)        -->co  10
coroutine.resume(co)        --什么都不打印

到最后一次调用,协同程序已经返回。这时协同程序处于死亡状态。再resume就会返回false及一条错误消息:

print (coroutine.resume(co))
--> false    cannot resume dead coroutine

请注意,resume是在保护模式中运行的。因此如果在一个协同程序的执行中发生任何错误

lua是不会显示错误消息的,而是将执行权返回给resume调用。

当一个协同程序A唤醒另一个协同程序B时,A就处于一个特殊状态,不是挂起,也不是运行。称为正常状态。

Lua的协同程序还有一个很有用的机制,可以通过一对resume-yield来交换数据。

第一次resume时,没有yield在等待它,所有传给resume的额外参数都将视为协同程序主函数的参数。

co = coroutine.create(function (a,b,c)
            print("co",a,b,c+2 )
        end)
coroutine.resume(co,1,2,3)        -->co   1  2  5

在resume的返回内容中,第一个值为true表示没有错误,而后面所有的值都是对应yield转入的参数。

co = coroutine.create(function(a,b)
        coroutine.yield(a+b,a-b)
        end)
print(coroutine.resume(co,20,10))  -->true  30  10

与此对应的是,yield返回的额外值就是对应resume传入的参数:

co = coroutine.create(function (x)
            print("co1",x)
            print("co2",coroutine.yield())
        end)
coroutine.resume(co,"hi")        -->co1  hi
coroutine.resume(co,4,5)         -->co2  4  5

最后,当一个协同程序结束时,它的主函数所返回的值都将作为对应resume的返回值:

co = coroutine.create(function ()
                return 6,7
        end)
print(coroutine.resume(co))     -->true  6 7

很少在一个程序中使用所有这些功能,但是每种功能各有其用途。

Lua提供的是一种“非对称的协同程序”。也就是Lua提供了两个函数来控制协同程序,一个用于挂起,一个用于恢复。

而其它一些语言提供的则是“对称的协同程序”,切换执行权都只有一个函数。

一个协同程序只能在它没有调用其他函数时,才可以挂起执行。换句话说,只有协同程序的主函数才能调用类似于yield这样的函数。

时间: 2024-07-29 09:42:25

chapter9_1 协同程序的相关文章

【转】Unity中的协同程序-使用Promise进行封装(一)

原文:http://gad.qq.com/program/translateview/7170767 译者:陈敬凤(nunu)    审校:王磊(未来的未来) 每个Unity的开发者应该都对协同程序非常的熟悉.对于很多Unity的开发者而言,协同程序就是用来编写大量异步和延时任务的一种方法.如果你不在乎速度的话,有非常非常多的特殊方法可以在任何所需的时间暂停和恢复执行.在实践中,它们可以营造一种并发函数的幻觉 (虽然他们与线程无关!).然而,协同程序会有一些问题,许多程序员在使用协同程序的时候会

Lua学习笔记之协同程序

1.  协同程序与多线程情况下的线程比较类似,有自己的堆栈.自己的局部变量,有自己的指令指针,但是和其他协同程序共享全局变量等很多信息.线程和协同程序的主要不同在于:在多核处理器情况下,多线程程序同时运行多个线程,而协同程序是通过协作来完成,在任意指定时刻只有一个协同程序在运行,并且这个正在运行的协同程序只有在明确的被要求挂起的时候才被挂起. 2.  协同的基础 Lua通过table提供了所有的协同函数,create函数创建一个新的协同程序,create只有一个参数,协同程序将要运行的代码封装而

Lua之协同程序(coroutine)

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

四、Lua协同程序

一.协同程序基础 1.什么是协同程序 协同程序与线程差不多,也就是一条执行序列,拥有自己独立的栈.局部变量和指令指针(即可以保存变量的值和状态),同时又与其他协同程序共享全局变量和其他大部分东西. 与线程的区别是具有多个线程的程序可以同时运行几个线程,而程序任意时刻只能运行一个协同程序,并且协同程序只有被显示地(执行挂起函数)要求挂起才会暂停. 2.四种状态 (1)挂起(suspended):创建时或执行了操作coroutine.yield() (2)运行(running):执行了corouti

chapter9_3 协同程序实现迭代器

将循环迭代器视为"生产者-消费者"模式的一种特例:迭代器产生的数据供循环体消费. 因此,用协同程序写迭代器就理所当然了.因为协同程序可以一改传统调用者与被调用者之间的关系. 有了这个特性,在写迭代器时就无须顾及如何在每次成功的迭代调用间保持状态了. function permgen(a,n) n = n or #a --默认的n是数组a的大小 if n <= 1 then --只有一个元素,不需要排列 printresult(a) else for i = 1,n do a[n]

Lua中的协同程序 coroutine

Lua中的协程和多线程很相似,每一个协程有自己的堆栈,自己的局部变量,可以通过yield-resume实现在协程间的切换.不同之处是:Lua协程是非抢占式的多线程,必须手动在不同的协程间切换,且同一时刻只能有一个协程在运行.并且Lua中的协程无法在外部将其停止,而且有可能导致程序阻塞. 协同程序(Coroutine): 三个状态:suspended(挂起,协同刚创建完成时或者yield之后).running(运行).dead(函数走完后的状态,这时候不能再重新resume). coroutine

《Lua程序设计》9.3 以协同程序实现迭代器 学习笔记

例:编写一个迭代器,使其可以遍历某个数组的所有排列组合形式.代码如下: function permgen(a, n) n = n or #a -- 默认n为a的大小 if n <= 1 then -- 还需要改变吗? printResult(a) else for i=1,n do -- 将第一个元素放到数组末尾 a[n], a[i] = a[i], a[n] -- 生成其余元素的排列 permgen(a, n-1) -- 恢复第i个元素 a[n], a[i] = a[i], a[n] end

Lua语言基础汇总(7) -- 协同程序

前言 协同程序与线程差不多,也就是一条执行序列,拥有自己独立的栈.局部变量和指令指针,同时又与其它协同程序共享全局变量和其它大部分东西.从概念上讲,线程与协同程序的主要区别在于,一个具有多个线程的程序可以同时运行几个线程,而协同程序却需要彼此协作的运行.就是说,一个具有多个协同程序的程序在任意时刻只能运行一个协同程序,并且正在运行的协同程序只会在其显式地要求挂起时,它的执行才会暂停. 协同程序基础 Lua将所有关于协同程序的函数放置在一个名为“coroutine”的table中.函数create

Lua中的协同程序 coroutine(转)

Lua中的协程和多线程很相似,每一个协程有自己的堆栈,自己的局部变量,可以通过yield-resume实现在协程间的切换.不同之处是:Lua协程是非抢占式的多线程,必须手动在不同的协程间切换,且同一时刻只能有一个协程在运行.并且Lua中的协程无法在外部将其停止,而且有可能导致程序阻塞. 协同程序(Coroutine): 三个状态:suspended(挂起,协同刚创建完成时或者yield之后).running(运行).dead(函数走完后的状态,这时候不能再重新resume). coroutine