Study note
Surelock
Properties
- Type
- Blogs
- Status
- 待读
- Domain
- Rust
- Category
- 并发、异步与运行时
- Source
- notes.brooklynzelenka.com
- Vault note
library/articles/rust/Surelock-2bdb2513abd21dd0.md
Summary
介绍 Rust deadlock-freedom 库 Surelock 的设计思路：通过 `LockSet` 的确定性排序和 `Level<N>` 的编译期锁顺序约束，打破 Coffman 条件中的 circular wait。
Highlights
把并发安全问题交给 Rust 类型系统处理，尤其值得关注 `MutexKey` 作为线性/仿线性能力令牌来追踪锁状态的设计。
Notes
Rust deadlock-freedom / 类型系统并发安全。
Comments
Loading comments...