隔离扩展模块

摘要

在传统上,属于 Python 扩展模块的状态都是保存为 C static 变量,它们具有进程级的作用域。 本文档描述了此类进程级状态的问题并演示了一种更安全的方式:模块级状态。

本文档还描述了如何在可能的情况下切换到模块级状态。 这种转换涉及为状态分配空间、从静态类型到堆类型的潜在切换,以及 — 也许是最重要的 — 从代码访问模块级状态。

谁应当阅读本文档

本指南是针对想要让扩展更安全地在将 Python 本身用作库的应用程序中使用的 C-API 扩展维护者撰写的。

背景

解释器 是 Python 代码运行所在的上下文。 它包含配置(例如导入路径)和运行时状态(例如已导入模块的集合)。

Python 支持在一个进程中运行多个解释器。 这里有两种情况需要考虑 — 用户可能会以下列方式运行解释器:

这两种情况(以及它们的组合)最适用于将 Python 嵌入到某个库中。 库通常不应假定使用它们的应用程序,这包括假定存在一个进程级的“主 Python 解释器”。

在历史上,Python 扩展模块对这种应用场景处理不佳。 许多扩展模块(甚至是某些标准库模块)都是使用 进程内共享 的全局状态,因为 C static 变量十分易用。 结果,本应专属于某个解释器的数据最终却被多个解释器所共享。 除非扩展的开发者小心谨慎,否则当一个模块被相同进程内的多个解释器导入时很容易引入会导致崩溃的边界情况。

不幸的是,解释器级 状态很不容易做到。 扩展的作者在开发中总是倾向于不考虑多解释器的情况,并且目前要测试此类行为也是很困难的。

进入模块级状态

Python 的 C API 不是专注于解释器级状态,而是演化为更好地支持更细粒度的 模块级 状态。 这意味着 C 层级数据应当关联到 模块对象。 每个解释器都会创建自己的模块对象,保持数据的相互分隔。 要测试这种分隔,甚至可以在单个解释器中加载对应于单个扩展的多个模块对象。

模块级状态提供了一种处理生命周期和资源归属的简单方式:扩展模块将在模块对象被创建时初始化,并在其释放时被清理。 在这一点上,模块就像是任何其他的 PyObject*;没有必要添加 — 或者去除 — 处理“解释器关闭”的钩子。

请注意各种不同“全局”状态:进程级、解释器级、线程级状态的应用场景。 默认为模块级状态,其他状态也是可选择的,但你应当将它们视为特殊情况:如果你需要它们,你应当给予它们额外的关注和测试。 (请注意本指南并没有涉及它们。)

隔离的模块对象

在开发扩展模块时要记住的关键点是多个模块对象可以从单个共享库来创建。 例如:

  1. >>> import sys
  2. >>> import binascii
  3. >>> old_binascii = binascii
  4. >>> del sys.modules['binascii']
  5. >>> import binascii # create a new module object
  6. >>> old_binascii == binascii
  7. False

作为经验法则,这两个模块应该是完全独立的。 模块专属的所有对象和状态应该被封装在模块对象内部,不与其他模块对象共享,并在模块对象被释放时进行清理。 由于这只是一个经验法则,例外情况也是可能的(参见 Managing Global State),但这将需要更多的考虑并注意边界情况。

虽然有些模块不用太多的严格限制,但是隔离的模块使得更容易制定适合各种应用场景的明确期望和指南。

令人惊讶的边界情况

请注意隔离的模块会创造一些令人惊讶的边界情况。 最明显的一点,每个模块对象通常都不会与其他类似模块共享它的类和异常。 继续 上面的例子,请注意 old_binascii.Errorbinascii.Error 是单独的对象。 在下面的代码中,异常 不会 被捕获:

  1. >>> old_binascii.Error == binascii.Error
  2. False
  3. >>> try:
  4. ... old_binascii.unhexlify(b'qwertyuiop')
  5. ... except binascii.Error:
  6. ... print('boo')
  7. ...
  8. Traceback (most recent call last):
  9. File "<stdin>", line 2, in <module>
  10. binascii.Error: Non-hexadecimal digit found

