のコード Rust for Linux は、先週の月曜日にメインの Linux 6.1 Git ツリーにマージされました。 この新しい最初の 12 行のコードは、非常に基本的なインフラストラクチャと統合のみを提供しますが、将来のプル リクエストでは、サブシステムの抽象化、Rust で記述されたさまざまなドライバーなどが追加されます。
Rust をサポートする Linux カーネルのコンパイルは引き続きオプションです「Rust for Linux」プロジェクトは別の大きな一歩を踏み出していますが、一部の開発者はまだ Rust 言語を Linux カーネルに持ち込むことに懐疑的です。
カーネル コミュニティへのメッセージで、Torvalds 氏は次のように述べています。
「このツリーには最近基礎ができましたが、基本的には XNUMX 年半の間、linux-next 上にあります。 Kernel Maintenance Summit からのフィードバックに基づいて更新されました。
Miguel がメインのメンテナで、必要に応じて手伝っています。 私たちの計画は、このインフラストラクチャの最初のラウンドが完了したら、ツリーがベースを変更しないという標準的な慣行に移行することです。 コンテンツは、Rust コードをカーネルに統合できるようにするための絶対的な最小値であり、さらに多くのインターフェイス (およびドライバー: NVMe、9p、GPU M1) が進行中です。」
ちなみにプロジェクトは 「Rust for Linux」は新しいプログラミング言語をカーネルに導入することを目指しています. Rust には、第 XNUMX のカーネル言語と考えるのを非常に興味深いものにする重要な特性があります。Rust は、未定義の動作が発生しないことを保証します。 これには、アフターフリー、ダブルフリー、データ競合などを使用しないというエラーが含まれます。
これにより、ほぼ 31 年後、カーネル開発に第 XNUMX 言語が受け入れられるようになります。 関連する議論は、Rust 言語を支持して C を捨てる可能性を中心に展開しています。
Rust のサポートは linux-next で XNUMX 年半行われており、カーネルのニーズをサポートするために Linux カーネル側と Rust アップストリーム側の両方に貢献した人々の数は、短いログでは十分ではありません。 . .
この173名をはじめ、様々な形で関わってくださった多くの方々に感謝いたします。
Torvalds は、カーネルのメーリング リストで次のように発表しました。 Rust for Linux の初期サポートは、約 4 つの領域で行われます そしてそれには以下が含まれます:
- カーネル内部 (Rust シンボルの kallsyms 展開、%pA 形式);
- Kbuild フレームワーク (Rust ビルド ルールとサポート スクリプト)
- Rust コアのドキュメントとサンプル。
Torvalds は最近、ANSI C で記述されたカーネルのリンク リストの投機的実行プリミティブに関する潜在的なセキュリティ問題を調査しました。ループそのもの。
Linux カーネルを 11 年に標準化が完了した C2011 にアップグレードするという彼の最近の決定が浮かび上がったのはこの観察からでした. これらは、長い間 Rust を支持して C 言語を放棄することを正当化できる一種の技術的な理由です.基本開発期間に追加。
のサポート Linux カーネル開発のための Rust は継続しており、「重要なステップ」と見なされています より安全な言語でコントローラーを記述できるようになります。」 Mozilla Research によって開発された Rust 言語は、基本入出力システム (BIOS)、ブート マネージャー、オペレーティング システムなどのコードを書く人が使用するプログラミング言語の一種です。 興味がある
一部の専門家によると、これは C 言語ではなくシステム プログラミングの未来であり、実際、専門家は、C/C++ ペアよりも優れたソフトウェア セキュリティ保証を提供すると考えています。 たとえば、クラウド コンピューティングの世界的リーダーである AWS では、開発プロジェクトに Rust を選択することは、セキュリティの利点に C のエネルギー効率と実行パフォーマンスを追加することを意味すると指定されています。
最後に あなたがそれについてもっと知りたいならのメーリング リストを参照できます。 次のリンク。
なんて朗報でしょう。 それは来るのが見えたものです。 特に錆びがかなり強くなっているので。 個人的には、Rust でのプログラミングに魅力を感じており、すぐに Rust のプロになりたいと思っています。