族谱网 头条 人物百科

协程

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:541
转发:0
评论:0
简单的对比和示例由于协程不如子例程那样被普遍所知,最好对它们作个比较。子例程的起始处是惟一的入口点,一旦退出即完成了子例程的执行,子例程的一个实例只会返回一次。协程可以通过yield来调用其它协程。通过yield方式转移执行权的协程之间不是调用者与被调用者的关系,而是彼此对称、平等的。协程的起始处是第一个入口点,在协程里,返回点之后是接下来的入口点。子例程的生命期遵循后进先出(最后一个被调用的子例程最先返回);相反,协程的生命期完全由他们的使用的需要决定。这里是一个简单的例子证明协程的实用性。假设你有一个生产者-消费者的关系,这里一个协程生产产品并将它们加入队列,另一个协程从队列中取出产品并使用它。为了提高效率,你想一次增加或删除多个产品。代码可能是这样的:varq:=newqueue生产者协程消费者协程每个协程在用yield命令向另一个协程交出控制时都尽可能做了更多的工作。放弃控制使得另...

简单的对比和示例

由于协程不如子例程那样被普遍所知,最好对它们作个比较。

子例程的起始处是惟一的入口点,一旦退出即完成了子例程的执行,子例程的一个实例只会返回一次。

协程可以通过yield来调用其它协程。通过yield方式转移执行权的协程之间不是调用者与被调用者的关系,而是彼此对称、平等的。

协程的起始处是第一个入口点,在协程里,返回点之后是接下来的入口点。子例程的生命期遵循后进先出(最后一个被调用的子例程最先返回);相反,协程的生命期完全由他们的使用的需要决定。

这里是一个简单的例子证明协程的实用性。假设你有一个生产者-消费者的关系,这里一个协程生产产品并将它们加入队列,另一个协程从队列中取出产品并使用它。为了提高效率,你想一次增加或删除多个产品。代码可能是这样的:

var q := new queue

生产者协程

消费者协程

每个协程在用yield命令向另一个协程交出控制时都尽可能做了更多的工作。放弃控制使得另一个例程从这个例程停止的地方开始,但因为现在队列被修改了所以他可以做更多事情。尽管这个例子常用来介绍多线程,实际没有必要用多线程实现这种动态:yield语句可以通过由一个协程向另一个协程直接分支的方式实现。

详细比较

因为相对于子例程,协程可以有多个入口和出口点,可以用协程来实现任何的子例程。事实上,正如Knuth所说:“子例程是协程的特例。”

每当子例程被调用时,执行从被调用子例程的起始处开始;然而,接下来的每次协程被调用时,从协程返回(或yield)的位置接着执行。

因为子例程只返回一次,要返回多个值就要通过集合的形式。这在有些语言,如Forth里很方便;而其他语言,如C,只允许单一的返回值,所以就需要引用一个集合。相反地,因为协程可以返回多次,返回多个值只需要在后继的协程调用中返回附加的值即可。在后继调用中返回附加值的协程常被称为产生器。

子例程容易实现于堆栈之上,因为子例程将调用的其他子例程作为下级。相反地,协程对等地调用其他协程,最好的实现是用continuations(由有垃圾回收的堆实现)以跟踪控制流程。

协程之常见用例

协程有助于实现:

状态机:在一个子例程里实现状态机,这里状态由该过程当前的出口/入口点确定;这可以产生可读性更高的代码。

角色模型:并行的角色模型,例如计算机游戏。每个角色有自己的过程(这又在逻辑上分离了代码),但他们自愿地向顺序执行各角色过程的中央调度器交出控制(这是合作式多任务的一种形式)。

产生器:它有助于输入/输出和对数据结构的通用遍历。

支持协程的编程语言

Simula

Modula-2

C#

Stackless Python

Lua

Io

Go

JavaScript(ECMA-262 6th Edition)

由于continuations被用来实现协程,支持continuations的编程语言也非常容易就支持协程。

协程的替代者和实现

到2003年,很多最流行的编程语言,包括C和他的后继,都未在语言内或其标准库中直接支持协程。(这在很大程度上是受基于堆栈的子例程实现的限制)。

有些情况下,使用协程的实现策略显得很自然,但是此环境下却不能使用协程。典型的解决方法是创建一个子例程,它用布尔标志的集合以及其他状态变量在调用之间维护内部状态。代码中基于这些状态变量的值的条件语句产生出不同的执行路径及后继的函数调用。另一种典型的解决方案是用一个庞大而复杂的switch语句实现一个显式状态机。这种实现理解和维护起来都很困难。

在当今的主流编程环境里,线程是协程的合适的替代者,线程提供了用来管理“同时”执行的代码段实时交互的功能。因为要解决大量困难的问题,线程包括了许多强大和复杂的功能并导致了困难的学习曲线。当需要的只是一个协程时,使用线程就过于技巧了。然而——不像其他的替代者——在支持C的环境中,线程也是广泛有效的,对很多程序员也比较熟悉,并被很好地实现,文档化和支持。在POSIX里有一个标准的良定义的线程实现pthread.

用C的实现

