Auf der in diesen Tagen stattfindenden Konferenz Open-Source Summit 2022 erwähnte Linus Torvalds in der Fragerunde die Möglichkeit einer zeitnahen Integration von Komponenten zur Entwicklung von Gerätetreibern in die Linux-Kernel auf Basis der Programmiersprache Rust. Es ist nicht ausgeschlossen, dass Patches mit Unterstützung für Rust im nächsten Änderungsfenster, das den Kern 5.20 betrifft, das für Ende September geplant ist, angenommen werden.
Der Antrag auf Aufnahme der Änderungen in den Kernel wurde noch nicht an Torvalds gesendet, aber das Patch-Set hat eine zusätzliche Bewertung durchlaufen, wurde von den Hauptanmerkungen befreit, wird schon seit geraumer Zeit im linux-next-Zweig getestet und ist in einen Zustand gebracht worden, der geeignet ist, Abstraktionsschichten über den Kernsubsystemen zu erstellen, Treiber und Module zu schreiben. Die Unterstützung von Rust wird als Option präsentiert, die nicht standardmäßig aktiv ist und nicht zu Rust als einer der obligatorischen Build-Abhängigkeiten des Kernels führt.
Die vorgeschlagenen Änderungen ermöglichen die Verwendung von Rust als zweite Sprache für die Entwicklung von Treibern und Kernel-Modulen. Die Nutzung von Rust zur Treiberentwicklung wird es ermöglichen, sichere und qualitativ hochwertigere Treiber mit minimalem Aufwand zu erstellen, die frei von Problemen wie dem Zugriff auf Speicherbereiche nach deren Freigabe, dem Dereferenzieren von Nullzeigern und Pufferüberläufen sind.
Die sichere Verwaltung von Speicher in Rust erfolgt während der Kompilierung durch Überprüfung von Referenzen, das Verfolgen des Eigentums an Objekten und das Management der Lebensdauer von Objekten (Sichtbarkeiten). Außerdem bewertet Rust die Korrektheit des Zugriffs auf den Speicher zur Laufzeit. Rust bietet auch Mechanismen zum Schutz vor Überläufen bei Ganzzahlen, verlangt die obligatorische Initialisierung von Variablen vor ihrer Verwendung, behandelt Fehler in der Standardbibliothek besser und wendet das Konzept der Unveränderlichkeit (immutable) für Referenzen und Variablen standardmäßig an. Zudem bietet es eine starke statische Typisierung zur Minimierung logischer Fehler.
Quelle: opennet.ru
