Python 的无畏并发：Lungfish 项目
2025-05-18
Project Verona 团队正在开发名为 Lungfish 的 Python 新所有权模型，旨在安全高效地管理 Python 程序的内存和并发。他们首先使用 FrankenScript 语言快速原型化了基于区域的所有权概念，并将其经验与 Faster CPython 团队分享。目前，他们正逐步实施深度不变性模型，包括在 CPython 中实现深度不变性、管理循环不变垃圾以及与子解释器间消息传递集成。这将为基于区域的所有权模型在 Python 中的应用奠定基础，最终目标是简化并发编程，并避免并发陷阱。该项目借鉴了 Rust 等语言的经验，但采用了动态检查，以适应 Python 的动态类型特性。
开发
所有权模型