Rust for Linuxでは独自のallocライブラリを使っている

Rustを第二言語として採用してデバイスドライバなどのモジュールをRustで書けるようにする「Rust for Linux」が近々マージされる予定だともLinus氏自身が発言しています。 そんな期待のかかるRust for Linuxですが、提案された当初は期待こそされていたものの、様々な懸念点も指摘されていました。 その1つが標準ライブラリの一部であるallocクレートの設計です。 このクレートはヒープ領域を扱うBox、Vec、StringなどRustではお馴染みの構造体を提供しています。 Rustの標準ライブラリはOSのサポートを前提とした構造体も多くあります。そのため、OSそのものを書くようなベアメタルプログラミングにおいて標準ライブラリをそのまま使うことはできません。 使えるのはcoreと呼ばれる依存関係のない全く無いライブラリがありますが、allocはOSのサポートが必要なヒープ

[h3poteto]

“BoxやVecのコンストラクタがResultではなくSelfを返していることからこれは明らかですね。”あーなるほど，たしかにここが失敗するとpanicしちゃう

[Fluss_kawa]

いろいろあるけどCって柔軟なんだなと思う。だからしぶとく使われているんだろうけど。

[nanakoso]

ゆくゆくはドライバだけじゃなくてカーネル本体にも使うつもりなんだからどっちみちRust側の対応はいる >ドライバのクラッシュ云々はOSの責任

[htilcs1115]

んー。なるほど。おもしろい

[programmablekinoko]

誰かが言ってたけどZigの方がよかったんではないかというのもあるがLLVMになってしまうしな

[z1h4784]

根本的な問題はおそらく解決してない。ドライバのクラッシュがカーネルのクラッシュに直結しないようにすべき（Windowsはそうなってる）。まあこれはRustではなくOSの問題なんだけども

[bootJP]

みてる

[zu2]

“このように、allocクレートは実行時にpanicする可能性を抱えていて（run-time failure panic）、このことを最初のパッチでLinus氏が問題点として指摘しています”

[zyzy]

面白いな。