当前位置:首页 > 文章列表 > 科技周边 > 业界新闻 > Python 3.15 free-threaded Stable ABI 需要扩展做哪些准备

Python 3.15 free-threaded Stable ABI 需要扩展做哪些准备

来源:17golang原创 2026-09-10 12:14:33 0浏览 收藏

如果你维护的是 Python C/C++ 扩展,Python 3.15 的 abi3t 值得关注,但它不是把 wheel 文件名改一下就结束。它面向 free-threaded 构建,同时比原有 abi3 收紧了可用 C API;真正迁移前,要先处理线程安全、模块导出、对象布局和构建工具支持。

要点速览
  • abi3t 是 Python 3.15 新增的 free-threaded Stable ABI,兼容 GIL 与 free-threaded 构建。
  • 直接嵌入 PyObject、旧式 PyInit_ 和变量大小类型,可能成为迁移阻点。
  • 工具链尚未支持时,先发布 abi3 加版本化的 cp315t,不要伪装成稳定 ABI。

官方资料:

https://docs.python.org/3.15/howto/abi3t-migration.html

Python 3.15 的 abi3t 到底解决了哪一层兼容问题

abi3 解决的是普通 GIL 构建之间的 Stable ABI 兼容;cp315t 是针对某个 free-threaded CPython 版本的版本化 ABI;abi3t 则把 free-threaded 构建也纳入稳定 ABI 路线。按官方说明,设置 Python 3.15 的目标版本后,兼容双运行时的 wheel 可以使用 cp315-abi3.abi3t 这一类标签。

Python 3.15 abi3t 兼容关系图,区分 GIL 构建、free-threaded 构建、abi3、abi3t 和 cp315t 的覆盖范围
图1:用兼容关系图区分 abi3、abi3t 和 cp315t,先确定扩展要覆盖哪类 Python 运行时。

实际选择可以先看这张表:

路线覆盖重点适合情况
abi3GIL 构建暂不支持 free-threaded,或源码仍依赖更宽的 C API
abi3 + cp315t普通构建与 Python 3.15t想先支持 free-threaded,但工具或源码还不能进入 abi3t
abi3.abi3t两类构建的稳定 ABI已完成 API 收紧、模块改造和双运行时测试

先审计自由线程安全和模块初始化

迁移的第一步不是改宏,而是清点共享状态。free-threaded 版本下,直接读可能并发变化的结构体字段、使用不加锁的容器宏、长期持有借用引用,都不能再默认由 GIL 兜底。列表和字典的一些公开操作会执行内部锁,但这不等于扩展自己的复合操作天然是原子的。

模块还要明确声明自己是否支持关闭 GIL。多阶段初始化的模块可以在 slot 中加入 Py_mod_gil;旧式单阶段初始化则要按官方规则处理 PyUnstable_Module_SetGIL(),并保留构建条件。示意写法如下:

/* 只有确认模块内部不依赖 GIL 保护共享状态时才声明此项。 */
static PyModuleDef_Slot module_slots[] = {
    {Py_mod_gil, Py_MOD_GIL_NOT_USED}, /* 告诉 free-threaded 构建不要自动重启 GIL。 */
    {Py_mod_exec, module_exec},         /* 初始化状态应放在可重复执行的阶段。 */
    {0, NULL}                           /* slot 数组必须以结束项收尾。 */
};

如果模块还没有多阶段初始化或隔离状态,先把这项列为前置改造;否则导入成功也不能说明并发行为正确。

迁移时最容易卡住的两处源码改造

官方迁移指南把难点说得很具体。第一处是模块导出:面向 abi3t 时,传统的 PyInit_modname() 需要转到只返回静态 slot 数据的 PyModExport_modname(),模块定义中的状态、方法和清理函数改用新的 PySlot 描述。

第二处是自定义类型。PyObjectPyVarObjectabi3t 下是不透明的,不能把 PyObject_HEAD 当作自定义结构体的可见首字段。通常需要把自己的字段单独放进 data 结构,用负的 basicsize 表示额外存储,并通过 PyObject_GetTypeData() 取回数据。可把检查拆成下面三条线:

/* 迁移轮廓:真实项目还要按继承、token 和清理逻辑补齐字段。 */
typedef struct {
    int value; /* 这里只放扩展自己的字段,不复制 PyObject 基类布局。 */
} WidgetData;

static PyType_Spec Widget_spec = {
    .name = "demo.Widget",
    .basicsize = -sizeof(WidgetData), /* 负数表示为类型数据预留额外空间。 */
};

