Furchtlose Nebenläufigkeit in Python: Das Lungfish-Projekt

Das Project Verona-Team entwickelt Lungfish, ein neues Ownership-Modell für Python, das eine sichere und effiziente Verwaltung von Speicher und Nebenläufigkeit in Python-Programmen ermöglichen soll. Zunächst wurde mit einer Spielzeugsprache namens FrankenScript ein Prototyp eines regionbasierten Ownership-Modells erstellt, und die gewonnenen Erkenntnisse wurden mit dem Faster CPython-Team geteilt. Derzeit wird schrittweise ein Modell der tiefen Unveränderlichkeit implementiert, einschließlich der tiefen Unveränderlichkeit in CPython, der Verwaltung zyklischer unveränderlicher Garbage und der Integration mit der Nachrichtenübermittlung zwischen Subinterpreten. Dies wird den Weg für die Anwendung des regionbasierten Ownership-Modells in Python ebnen und letztendlich darauf abzielen, die nebenläufige Programmierung zu vereinfachen und die Fallstricke der Nebenläufigkeit zu vermeiden. Das Projekt lehnt sich stark an die Erfahrungen von Sprachen wie Rust an, verwendet aber dynamische Prüfungen, um dem dynamischen Typsystem von Python gerecht zu werden.