这是预期的结果。 请注意纯 Python 模块的行为相同:它是 Python 语言特性的一部分。

最终目标是让扩展模块在 C 层级上保持安全,使破坏不容易实现。 “手动”改变 sys.modules 被视为是破坏行为。

让多解释器下模块保持安全

管理全局状态

有时,与一个 Python 模块相关联的状态并不是该模块专属的,而是整个进程(或者比模块“更全局化”的其他东西)共享。 例如:

  • readline 模块管理 一个 终端。

  • 在电路板上运行的模块想要控制 一个 板载 LED。

在这些情况下,Python 模块应当提供对全局状态的 访问,而不是 拥有 它。 如果可能,编写模块时要让它的多个副本可以独立地访问全局状态(能配合其它的库,不论它们是使用 Python 还是其他语言)。 如果这无法做到,可考虑显式加锁。

如果有必要使用进程级全局状态,避免多解释器相关问题的最简单的方式是显式地阻止模块在一个进程中被多次加载 — 参见 回退选项:每个进程限一个模块对象

管理模块级状态

要使用模块级状态,请使用 多阶段扩展模块初始化。 这将标示你的模块能正确地支持多解释器。

PyModuleDef.m_size 设为一个正数来为模块请求指定字节的本地存储。 通常,这将被设为某个模块专属 struct 的大小,它可以保存模块的所有 C 层级状态。 特别地,它应当是你存放类指针(包括异常,但不包括静态类型)和 C 代码正常运作所需设置(如 csvfield_size_limit 等)的地方。

备注

另一个选项是将状态保存在模块的 __dict__ 中,但你必须避免当用户从 Python 代码中修改 __dict__ 导致的程序崩溃。 这通常意味着要在 C 层级上进行错误和类型检查,很容易弄错又很难充分测试。

但是,如果 C 代码不需要模块状态,则仅将其保存在 __dict__ 中就是一个好主意。

如果模块状态包括 PyObject 指针,则模块对象必须持有对这些对象的引用并实现模块层级的钩子 m_traverse, m_clearm_free。 它们的作用方式很像类的 tp_traverse, tp_cleartp_free。 添加它们将会增加工作量并使代码更冗长;这是为了让模块能干净地卸载所需的代价。

带有模块级状态的模块示例目前可在 xxlimited 获取;模块初始化的示例见文件的末尾部分。

回退选项:每个进程限一个模块对象

非负的 PyModuleDef.m_size 值表示一个模块能正确地支持多解释器。 如果你的模块还不能做到这样,你可以显式地设置你的模块在每个进程中只能加载一次。 例如:

  1. static int loaded = 0;
  2. static int
  3. exec_module(PyObject* module)
  4. {
  5. if (loaded) {
  6. PyErr_SetString(PyExc_ImportError,
  7. "cannot load module more than once per process");
  8. return -1;
  9. }
  10. loaded = 1;
  11. // ... rest of initialization
  12. }

函数对模块状态的访问

从模块层级的函数访问状态是相当直观的。 函数通过它们的第一个参数获得模块对象;要提取状态,你可以使用 PyModule_GetState:

  1. static PyObject *
  2. func(PyObject *module, PyObject *args)
  3. {
  4. my_struct *state = (my_struct*)PyModule_GetState(module);
  5. if (state == NULL) {
  6. return NULL;
  7. }
  8. // ... rest of logic
  9. }

备注

如果模块状态不存在则 PyModule_GetState 可能返回 NULL 而不设置异常,即 PyModuleDef.m_size 为零。 在你自己的模块中,你可以任意控制 m_size,因此这很容易避免。

堆类型

在传统上,在 C 代码中定义的类型都是 静态的;也就是说,static PyTypeObject 结构体在代码中直接定义并使用 PyType_Ready() 来初始化。

这样的类型必须在进程范围内共享。 在模块对象之间共享它们需要注意它们所拥有或访问的任何状态。 要限制可能出现的问题,静态类型在 Python 层级上是不可变的:例如,你无法设置 str.myattribute = 123

