【操作系统百科】Rust for Linux
Rust for Linux 真的在解决问题还是在搬问题？合入时间线、抽象 crate、Pin/unsafe 边界、Asahi GPU 驱动、维护成本、ABI 兼容、工具链依赖。
memory-safety 标签归档
共 5 篇文章 · 返回首页
【密码学百科】密码学实现陷阱：三层漏洞分类、审计工具链与系统性预防
密码学漏洞并非随机出现——本文将实现陷阱划分为密码算法层、密码库层、系统集成层三个层次，结合 Heartbleed、goto fail 等经典案例，给出从静态分析到形式化验证的完整审计工具链和系统性预防方法论
【从零写一个 LSM-Tree 存储引擎】完整引擎 + Rust 重写对比
组装完整 LSM-Tree 存储引擎：DB 接口（Open/Put/Get/Delete/Iterator/Snapshot）、单写多读并发控制、启动恢复，然后用 Rust 重写核心模块，记录 5 个编译器不让我过的故事，最后三方 benchmark 对比。从零写一个 LSM-Tree 存储引擎系列第 5 篇。
Rust 所有权：C++ RAII 本来想成为的样子
C++ 的 RAII 有五个逃生舱门：use-after-move、悬垂引用、共享可变、异常安全、裸指针逃逸。Rust 的所有权模型把它们全部焊死了。从 C++ 侧拆解 RAII 的根本缺陷，看 Rust 如何在每个分叉点做出不同选择。
Rust FFI 实战：当你不得不和 C 库打交道
Rust 的所有权系统在 FFI 边界会失效——一旦指针跨过 extern \"C\"，borrow checker 就看不到了。本文从 bindgen 自动生成绑定、cbindgen 导出 Rust 接口、内存所有权跨语言传递，到为 C 库编写安全的 Rust wrapper，系统拆解 FFI 实战中的每一个坑。