Kovan: From Production MVCC Systems to Wait-Free Memory Reclamation
2 months ago
- #rust
- #concurrency
- #memory-reclamation
- Kovan是一个用Rust构建的无等待内存回收系统，解决了crossbeam-epoch等无锁系统中的问题。
- 无锁系统在单线程停滞时可能出现内存无限增长问题，而无等待系统能确保每个操作都在有限步骤内完成。
- Kovan实现了Crystalline论文的方法，在读密集型工作负载中性能更优，并支持嵌入式场景的no_std环境。
- 性能测试显示：Kovan的pin操作开销降低36%，读密集型负载速度达crossbeam-epoch的1.3-1.4倍。
- Kovan包含全套无等待数据结构（HashMap、Queue、Channels、MVCC），并通过TLA+形式化验证确保正确性。
- 无等待回收对云服务、金融交易、实时分析、高性能计算和分布式数据库至关重要，可满足SLA和内存配额要求。
- Kovan已投入生产环境，发布在crates.io上并被SpireDB采用，其API设计便于从crossbeam-epoch迁移。