跨DLL调用嵌入Python触发段错误及重启异常问题排查

1. 跨DLL的Cython模块状态隔离 #

核心问题是Cython生成的模块状态与初始化解释器的DLL不共享：

• 当A.dll调用PyImport_AppendInittab并导入py_funcs模块时，模块初始化逻辑仅填充A.dll内部关联的模块数据；而B.dll中的Cythonpy_func函数依赖的是B.dll自身静态数据区的模块状态变量（比如Cython自动生成的__pyx_mod_py_funcs），这些变量并未被A.dll的初始化流程赋值。
• 即便进程级Python解释器已初始化，B.dll中的py_func调用时会因自身模块状态为空，触发空指针访问崩溃。而在B.dll内部初始化Python时，模块导入流程会正确填充B.dll内的模块状态，因此调用正常。

2. Python解释器重启的固有缺陷 #

Python的Py_FinalizeEx设计上无法完全清理所有全局状态，跨DLL场景下问题更突出：

• 第一次调用Py_FinalizeEx后，Python内部的线程状态缓存、全局静态变量（包括Cython模块的残留状态）不会被彻底重置。第二次启动解释器时，这些残留的无效状态会引发冲突：比如AttributeError: 'NoneType' object has no attribute 'current_thread'错误，就是因为线程状态管理模块未被正确重新初始化。
• 跨DLL启停解释器时，不同DLL内的残留状态互相干扰，进一步提升了崩溃概率。

3. Windows DLL符号绑定的特殊性 #

Windows下每个DLL拥有独立的导入表和静态数据区：

• A.dll和B.dll各自链接Python导入库时，会独立绑定pythonXY.dll的符号，但Cython生成的代码依赖的模块级静态变量是DLL私有的。这意味着即便进程中存在活跃的Python解释器，B.dll也无法直接复用A.dll初始化的模块上下文，两者的静态数据区完全隔离。

内容的提问来源于stack exchange，提问作者oz1