“让 Python 快 5 倍”最新计划：优化解释器和内存管理

↓推荐关注↓

来源：OSC开源社区（ID：oschina2013)

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 团队在这场斗争中在“政治”上处于更好的位置。