Pyodide REPL中导入模块导致无限递归错误的分析与解决

Pyodide是一个将Python运行时编译为WebAssembly并在浏览器中运行的项目，它允许开发者在网页环境中直接执行Python代码。近期在Pyodide 0.26.1版本的REPL环境中，用户报告了一个严重的运行时错误：当尝试导入任何模块时，系统会抛出"Maximum call stack size exceeded"的递归错误并崩溃。

问题现象

用户在Pyodide 0.26.1的在线REPL环境中发现，执行任何import语句（如import sys）都会导致致命错误。错误信息显示调用栈溢出，REPL环境随即崩溃。这个问题在不同设备和浏览器上表现不一致，部分用户能稳定复现，而其他用户则完全无法复现。

问题分析

经过深入调查，发现问题与JavaScript Promise Integration(JSPI)功能相关。JSPI是WebAssembly的一项实验性功能，允许同步等待异步操作。在受影响的环境中：

1. Pyodide检测到JSPI支持并启用了相关功能
2. 当执行代码时，系统会调度两个PyObject回调
3. 第一个回调调用callPyObjectMaybePromising时触发了无限递归

关键发现是，当强制禁用JSPI时问题消失：

pyodide._module.jspiSupported = false

或者直接使用非promise版本的调用：

pyodide._module.callPyObjectMaybePromising = pyodide._module.callPyObject

环境差异性

这个问题表现出明显的环境差异性：

• 在Windows 11和Android设备上可稳定复现
• 在Ubuntu 24.04、iPad等设备上无法复现
• 同一Chrome浏览器，不同用户配置下表现不同

这种差异性可能源于：

1. 浏览器厂商对JSPI功能的渐进式部署策略
2. 某些用户可能被纳入了实验性功能的A/B测试
3. 不同操作系统对WebAssembly特性的支持程度不同

解决方案

Pyodide团队在后续的0.26.2版本中修复了这个问题。对于仍在使用0.26.1版本的用户，可以通过以下临时解决方案：

1. 手动禁用JSPI支持
2. 降级到0.25.1版本（该版本不会启用JSPI）
3. 升级到已修复的0.26.2版本

技术启示

这个案例展示了WebAssembly生态系统中实验性功能可能带来的兼容性问题。对于开发者而言，需要注意：

1. 实验性功能虽然强大，但可能存在稳定性风险
2. 环境差异性测试在Web开发中尤为重要
3. 当遇到难以解释的行为时，考虑实验性功能的影响

Pyodide团队快速响应并修复问题的态度也值得赞赏，展现了开源社区的高效协作精神。