iddqd, or the hardest kind of unsafe Rust
この記事では、Oxide Computer で開発された Rust のコレクションライブラリ「iddqd」について、Rain Paharia が解説している。iddqd は、キーを値から借用する形のマップを扱えるライブラリだ。記事では実装のどこで unsafe Rust を使っているかを説明し、意地の悪いトレイト実装によってインデックスが重複し、メモリ安全性が損なわれ得るという具体的なバグを取り上げている。あわせて、解析的なレビュー、プロパティベーステスト、Miri での実行、形式検証ツールといった、健全性を担保するための多層的な検証手法も紹介している。
Oxide Computer Company 公式ブログで全文を読む ↗
無料登録で、調達額・投資家・記事全文が読めます（メールアドレスのみ）。
無料で登録する