Pythonにおける恐れ知らずの並行処理：Lungfishプロジェクト
2025-05-18
Project Veronaチームは、Pythonのメモリと並行処理を安全かつ効率的に管理するために設計された、Python向けの新しい所有権モデルであるLungfishを開発しています。まず、FrankenScriptというおもちゃの言語を使用して、領域ベースの所有権の概念のプロトタイプを作成し、その知見をFaster CPythonチームと共有しました。現在、CPythonでの深い不変性の導入、循環する不変ガベージの管理、サブインタープリタ間のメッセージパッシングとの統合を含む、深い不変性モデルを段階的に実装しています。これは、Pythonへの領域ベースの所有権モデルの適用を促進し、最終的には並行プログラミングを簡素化し、並行処理に伴う落とし穴を回避することを目的としています。このプロジェクトは、Rustなどの言語からの知見を多く取り入れていますが、Pythonの動的型付けに対応するために動的なチェックを採用しています。
開発
所有権モデル