CPython 实现细节: 在解释器之间共享真正不可变的对象是可行的,只要它们不提供对可变对象的访问。 但是,在 CPython 中,每个 Python 对象都有一个可变的实现细节:引用计数。 对引用计数的更改是由 GIL 来保护的。 因此,跨解释器共享任何 Python 对象的代码都隐式地依赖于 CPython 现有的、进程级的 GIL。

因为它们是不可变的进程级全局对象,所以静态类型无法访问“它们的”模块状态。 如果任何此种类型的方法需要访问模块状态,则该类型必须被转换为 堆分配类型,或者简称为 堆类型。 此种类型相对更接近由 Python 的 class 语句所创建的类。

对于新模块,默认使用堆类型是一个很好的经验法则。

将静态类型改为堆类型

静态类型可以转换为堆类型,但要注意堆类型 API 并非针对静态类型的“无损”转换 — 也就是说,创建与给定静态类型完全一致的类型来设计的。 因此,当在新的 API 中重写类定义时,你很容易在无意中改变一些细节(例如可封存性或所继承的槽位等)。 请始终确保测试对你来说重要的细节。

特别要关注以下两点(但请注意这并非一个完整的列表):

定义堆类型

堆类型可以通过填充 PyType_Spec 结构体来创建,它是对于特定类的描述或“蓝图”,并调用 PyType_FromModuleAndSpec() 来构造新的类对象。to construct a new class object.

备注

其他的函数,如 PyType_FromSpec(),也可以创建堆类型,但 PyType_FromModuleAndSpec() 会将模块关联到类,以允许从方法访问模块状态。

类通常应当 同时 保存在模块的状态(用于从 C 中安全地访问)和模块的 __dict__ 中(用于从 Python 代码中访问)。

垃圾回收协议

堆类型的实例会持有一个指向其类型的引用。 这能确保类型的销毁不会发生在其实例之前,但可能会导致需要由垃圾回收器来打破的引用循环。

要避免内存泄漏,堆类型的实例必须实现垃圾回收协议。 也就是说,堆类型应当:

请参阅 Py_TPFLAGS_HAVE_GCtp_traverse文档 来了解更多相关问题的考量。

如果你的遍历函数委托给了其基类(或另一个类型)的 tp_traverse,请确保 Py_TYPE(self) 只被访问一次。 请注意只有堆类型会被预期访问 tp_traverse 中的类型。

举例来说,如果你的遍历函数包括:

  1. base->tp_traverse(self, visit, arg)

… 并且 base 可能是一个静态类型,则它也应当包括:

  1. if (base->tp_flags & Py_TPFLAGS_HEAPTYPE) {
  2. // a heap type's tp_traverse already visited Py_TYPE(self)
  3. } else {
  4. Py_VISIT(Py_TYPE(self));
  5. }

不需要在 tp_newtp_clear 中处理该类型的引用计数。

类对模块状态的访问

如果你有一个使用 PyType_FromModuleAndSpec() 定义的类型对象,你可以调用 PyType_GetModule() 来获取关联的模块,然后调用 PyModule_GetState() 来获取模块的状态。to get the module’s state.

要省略一些繁琐的错误处理样板代码,你可以使用 PyType_GetModuleState() 来合并这两步,得到:

  1. my_struct *state = (my_struct*)PyType_GetModuleState(type);
  2. if (state == NULL) {
  3. return NULL;
  4. }

常规方法对模块状态的访问

从一个类的方法访问模块层级的状态在某些方面会更为复杂,但通过 Python 3.9 所引入的 API 这是可能做到的。 为了获取状态,你需要首先获取 定义的类,然后从中获取模块状态。

最大的障碍是获取 方法定义所在的类,简称为方法“定义的类”。 定义的类可以拥有一个指向作为其组成部分的方法的引用。

不要混淆定义的类和 Py_TYPE(self)。 如果方法是在你的类型的一个 子类 上被调用的,则 Py_TYPE(self) 将指向该子类,它可能是在另一个模块中定义的。