C标准库里的函数setjmp和longjmp可以用来实现一种协程。不幸的是,正如harbison and Steele所述,“setjmp和longjmp的相当地难以实现,程序员要对使用它作最少的假设。”这意味着如果没有留意Harbison和Steele的警告而在某个环境下使用了setjmp和longjmp,在其他环境下可能不能正常工作。更糟糕的是,错误的实现并非个例。

人们作了大量的尝试,在C里用子例程和宏实现协程,这些尝试有不同程度的成功之处。Simon Tatham的贡献(见下文)是这一方法的很好示例。他自己注解是对这一方法的限制做了很好的评价。这种方法的确可以提高代码段的可写性,可读性,可维护性还是存在争议的。用Titham的话说:“当然,这一技巧破坏了这本书的每一个编码标准……[但是]任何试图牺牲算法明晰来确保语法清晰的编码标准都应该被重写。如果你的老板因为因为你使用了这些技巧而解雇你,在保安把你从大楼里拖出来的同时不断地告诉他们上面那句话。

著名的实现:

[1]- Simon Tatham用C实现的协程

Portable Coroutine Library- C library usingPOSIX/SUSv3 facilities.

Python 实现

PEP 342- planned support for coroutines based on generators

greenlets

gevent

Perl 实现

Coro- Coro是Perl5中的一种协程实现,它使用C作为底层,所以具有良好的执行性能,而且可以配合AnyEvent共同使用,极大的弥补了Perl在线程上劣势

Tcl 实现

从 Tcl 8.6 开始,Tcl 核心内置协程支持,成为了继事件循环、线程后的另一种内置的强大功能。

参考

高德纳. Fundamental Algorithms, Third Edition. Addison-Wesley, 1997. ISBN 0-201-89683-4. Section 1.4.2: Coroutines, pp.193–200.

C: A Reference Manual. Samuel P. Harbison and Guy L. Steele, Jr. Third edition; Prentice-Hall, 1991, ISBN 0-13-110933-2.

另见

多任务处理

迭代器

Generators

惰性求值

管道

Protothreads

子程序


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱

相关资料

展开
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 远程桌面协议
功能多种显示支持,包括8,15,16,24,32位色。128位加密,使用RC4加密算法。(此为内定的加密方式;比较旧版的客户端可能使用较弱的加密强度)支持TLS(TransportLayerSecurity,前身为SSL)。声音转向(redirection)支持,用户可以在远程电脑运行有声音的应用程序,但是将声音导引至客户端电脑来听。文件系统转向支持,用户可在使用远程电脑的过程中,取用本地(客户端)电脑上的文件系统。打印机转向支持,在使用远程电脑时,可以使用本地(客户端)电脑上的打印机输出,包括直接连在客户端电脑的打印机或网络共享打印机。通信端口转向支持,远程电脑上的应用程序可以使用本地(客户端)电脑上的串行端口或并行端口。Windows的剪贴板数据可以在远程及本地电脑之间互通。优点与远程桌面协议兼容的客户端可在多种操作系统上运行,许多Linux系统上甚至将RDP客户端功能列为核心功能之一...
· 一级方程式车队协会
成员车队车队协会包括下列成员。
· 中华万氏族谱协会章程
中华万氏族谱协会章程第一章总则第一条本会的名称:中华万氏族谱协会第二条本会的性质:为万氏宗亲自愿结成的非政治、非宗教、非谋利性民间组织。第三条本会的宗旨:团结族人中从事族谱研究的爱好者、支持者、管理者,编纂中华万氏族谱,挖掘万氏文化遗产,弘扬万氏宗族传统文化。尊祖睦族,爱家爱国,遵守社会道德风尚。第四条本会住所暂未定。第二章业务范围第五条本会开展族谱编纂和各种形式的族谱学术研究,致力于万氏谱牒文化的继承和发展。(一)组织对万氏族谱的研究,考证万氏起源、发展、播迁的历史;(二)收集和整理万氏宗谱及相关资料,建立中华万氏族谱信息资料网;(三)开展万氏寻根咨询服务,帮助海内外万氏子孙寻根祭祖;(四)编纂出版中华万氏族谱;(五)开发和推广各地族谱研究成果,为宗亲文化交流、经济发展服务。第三章会员与理事第六条本会会员为各地从事族谱编纂工作的本族宗亲;理事会理事为在谱牒领域(行业、学科)具有一定影响的...
· 步协
参考资料《三国志·吴书·步骘传》《三国志·吴书·三嗣主传》《资治通鉴》
· 星协
类型OB星协:由O型星和早B型星组成的星协。也叫O星协。T星协:以金牛T星为基本成员的星协。R星协:是照亮反射星云的星协,这个名称是SidneyvandenBergh在发现这些恒星在星云内的分布是不均匀之后所建议的。OB星协、T星协和R星协在恒星的演化中是有所关联的,但目前还不能确定它们是否在相同的演化序列上,或是代表不同因素的演化过程。有些集团显示出OB星协和T星协的特性,因此这些范畴是很难明确区分的。特征比疏散星团更松散,其成员星空间密度甚至低于周围星场。大致呈球状,向银道面高度集结,并常位于星云附近。它是很年轻的不稳定的恒星系统。参考资料朱慈墭.天文学教程.下册.北京:高等教育出版社.2003年12月:167–168.

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信