グレッグ・クロア-ハートマン、 最近のLinuxカーネルキーパーのXNUMXつ 提案を受けた それが言う Rust言語でのドライバーの開発専用のフレームワークが受け入れられる可能性があること コアで。
現時点では具体的なことは何もありませんが、これについては、 Greg Kroah-Hartmanは、次のXNUMXつの条件を策定します。 それらのXNUMXつは、フレームワークが統合された場合、デフォルトではアクティブ化されないことです。これは、カーネルをコンパイルするためにRustを必要としないことを回避するためです。 第二に、提案されたアプローチは、C言語の使用から派生したものと比較して真の利点を持っているということです。
LinuxカーネルはC言語での開発の産物であることが知られており、何よりもLinus TorvaldsCの開発が何よりも重要です。 したがって、システムのドライバーの開発では、Cを使用します。
開発者は巨大な機会を危うくしました これは、コンピューターシステムのハードウェアリソースの管理に関して、Rustの使用を提供します。
そして、それ Rust言語へのパッセージを呼び出すためにますます多くの声が上がっています、 そのうちのXNUMXつは、材料管理のためにCを置き換えることになっています。
そして、前回のLinuxセキュリティサミットでは、 セキュリティ研究者は、他の研究者とともに、最大の言語の欠陥のXNUMXつを指摘しています Cは、メモリ管理に関連する問題です。バッファオーバーフロー、割り当て、無効または解放されたメモリ領域へのアクセスなどです。
研究者のデュオによって報告された数字によると、過去65か月間に特定されたLinuxカーネルの脆弱性の6％の結果。 Common Vulnerabilities and Exposure（CVE）の数値は類似しています。15.9年間にLinuxカーネルに影響を与えた2288の脆弱性の20％は、バッファオーバーフローに関連しています。
研究チームは、Cと比較してRustが提供する利点について話しているだけではありません。 彼はまた、Linuxドライバー開発専用のフレームワークを開発するためのイニシアチブを提示する機会を得ました。
簡単に言えば、努力はLinuxカーネルAPIを使用することです。 開発は、x86、arm / arm64、mips、POWERPC、RISC-V、s390、およびSPARCアーキテクチャ用です。
しかし 最大の問題は、C言語に勝るものはないとLinusTorvaldsだけが信じていることです。 システムプログラミング用。
私はこのような問題についてはかなり古風だと言わなければなりません。 Linuxとオペレーティングシステム全般を始めた理由は、ハードウェアが本当に好きだからです。 私は物質的な側面を探求するのが好きです。
私が専門家であることを強調するためにこれを言っているのではありません。 私が言いたいのは、私はソフトウェアからハードウェアと対話するのが好きだということです。 この観点から見ると、C言語にしか近づかないプログラミング言語はまだ見たことがありません。
このステートメントは、Cがハードウェアを処理するための適切なコードを生成するのに役立つという理由だけではありません。 また、Cを使用することは、コンピューターのように考える人々にとって理にかなっています。 その理由は、C言語を設計した人々が、コンパイラーが単純でなければならないときに設計したためだと思います。 言語が期待される出力または結果に適応しなければならなかった時代。
したがって、C言語でコードを読んだとき、アセンブリコードがどのように見えるかがわかり、それが私にとって興味深いことです」と彼は7年前の会議でのスピーチの中で述べました。 インテルオープンソーステクノロジーセンター。
以前、C ++を導入するための同様の提案を削除しました Linux用のドライバーの開発に専念する言語の輪の中で。 特に、彼はC ++よりもCの方がオブジェクト指向をよりクリーンにする可能性を強調しました。
アレックスゲイナーとジェフリートーマスのイニシアチブは、多くの軸で素晴らしいプロジェクトであり続けています。 たとえば、研究チームは、ファイルシステムおよび特定のデバイスタイプ用のドライバーの開発を継続する必要性を強調しています。
次に、次のことを確認する必要があります コンテンツは納得させることができますLinuxのメンテナ。