备注

下面的 Python 代码可以演示这一概念。 Base.get_defining_class 将返回 Base,即使 type(self) == Sub:

  1. class Base:
  2. def get_type_of_self(self):
  3. return type(self)
  4. def get_defining_class(self):
  5. return __class__
  6. class Sub(Base):
  7. pass

对于要获取其“定义方类”的方法,它必须使用 METH_METHOD | METH_FASTCALL | METH_KEYWORDS 调用惯例 以及相应的 PyCMethod 签名:

  1. PyObject *PyCMethod(
  2. PyObject *self, // object the method was called on
  3. PyTypeObject *defining_class, // defining class
  4. PyObject *const *args, // C array of arguments
  5. Py_ssize_t nargs, // length of "args"
  6. PyObject *kwnames) // NULL, or dict of keyword arguments

一旦你得到了定义的类,即可调用 PyType_GetModuleState() 来获取它所关联的模块的状态。

例如:

  1. static PyObject *
  2. example_method(PyObject *self,
  3. PyTypeObject *defining_class,
  4. PyObject *const *args,
  5. Py_ssize_t nargs,
  6. PyObject *kwnames)
  7. {
  8. my_struct *state = (my_struct*)PyType_GetModuleState(defining_class);
  9. if (state == NULL) {
  10. return NULL;
  11. }
  12. ... // rest of logic
  13. }
  14. PyDoc_STRVAR(example_method_doc, "...");
  15. static PyMethodDef my_methods[] = {
  16. {"example_method",
  17. (PyCFunction)(void(*)(void))example_method,
  18. METH_METHOD|METH_FASTCALL|METH_KEYWORDS,
  19. example_method_doc}
  20. {NULL},
  21. }

槽位方法、读取方法和设置方法对模块状态的访问

备注

这是 Python 3.11 的新增特性。

槽位方法 — 即特殊方法的 C 快速等价物,如 nb_add 对应 __add__tp_new 对应初始化方法 — 具有不允许传入定义类的非常简单的 API,这不同于 PyCMethod。 同样的机制也适用于通过 PyGetSetDef 定义的读取方法和设置方法。

要在这些场景下访问模块状态,请使用 PyType_GetModuleByDef() 函数,并传入模块定义。 一旦你得到该模块,即可调用 PyModule_GetState() 来获取状态:

  1. PyObject *module = PyType_GetModuleByDef(Py_TYPE(self), &module_def);
  2. my_struct *state = (my_struct*)PyModule_GetState(module);
  3. if (state == NULL) {
  4. return NULL;
  5. }

PyType_GetModuleByDef() 的作用方式是通过搜索 method resolution order (即所有超类) 来找到具有相应模块的第一个超类。

备注

在非常特别的情况下(继承链跨越由同样定义创建的多个模块),PyType_GetModuleByDef() 可能不会返回真正定义方法的类。 但是,它总是会返回一个具有同样定义的模块,这将确保具有兼容的 C 内存布局。

模块状态的生命期

当一个模块对象被当作垃圾回收时,它的模块状态将被释放。 对于每个指向(一部分)模块状态的指针来说,你必须持有一个对模块对象的引用。

通常这不会有问题,因为使用 PyType_FromModuleAndSpec() 创建的类型,以及它们的实例,都持有对模块的引用。 但是,当你从其他地方,例如对外部库的回调引用模块状态时必须小心谨慎。

未解决的问题

围绕模块级状态和堆类型仍然存在一些未解决的问题。

改善此状况最好的讨论是在 capi-sig 邮件列表 进行的。

类级作用域

目前(即 Python 3.11)还无法将状态关联到单个 类型 而不依赖于 CPython 实现细节(这在未来可能发生改变 — 或许,会怪异地允许采用适当的类级作用域解决方案)。

无损转换为堆类型

堆类型 API 没有从静态类型进行“无损”转换的设计;所谓无损转换,就是创建与给定静态类型完全一致的类型。