Während der in diesen Tagen stattfindenden Konferenz Open-Source Summit 2022 erwähnte Linus Torvalds in der Fragerunde die Möglichkeit einer baldigen Integration von Komponenten zur Entwicklung von Gerätetreibern in die Linux-Kernel-Umgebung in Rust. Es ist nicht ausgeschlossen, dass die Patches mit Rust-Unterstützung im nächsten Änderungsfenster, das die Version 5.20 des Kernels bilden soll, die für Ende September geplant ist, angenommen werden.
Eine Anfrage zur Einbeziehung der Änderungen in den Kernel wurde noch nicht an Torvalds gesendet, jedoch hat das Patch-Set eine zusätzliche Überprüfung durchlaufen, wurde von den wichtigsten Anmerkungen befreit, wird bereits seit geraumer Zeit im Branch linux-next getestet und ist soweit bearbeitet, dass es zur Erstellung von Abstraktionsschichten über den Kernel-Subsystemen, der Programmierung von Treibern und Modulen geeignet ist. Rust-Unterstützung wird als Option angeboten, die standardmäßig nicht aktiviert ist und nicht zur Aufnahme von Rust in die verpflichtenden Build-Abhängigkeiten des Kernels führt.
Die vorgeschlagenen Änderungen ermöglichen die Verwendung von Rust als zweite Sprache zur Entwicklung von Treibern und Modulen für den Kernel. Der Einsatz von Rust für die Entwicklung von Treibern wird es ermöglichen, mit minimalem Aufwand sichere und qualitativ hochwertige Treiber zu erstellen, die von Problemen wie dem Zugriff auf freigegebenen Speicher, Dereferenzierung von Nullzeigern und Pufferüberlauf befreit sind.
Die sichere Arbeit mit Speicher wird in Rust während der Kompilierung durch Überprüfung von Referenzen, Verfolgung des Eigentums an Objekten und Berücksichtigung der Lebensdauer von Objekten (Sichtbarkeitsbereich) sowie durch die Beurteilung der Korrektheit des Zugriffs auf den Speicher zur Laufzeit des Codes gewährleistet. Rust bietet auch Mittel zum Schutz vor ganzzahligen Überläufen, erfordert die zwingende Initialisierung von Variablen vor deren Verwendung, behandelt Fehler in der Standardbibliothek besser, wendet das Konzept der Immutabilität (unveränderlich) auf Referenzen und Variablen standardmäßig an und bietet eine starke statische Typisierung zur Minimierung logischer Fehler.
Quelle: opennet.ru
