基于产量的协程是真正的协同程序吗?

时间:2012-08-06 14:43:16

标签: python coroutine

我正在实施greenlet API。

from greenlet import greenlet

def test1():
    print 12
    gr2.switch()
    print 34

def test2():
    print 56
    gr1.switch()
   print 78

gr1 = greenlet(test1)
gr2 = greenlet(test2)
gr1.switch()

这是我凌乱的代码

def test1():
    tmp1=yield
    print 12
    try:
        gv2.send(1)
    except StopIteration:
        pass
    tmp1=yield
    print 34

def test2():
    tmp2=yield
    print 56
    try:
        gv2.send(1)
    except StopIteration:
        pass
    tmp1=yield
    print 78

gv1=test1()
gv1.next()
gv2=test2()
gv2.next()

gv1.send(1)

节目,

12
56
Traceback (most recent call last):
  File "prog.py", line 26, in <module>
    gv1.send(1)
  File "prog.py", line 5, in test1
    gv2.send(1)
  File "prog.py", line 15, in test2
    gv2.send(1)
ValueError: generator already executing

所以,我不知道我猜对了,

但看起来在test1发送'1'到test2之后,它仍然有一些东西,

与gevent不同,没有控制流切换发生。 test1仍有流量。

如果没有,我不明白greenlet可以做什么,但python“coroutine”不存在。

我的问题是

  1. 是python coroutine(基于yield)是真实的(比较其他人... lisp,ruby,&amp; c)
  2. 如果正确的话,请你提供一些关于spagetti代码的提示吗?

1 个答案:

答案 0 :(得分:7)

test2()的生成器实例正在向自身发送值。

def test2():
    tmp2=yield
    print 56
    try:
        gv2.send(1) # this is the offending line
    except StopIteration:
        pass
    tmp1=yield
    print 78

send()恢复生成器,但只要代码在test2()内执行,它就已经在运行。这就是它抛出的原因。

你想做的事:gv1.send(1)?这也行不通。

原因如下:

  • 当前情况:在示例最后的gv1.send(1)之前
    • gv1休眠
    • gv2休眠
  • gv1.send(1)被调用,这将恢复gv1
  • gv1前往gv2.send(1)
  • 此简历gv2
  • gv2前往gv1.send(1)
  • gv1正在恢复,然而gv1自上次恢复以来尚未达到yield语句。因此,它仍在运行,这就是为什么它也会抛出。

基本上,差异可以概括为:

  • greenlets 分享彼此之间的固有联系:.switch()暂停当前正在执行的greenlet,然后将恢复。
  • 另一方面,
  • 生成器彼此完全独立。没有执行生成器的共享上下文。
    • yield将“暂停”生成器
    • next() / send()将恢复暂停的生成器,在正在运行的生成器上调用它们将导致异常。

为什么要访问gv2(代表一个特定的 test2实例)?生成器test2()应该是自包含的,不对它的使用方式做任何假设。如果您决定要从其他范围调用生成器,该怎么办?无论如何,向自己发送价值是没有任何意义的:你已经拥有它们。