Krise bei der Promotion der Programmiersprache Rust im Linux-Kernel

In der Linux-Kernel-Entwicklergemeinschaft gibt es Uneinigkeiten über die Integration der Programmiersprache Rust. Christoph Hellwig, der Maintainer der DMA-, KVM-, Slab Allocator- und PowerPC-Subsysteme im Linux-Kernel, der früher im technischen Leitungsausschuss der Linux Foundation tätig war und Kläger in einem damit verbundenen Gerichtsverfahren gegen VMware war, weigerte sich, die mit der Unterstützung von Treiberentwicklungen in Rust verbundenen Patches zu bestätigen.

Die vorgeschlagenen Patches, die Wrapper für Funktionen des DMA-Subsystems hinzufügen, erweckten Bedenken hinsichtlich der Komplexität der Codewartung und möglicher Qualitätsminderungen der Software. Einige Entwickler ziehen es vor, Programmierschnittstellen in C zu belassen, um zusätzliche Schwierigkeiten zu vermeiden.

Als Grund für die Ablehnung wurde die Komplexität der Wartung des Codes bei Vorhandensein von Wrappern in anderen Sprachen angeführt und das Bestreben, die Programmierschnittstellen zu DMA in lesbarer Form in C zu belassen, ohne sie mit unverständlichen Wrappers zu überladen. Christoph schlug vor, direkt auf die ursprüngliche C-API von DMA in jedem Treiber in Rust zuzugreifen, um zusätzliche Abstraktionen zu vermeiden, von denen die Kernelpflege abhängt.

Trotz der Absicht der Entwickler des Projekts Rust for Linux, die gesamte Rust-Codebasis eigenständig zu warten, wurde ein Veto gegen die Annahme von Patches verhängt.

Christoph bemerkte, dass Entwickler, wenn sie die Unmöglichkeit der Wartung von Linux aufgrund der Vermischung verschiedener Programmiersprachen in einem Code-Basis erreichen wollen, dies in ihrem eigenen Treiber tun sollten und nicht diesen "Krebs" im Hauptkernel verbreiten sollten.

Das Kernproblem mit der Wartung ist, dass Rust-Bindungen die Wartenden von dem Code in Rust abhängig machen. Auf den ersten Blick sieht es so aus, als ob die Bindungen nur Erweiterungen der C-Strukturen und -Funktionen sind, die keinen Einfluss auf die Entwicklung und Wartung von C-Code haben. Das ist jedoch nicht der Fall. Bei Vorhandensein solcher Bindungen müssen die Entwickler von Subsystemen, die in C geschrieben sind, die Auswirkungen ihrer Änderungen auf die Funktionsfähigkeit der Bindungen berücksichtigen. Jede Änderung an Datenstrukturen oder internen Funktionen in C kann die Notwendigkeit zur Anpassung des Bindungscodes zur Folge haben. Daher müssen die Änderungen im C-Code, die die Bindungen beeinflussen, verfolgt und mit dem Rust-Code synchronisiert werden. Viele Wartende sind nicht bereit, die zusätzliche Verantwortung für die Behebung von Problemen im Rust-Code zu übernehmen und möchten ihre Zeit nicht mit der Überwachung des Zustands der Rust-Bindungen verbringen.

Quelle: linux.org.ru