Stackless Python 的缺点是什么?

我最近一直在阅读关于 无栈巨蟒的文章,与普通的 cPython 相比,它似乎有很多优势。它拥有所有那些很酷的特性,比如无限递归、微线程、延续等等,同时比 cPython 快(如果 Python 维基百科可信的话,大约10%) ,与 还有兼容(至少版本2.5、2.6和3.0)。

所有这些看起来都好得令人难以置信。然而,在 Python 社区中,我并没有看到对 Stackless 有多大的热情,而且 PEP 219从来没有实现过。为什么?Stackless 的缺点是什么?Stackless 有什么秘密?

(我知道 Stackless 并没有提供真正的并发性,只是提供了一种更简单的并发编程方式。这并没有真正困扰我。)

25004 次浏览

我对这里的答案也很感兴趣。我曾经使用过 Stackless,它看起来是对标准 Python 的一个很好的实质性补充。

PEP 219确实提到了从 C 代码调用 Python 代码的潜在困难,如果 Python 想要更改到另一个堆栈的话。需要有一些方法来检测和防止这种情况(以避免损坏 C 堆栈)。我认为这是易于处理的,所以我也想知道为什么 Stackless 必须站在自己的立场。

如果我没记错的话,Stackless 被列入了正式的 CPython,但是 Stackless 的作者告诉 CPython 的人不要这么做,因为他计划对代码库做一些重大的改变——可能他希望在项目更成熟的时候进行集成。

我不知道维基百科上那句“无栈更快10%”是从哪里来的,但话说回来,我从来没有试图衡量这些性能指标。我想不出 Stackless 做了什么能改变这么多。

Stackless 是一个令人惊叹的工具,有几个组织/政治问题。

第一个来自历史。克里斯蒂安•蒂斯默(Christian Tismer)开始谈论大约10年前最终变成“无堆栈”的东西。他知道自己想要什么,但很难解释他在做什么,为什么人们应该使用它。这部分是因为他的背景没有接受过计算机科学方面的培训,比如协同程序,而且他的演示和讨论都是以实现为导向的,这对于那些还没有深入了解如何使用协同程序来解决他们的问题的人来说是很难的。

由于这个原因,最初的文档很差。有一些关于如何使用它的描述,最好的来自第三方贡献者。根据 PyCon 的调查数据,在2007年的 PyCon 上,我做了一个关于“ 使用 Stackless”的演讲,结果相当不错。RichardTew 在收集这些数据、更新 Stackless. com以及在出现新的 Python 版本时维护发行版方面做得很好。他是 中共运动会公司的一名员工,中共运动会是 EVE Online 的开发者,该公司将 Stackless 作为其游戏系统的一个重要组成部分。

CCP 游戏也是人们在谈论 Stackless 时使用的最大的现实例子。Stackless 的主要教程是 Grant Olson 的“ 无栈 Python 并发编程导论”,也是面向游戏的。我认为这让人们错误地认为 Stackless 是以游戏为导向的,而实际上游戏更容易以延续为导向。

另一个困难是源代码。在最初的版本中,它需要对 Python 的许多部分进行修改,这使得 Python 的吉多·范罗苏姆小心翼翼。我认为,部分原因是对 call/cc 的支持,后来被删除,因为它“太像是在有更好的高级表单时支持 goto”我对这段历史没有把握,所以请把这一段读作“ Stackless 过去需要太多的修改”

后来的版本不需要更改,Tismer 继续推动将其包含在 Python 中。虽然有一些考虑,但官方立场(据我所知)是,CPython 不仅是一个 Python 实现,而且它意味着作为一个参考实现,它不包括 Stackless 功能,因为它不能被 Jython 或 Iron Python 实现。

目前绝对没有“ 对代码基进行重大更改”的计划。引用和参考 Arafangion 的超链接(见评论)大约来自2000/2001年。结构性的改变已经进行了很长时间,这就是我上面提到的。现在的 Stackless 是稳定和成熟的,在过去几年中只对代码基进行了一些小的调整。

Stackless 的最后一个局限性是——没有强烈支持 Stackless 的人。Tismer 现在深入研究了 PyPy,它是 Python for Python 的一个实现。他已经在 PyPy 实现了 Stackless 功能,认为它比 Stackless 本身要好得多,并且认为 PyPy 是未来的发展方向。图维持斯塔克利斯,但他不感兴趣的倡导。我考虑过担任那个角色,但不知道如何从中获得收入。

不过,如果你想在 Stackless 接受培训,请随意! :)

我花了很长时间才找到这个讨论 有一次我没有上 PyPy 但是和精神病人有了两年的恋情,直到健康突然停止了这一切。我现在又活跃起来了,并且设计了一个 另一种方法-将在2012年的 EuroPython 上展示。

安德鲁斯的大部分陈述都是正确的 次要补充:

Stackless 比10年前的 CPython 要快得多,因为我优化了解释器循环。那时,圭多还没有准备好。几年后,人们做了类似的优化,甚至做了更多更好的优化,这使得 Stackless 的速度有点慢,正如预期的那样。

关于包容: 嗯,一开始我很有进取心,相信 Stackless 是正确的选择。后来,当它几乎可以被包括在内,我失去了兴趣,并宁愿让 它保持这种状态,一部分是出于沮丧,一部分是为了 keep control of Stackless.

像“其他实现做不到”这样的论点对我来说总是站不住脚,因为在其他例子中也可以使用这种论点。我想我最好忘记这一点,和圭多保持友谊,拥有自己的发行版。

与此同时,情况再次发生变化。我正在研究 PyPy 和 Stackless 作为一个扩展,稍后我们会讨论这个问题

干杯,克里斯