Rust ist jetzt bereit, sich C als praktischer Sprache anzuschließen, die unter Linux implementiert werden kann
Vor einigen Wochen haben wir hier im Blog die Neuigkeiten über die Bestätigung geteilt, die während des Open Source Summit Europe gemacht wurde, von Linus Torvalds angekündigt dass, vorbehaltlich unvorhergesehener Probleme, sund wird Patches enthalten, um die Entwicklung des Rust-Treibers im Linux 6.1-Kernel zu unterstützen, die voraussichtlich im Dezember erscheinen wird.
Der Grund für die Erwähnung ist der Das gab Miguel Ojeda, Autor des Rust-for-Linux-Projekts, bekannt vor kurzem der Start von der zehnte Vorschlag der Komponenten zur Entwicklung Rust-Gerätetreiber für Linux-Kernel-Entwickler zu berücksichtigen.
Als solches ist dies die elfte Ausgabe der Patches, unter Berücksichtigung der ersten veröffentlichten Version (keine Versionsnummer). Linus Torvalds genehmigte die Aufnahme von Rust-Unterstützung in den Linux-6.1-Kernel, abgesehen von unvorhergesehenen Problemen.
Erwähnenswert ist, dass die Entwicklung von Google und der ISRG (Internet Security Research Group) finanziert wird, die Gründer des Let's Encrypt-Projekts ist und HTTPS und die Entwicklung von Technologien zur Erhöhung der Internetsicherheit fördert.
Einige über die Vorteile von Rust-Support im Kernel erleichtern das Schreiben von Controllern von sicheren Geräten indem die Wahrscheinlichkeit von Speicherfehlern verringert wird und ermutigen Sie neue Entwickler, sich am Kernel zu beteiligen.
„Rost ist eines dieser Dinge, von denen ich denke, dass sie neue Gesichter hervorbringen werden … wir werden alt und grau“, sagte Linus.
Die Release Notes für Linux 6.0 bietet Update zum Fortschritt des Rust-Projekts für Linux: Es gibt eine zugehörige Arbeitsgruppe, ein vorläufiger Treiber für NVMe-Speichermedien, die mit dieser Sprache entwickelt wurden, sowie ein Treiber für einen Server, der für das 9P-Netzwerkprotokoll vorgesehen ist.
Ausnutzen der Erwähnung der Kernel-Version 6.1 Linus kündigte außerdem an, dass Version 6.1 des Kernels einige der älteren Teile verbessern werde und Kernel-Grundlagen, wie die Funktion printk().
In Bezug auf diesen neuen Vorschlag für Rust-Patches sowie die neueste Version der Patches, die zehnte Version ist auf ein absolutes Minimum reduziert, genug, um ein einfaches in Rust geschriebenes Kernel-Modul zu bauen.
Unterschiede zur Vorgängerversion sind auf kleinere Korrekturen reduziert, Ersetzen von sizeof durch ARRAY_SIZE in kallsyms.c und Portieren von Patches auf Kernel v6.0-rc7.
Die Rostunterstützung sollte immer noch als experimentell betrachtet werden. Nichtsdestotrotz,
Der Support ist gut genug, dass Kernel-Entwickler damit beginnen können, daran zu arbeiten.
Der minimale Patch, der von 40 Codezeilen auf 000 Codezeilen reduziert wurde, wird erwartet, machen es einfach, die Rust-Unterstützung im Kern zu übernehmen. Nach der Bereitstellung von minimalem Support ist geplant, die vorhandene Funktionalität schrittweise zu erweitern und andere Änderungen aus dem Rust-für-Linux-Zweig zu portieren.
Die vorgeschlagenen Änderungen ermöglichen es, Rust als Zweitsprache für die Entwicklung von Treibern und Kernelmodulen zu verwenden. Die Rust-Unterstützung wird als Option präsentiert, die standardmäßig nicht aktiviert ist und nicht dazu führt, dass Rust in die erforderlichen Build-Abhängigkeiten für den Kernel aufgenommen wird.
Die Verwendung von Rust zur Entwicklung von Treibern ermöglicht es Ihnen, mit minimalem Aufwand bessere und sicherere Treiber zu erstellen, ohne Probleme wie den Zugriff auf einen Speicherbereich nach der Freigabe, Dereferenzieren von Nullzeigern und Pufferüberläufe.
In Rust ist eine sichere Speicherverwaltung vorgesehen zur Kompilierzeit durch Überprüfen von Referenzen, Nachverfolgen des Objektbesitzes und der Objektlebensdauer (Bereich) sowie durch Bewerten der Korrektheit des Speicherzugriffs während der Codeausführung.
rost auch bietet Integer-Überlaufschutz, erfordert die obligatorische Initialisierung von Variablenwerten vor der Verwendung, behandelt Fehler in der Standardbibliothek besser, erzwingt standardmäßig das Konzept unveränderlicher Variablen und Referenzen, bietet eine starke statische Typisierung, um logische Fehler zu minimieren.
Schließlich wenn Sie mehr darüber wissen möchten über die Notiz können Sie die Mailinglisten zu diesem Thema konsultieren, im folgenden Link.