一个不会编译的数据竞争（在 Rust 中）

本文探讨了 Rust 中一种特殊的数据竞争问题——它不会导致编译错误，而是利用类型系统在编译时而非运行时暴露潜在的数据竞争。作者通过深入分析 Rust 的所有权模型和借用检查器，展示了如何通过类型级技术确保并发安全，使某些数据竞争在编译阶段就被杜绝。这种“不编译”的数据竞争实际上体现了 Rust 内存安全设计的精妙之处。

背景速读

- Rust 的所有权系统在编译期杜绝数据竞争（data race）是其核心卖点之一，但标准做法只保证"安全 Rust"（Safe Rust）内的无竞争；一旦涉及 Unsafe Rust 或内部可变性（如 UnsafeCell、RefCell），部分风险会推迟到运行时检查。 - 本文介绍 ruXE —— 一个在类型系统层面编码排他性借用规则（exclusive borrowing）的实验性 Rust 类型库。它利用 Rust 的类型级编程（type-level programming）能力，将原本仅在运行时由借用检查器（borrow checker）施加的"一次只能有一个可变引用"约束，固化到类型本身中，从而在编译期拦截更多潜在的数据竞争。 - 作者 Corentin 是 Rust 社区的活跃研究者，常写关于类型系统与借用模型的深度文章。这篇 blog 展示了他对"如何将借用规则编码到类型中"的激进探索，对理解 Rust 类型系统边界很有帮助。