“让 Python 快 5 倍”最新计划:优化解释器和内存管理
2020 年秋,CPython 核心开发者 Mark Shannon 提出了关于 Python 的几个性能改进,这个提议被称为 “香农计划” (Shannon Plan)。
Shannon 随后创建了 Faster Cpython 项目,他希望在 4 年的时间里,通过多个版本的更新将 Python 的速度提升 5 倍。
不久之后微软正式加入该计划,该公司支持包括 Mark Shannon、Guido van Rossum 在内的开发人员,致力于「Faster CPython」项目的研究。
近日,Mark Shannon 和 Michael Droettboom 介绍了面向 Python 3.13 的计划。
他们提出了三个可并行推进的工作:
推出 Tier 2 优化器
从 Python 代码中启用子解释器 (PEP 554)
优化内存管理
Tier 2 优化器的目标是将花在解释器上的时间减少至少 50%,其工作计划大致如下:
让 Tier 2 解释器运转起来
生成 superblocks
实现基本的 superblock 管理功能
至于从 Python 代码中启用子解释器,这项工作建立在 Python 3.12 中 per-interpreter GIL 的基础上,方便 Python 程序员利用 Python 代码子解释器中更好的并行性(无需编写 C 扩展)。
目前已有针对这项工作的草案:PEP 554。首先需要更新并推动早日获得批准,以便在必要时改变方向。
最后,关于优化内存管理方面。性能分析数据显示,内存管理和循环 GC 花费了相当多的时间。目前的计划是:
通过改进数据结构来减少分配
花费更少的时间进行循环 GC
至于官方 JIT,Shannon 曾表示实现 JIT 的第一步是实现一个跟踪解释器,但由于需要兼顾其他工作,引入 JIT 编译器的工作还有一段路要走,“最早可能要到 3.13 才能到达”。(其实 Shannon 一直对 CPython 是否真的需要引入 JIT 持怀疑态度)
有开发者“锐评”了该团队与另一个项目的内部斗争 —— 完全移除 CPython 解释器的 GIL(全局解释器锁)。
他认为 Faster Python 团队在这场斗争中在“政治”上处于更好的位置。
来源:OSC开源社区(ID:oschina2013)
(版权归原作者所有,侵删)
微信扫码关注该文公众号作者