/* 读取时必须使用定义该存储的类型,不能盲目传 Py_TYPE(obj)。 */
WidgetData *data = PyObject_GetTypeData(obj, WidgetType);

同时检查 PyModule_GetDef()PyType_GetModuleByDef()ob_typeob_refcntob_size 等旧访问路径。若类型可被继承,取数据时还要用定义类型或 type token,避免把子类自己的额外存储误当成父类数据。

Python C 扩展迁移 abi3t 的源码流程图,展示 PyInit_、PyObject_HEAD 到 PyModExport_、负 basicsize 和 PyObject_GetTypeData 的改造路径
图2:abi3t 源码迁移的三条主线:模块导出、对象布局和类型数据访问。

构建、打标签和测试要分成三个检查点

先让构建工具选择 abi3t;如果工具暂时没有该开关,官方迁移指南给出的手工方向是在包含 Python.h 前设置 Python 3.15 的目标宏。下面只是检查目标是否传入的最小示意,不能替代项目自己的构建配置:

# 先在构建系统中设置,版本号对应 Python 3.15。
CFLAGS="-DPy_LIMITED_API=0x030f0000 -DPy_TARGET_ABI3T=0x030f0000"
export CFLAGS

# 产物命名要与 ABI 一致:同时支持两类运行时时使用 abi3.abi3t。
python -m build

Linux 和 macOS 的扩展文件应呈现 .abi3t.so,wheel 的 ABI 标签使用压缩形式 abi3.abi3t;如果只能做版本化 free-threaded 构建,就使用与 Python 3.15t 对应的 cp315t,不要把它写成 abi3t

最后做两套测试:在 GIL 与 free-threaded 的 Python 3.15 上分别安装并导入,覆盖并发调用、模块重复初始化、自定义类型继承、异常清理和 wheel 安装选择。Stable ABI 只解决二进制接口的一部分兼容,不保证行为完全相同;支持多个 Python 小版本时,仍应逐版本回归。

常见问题

现有 abi3 wheel 能直接在 Python 3.15t 使用吗?

不要把它当成稳定方案。free-threaded 构建要找 abi3t,旧的 abi3 可能无法满足目标;在未完成迁移前,准备对应的 cp315t 版本更稳妥。

使用 Cython 或 PyO3 的项目要马上改成 abi3t 吗?

先确认代码生成器或绑定工具是否已经支持。官方迁移指南建议这类项目等待工具支持;在此之前可以维持 abi3,并为 free-threaded 版本单独构建。

为什么只加 Py_TARGET_ABI3T 仍然编译不过?

这个宏只是让头文件暴露 abi3t 允许的 API。若源码依赖 PyObject 内部布局、旧模块导出或变量大小类型,仍需按迁移规则重构。

版本声明
本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
Go 逃逸分析显示 moved to heap 时怎么结合编译报告判断Go 逃逸分析显示 moved to heap 时怎么结合编译报告判断
上一篇
Go 逃逸分析显示 moved to heap 时怎么结合编译报告判断
PHP filter_input 读取查询参数时为什么拿不到修改后的 $_GET
下一篇
PHP filter_input 读取查询参数时为什么拿不到修改后的 $_GET
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    61次使用
  • SuperCLUE中文大模型评测基准:功能、能力维度与应用指南
    SuperCLUE
    SuperCLUE是权威的中文大语言模型综合评测基准,涵盖语言理解、知识应用、AI Agent智能体及安全性等12项核心能力。通过多轮对话与客观测试,定期发布榜单与技术报告,为模型研发、优化及行业选型提供科学依据。
    220次使用
  • C-Eval中文评测基准:大语言模型多学科能力评估指南
    C-Eval
    深入了解C-Eval中文评估套件,涵盖52个学科与4级难度。本文详解其功能特点、Zero-shot/Few-shot使用方法及代码示例,助您全面评测LLM中文理解与泛化能力。
    147次使用
  • AI Prompt Library:免费AI提示词库,助力ChatGPT高效创作与营销
    AI Prompt Library
    探索AI Prompt Library免费资源库,涵盖营销、写作及多场景AI提示词。兼容ChatGPT、Claude等工具,一键复制优化输出,提升工作效率。
    79次使用
  • Generrated:DALL·E 2/3 AI绘画提示词灵感库与图像对比平台
    Generrated
    Generrated汇集9300+张DALL·E生成图像及对应提示词,支持查看完整图集、对比DALL·E 2与3版本差异,是AI绘图新手学习Prompt设计与获取创作灵感的实用工具。
    56次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码