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

2020 年秋，CPython 核心开发者 Mark Shannon 提出了关于 Python 的几个性能改进，这个提议被称为 “香农计划” (Shannon Plan)。

Shannon 随后创建了 Faster Cpython 项目，他希望在 4 年的时间里，通过多个版本的更新将 Python 的速度提升 5 倍。

不久之后微软正式加入该计划，该公司支持
包括 Mark Shannon、Guido van Rossum 在内的开发人员，致力于「Faster CP
ython」项目的研究。

近日，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)

（版权归原作者所有，侵删）