SquirrelFS：利用Rust编译器检查文件系统崩溃一致性 (arxiv.org)

SquirrelFS是一种新的持久内存崩溃安全文件系统，它利用Rust的类型状态模式在编译时强制执行特定的操作顺序。它引入了一种新的崩溃一致性机制，即同步软更新，将崩溃安全性简化为强制执行文件系统元数据更新之间的顺序。SquirrelFS不需要单独的证明，而是将正确性保证纳入类型状态本身，编译仅需几秒钟，成功编译表示崩溃一致性，而错误则提供修复错误的起点。