欢迎大家来到IT世界,在知识的湖畔探索吧!
博雯 发自 凹非寺
量子位 报道 | 公众号 QbitAI
5月中旬刚刚结束的Pycon US 2021上,Python之父Guido van Rossum提出要在未来四年内将CPython速度提升5倍。
而这一“Shannon计划”的参与者除了Guido本人之外,还有任职微软的CPython核心开发人员Eric Snow,以及Semmle的研究工程师Mark Shannon。
但在此之前,Guido可并不认为提升CPython的速度有多关键,因为“有其他方法可以获得更好的性能”,比如JIT编译的PyPy,或使用C语言编写扩展。
为什么要加速?
Python真的慢吗?
不见得,开发效率和执行速度本就难以兼得。
而且发展到今天,Python已经是一个胶水语言的定位,主要用来快速构建系统的逻辑控制流,再把对性能要求高的部分丢给C/C++来实现。
不过如果只看标准版的语言实现本身的话……它的性能确实不怎么样。
动态语言的特性决定了Python会在C语言代码运行(runtime)上花费大量的时间,且难以使用JIT(Just-In-Time)进行优化。
在接受英国技术新闻网站The Register的采访时,对于“为什么开始关注CPython性能?”的问题,Shannon表示:
过去几年里,Python在机器学习领域的使用率大大提升,可用资源也越来越多。这意味着我们可以不用担心破坏其可靠性,而是专注在性能上。
并且,Shannon之前参与的HotPy项目中所开发的解释器,比目前CPython解释器的纯Python代码快三倍。这证明了对CPython优化的可行性。
而在去年10月份的时候,耐不住退休寂寞的Guido又加入了微软:
再加上疫情的家里蹲buff,拥有了更多时间的大佬们一拍即合,决定Make Python Great Again。
加速之前的挑战
Shannon坦言,向下兼容是加速Python的最大挑战。
其实不仅是对Python,90年代末libc的那次不兼容更新,直接导致所有应用程序都要重编……
而现在已经凉凉的Pyston,官方文章里提到的Dropbox放弃Pyston项目的几大因素中,第一个也是:
这就是所有既试图兼容CPython,又想大幅提升性能的Python都会遇到的严峻问题。
因为Python的执行类似于HTML渲染:更多是对运行时应如何执行C库的描述,而非单步执行命令。
所以,Python性能提升的源头来自于这些C扩展模块。而CPython又有着超过400k的loc,这意味着要从底层去做优化是一项非常庞大的工程。
特别是对于过于动态的Python语言来说,语言的语义对优化的影响就更大了。
而现在加速的过程中,像是CPython的工具、调试器、配置文件,NumPy包,以及Cython这样的编译器,又会有多少涉及到CPython内部和底层的行为?
因此Shannon表示:
要改变是困难的……与CPython用户间的隐形协议并没有很好地定义什么能改,什么不能改。
可能是五年前从Python2.x迁移到3的痛苦经历实在是有些刻骨铭心,Guido专门发推表示这次的迁移会更加平和。
而他也在Python峰会中承诺:不破坏stable ABI兼容性;不破坏limited API兼容性;不破坏或减缓extreme cases。
“总之,代码的可维护性才是第一要务。”
Python的5倍速之路
按照已在GitHub上发布的faster-cpython,Shannon计划具体分为四个阶段:
Python 3.10
预计在今年10月发布,主要添加一个自适应、专业化的解释器(interpreter)。
解释器将不在运行时生成代码,而是利用程序中的类型稳定性,在执行过程中适应类型和数值。
Python 3.11
Guido提出要在3.11版本实现至少2倍的提速,为此,他已经和几位Python开发人员提出了一份增强功能的提案PEP 659。
这一提案中表示要增加适应性的字节码解释器,并且实施更有效的异常处理。
除此之外,还提出了优化帧堆栈、改变函数调用的方式、增加优化以加快启动时间,以及修改 .pyc 字节码缓存文件格式等工作。
Python 3.12
这一阶段使用针对小区域的JIT解释器,在运行代码时简单、快速地对小区域的专门代码进行编译。
Python 3.13
同样在代码运行时对扩展区域进行编译,增强编译器,以完成5倍的超级加速。
Guido表示此次围绕性能展开的 Python 变更,将主要服务于运行CPU密集型纯Python代码的开发者,以及内置Python网站的用户。
而在C语言代码(如 NumPy和TensorFlow)、I/O 绑定代码、多线程代码以及算法代码上,提升效果将会比较有限。
微软回馈Python
其实,微软长期以来一直以多种方式为Python项目提供助力,包括在Azure云AI服务教程里发布免费的Python课程,以及通过VS Code Python扩展在Win10及以上版本支持Python。
自 2006 年起,微软还成为了Python软件基金会(PSF)的赞助商,并在今年出资15 万美元进行资助。
目前已有五位Python开发者社区的核心人员在微软任职,包括去年年底加入的Python之父,和这次Shannon计划里的三人之一Eric Snow。
Guido也在这次峰会里特地cue了一下微软,提出微软资助了一支小型Python团队“负责语言解释层面的性能改进工作”,以使他能携手微软同事持续对Python进行开发。
当然,对于3.11版本的短期目标,Guido还是在ppt中给自己兜了个底。
而对于那个四年五倍速的最终目标,Guido则表示“我们必须保持旺盛的创造力。”
参考链接:
[1]https://www.theregister.com/2021/05/19/faster_python_mark_shannon_author/
[2]https://pyfound.blogspot.com/2021/05/the-2021-python-language-summit-pep-654.html
[3]https://www.python.org/dev/peps/pep-0654/
Python version 3.11.0 alpha 0:
https://github.com/faster-cpython/ideas
“A faster CPython”计划简介:
https://github.com/markshannon/faster-cpython
— 完 —
量子位 QbitAI · 头条号签约
关注我们,第一时间获知前沿科技动态
免责声明:本站所有文章内容,图片,视频等均是来源于用户投稿和互联网及文摘转载整编而成,不代表本站观点,不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益,请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权,请联系删除,如若转载,请注明出处:https://itzsg.com/22399.html