CPython 内存快照（Python 语言峰会 2026）
内容提要
在CPython语言峰会上，Hood Chatham提出用内存快照加速解释器启动，Pyodide测试中“Hello, world”启动快约4倍。但快照会固化哈希随机种子，带来安全风险。他建议引入“初始化阶段”，允许重新初始化时恢复随机性。讨论还涉及atexit回调、惰性导入、冻结模块等替代方案，以及WebAssembly和边缘计算场景。
延伸解读
快照带来的安全权衡
内存快照通过复用初始化后的进程状态来加速启动，但会固化哈希随机种子。Python 3.3 引入随机盐是为了防止哈希碰撞拒绝服务攻击，若种子在快照中固定，攻击者可能更容易构造恶意输入。Hood Chatham 因此建议引入“初始化阶段”，允许在恢复快照时重新初始化随机性，以平衡性能与安全。
惰性导入与快照的潜在冲突
PEP 810 的惰性导入将模块解析推迟到首次访问，可能减少启动开销。但 Hood 指出，若导入未被解析，快照中就不会包含这些模块的状态，导致每次执行仍需支付导入成本，反而可能让快照方案“先变差再变好”。此外，边缘计算场景可能没有文件系统，惰性导入依赖的文件访问会受限。
替代方案的局限与讨论
峰会讨论了 atexit 回调、冻结模块和写时复制等替代方案。Stefan Behnel 询问能否用重初始化回调替代，但 Hood 认为初始化加速的工作量远大于快照。Guido van Rossum 根据 Faster CPython 经验指出，深度冻结模块对启动时间影响不大且增加复杂度，因此未被采纳。Eric Snow 则提到冻结对象内存并引入写时复制，以避免不必要的拷贝。
Q&A
CPython 内存快照是什么？它如何加速解释器启动？
CPython 内存快照是一种在解释器初始化完成后保存进程内存状态的技术，后续启动时直接恢复该快照，避免重复执行初始化步骤，从而加速启动。在 Pyodide 测试中，使用快照后“Hello, world”启动速度提升约 4 倍（0.353 秒 vs 1.406 秒）。
使用内存快照会带来什么安全风险？
内存快照会固化哈希随机种子，导致每次启动时本应随机的哈希盐值变为固定值，攻击者可能利用哈希碰撞发起拒绝服务攻击。此外，其他依赖随机性的库或程序也可能受到影响。
Hood Chatham 提出了什么方案来解决快照的安全问题？
Hood 建议在 Python 语言模型中引入“初始化阶段”的概念，允许在重新初始化时再次调用该阶段，从而让运行时和第三方库安全地重新引入随机性。
惰性导入（lazy imports）对内存快照有什么影响？
惰性导入可能使内存快照的效果变差，因为惰性导入不会在初始化时解析和执行所有导入，导致这些导入不会被保存到快照中，每次执行时仍需支付导入成本，从而抵消快照带来的性能优势。
为什么冻结模块（freezing modules）没有被 CPython 团队采用？
Guido van Rossum 根据 Faster CPython 团队的经验指出，深度冻结模块对启动时间的影响不大，反而增加了复杂性，因此团队认为不值得采用。
内存快照在 WebAssembly 和边缘计算场景中有什么应用价值？
在 WebAssembly 和边缘计算场景中，运行时可能没有文件系统访问权限，而内存快照可以避免依赖文件系统的导入操作，从而加速启动并适应这些环境。
