A data race that doesn't compile
3 hours ago
- #Parallel Computing
- #Redux Pattern
- #Rust Type System
- 作者探讨了如何在并行Redux风格库（ruxe）中利用Rust的类型系统来预防数据竞争，该库最初为能源管理系统的高流量事件处理而设计。
- 一个关键见解是将负面条件“无重复切片reducer”转化为正面表达：确保状态切片与reducer之间形成双射关系，这种表述更易于在Rust的trait系统中编码实现。
- 使用frunk crate提供的HList（异构列表）和Sculptor模式，可以在编译时遍历切片和reducer列表，通过trait解析错误来强制保证唯一性。
- Peano数值（Here和There<I>）作为位置见证者，用于消歧递归trait实现，这对于避免reducer查找过程中的重叠实现至关重要。
- 最终实现的代码仅在每个状态切片恰好对应一个匹配reducer时才能编译通过，从而无需运行时检查就能在编译时预防并行数据竞争。