最も難しい種類の Unsafe Rust

- Oxide and Friendsは、元Joyentエンジニアでillumos/SmartOSの主要開発者だったBryan CantrillとAdam Leventhalがホストを務めるポッドキャストで、低レイヤー/システムプログラミングに焦点を当てている。Bryan Cantrillは現在Oxide Computer CompanyのCTOであり、同社はクラウドネイティブ向けにゼロから設計したハードウェア/ソフトウェア一体型サーバーを開発している。 - このエピソードでは、「最も難しい種類のunsafe Rust」、すなわちRustの安全性保証をバイパスして低レベル操作を行うunsafeコードの中でも、特にOSカーネルやファームウェアのようなシステムプログラミングの文脈で現れる難題を議論。unsafeの一般論ではなく、物理メモリやMMIO（メモリマップドI/O）の操作、割り込みハンドラとの相互作用など、通常のRustコードでは想定されていない環境下でのunsafeの扱いがテーマ。 - Rustはメモリ安全性を型システムで保証するが、カーネル内部では生のポインタ操作、共有メモリ、デバイスレジスタへの直接アクセスが避けられず、そうした箇所はunsafeブロックで囲まれる。しかし「最も難しい」unsafeとは、単に生ポインタを deref する以上の、時間的/空間的な不変条件の維持や、コンパイラが知り得ない外部ハードウェアの状態との整合性を要求するコードを指す。 - この話題が重要な背景として、Oxide ComputerはRustを採用した独自のホストOS「Hubris」や管理CPUファームウェアを開発しており、チームはRustのunsafeの限界と真剣に向き合っている。またCantrillとLeventhalは長年、低レイヤーシステムにおける正しさの難しさについて発信してきた人物でもある。