用类型系统让乐观锁更安全
Safe Optimistic Lock Coupling
随着 CPU 核心数增加，传统锁耦合在并发数据结构中容易成为瓶颈，尤其是根节点的高频锁竞争。乐观锁耦合通过版本检查避免写操作阻塞读操作，显著提升扩展性，但容易因忘记验证导致竞态条件。文章提出将未验证值封装为 unvalidated<T> 类型，仅通过 lock_guard 验证后访问，结合 OptimisticView 和 OptimisticPtr 构建类型安全机制，让编译器自动捕获验证遗漏。这种设计既保留了无锁读的高性能，又确保并发写入的安全性，为复杂数据结构提供了稳健的并发编程范式。
通过将验证需求编码进类型系统，我们既获得了性能优势，又不会牺牲正确性。
- PeterWhittaker
一个天真问题，因为这不是我的专业领域，但 Rust 有 RwLock：为什么不直接用 RwLock 来允许多个读者和一个写入者呢？
这种方法在哪些方面优于 RwLock（无论对“优于”作何解释），而 RwLock 又在哪些方面优于这种方法（同理）？
- dichloromethane
不过这段代码似乎有问题。这类无锁并行算法最大的挑战始终是如何处理生命周期并防止悬空指针（除非你打算永远不释放这棵树中的任何内容，但这似乎不太可能）。
根本问题在于，没有任何机制能阻止读者解引用写入者已经 free() 的节点。要解决这个问题，要么引入 RCU，要么使用 Hazard 指针。
- windenntw
写得很好，内容扎实，没有推销乱七八糟的东西，+10，会再看一遍 :)