Rustの型システムでLinuxカーネルのバグを防ぐ

BRANK

過去のデバイスドライバのバグを分類し、それをRustでどの程度防げるかを分析するという面倒な仕事からは、引き続き目を背け、Rustの型システムを活用してコンパイル時にAPI誤用によるバグを防ぐ設計例として、筆者が開発に関わっているタイマー抽象化APIを紹介します。