Read_once(), Write_once(), but Not for Rust
4 months ago
- #Rust
- #Concurrency
- #Linux Kernel
- READ_ONCE()和WRITE_ONCE()宏在Linux内核的无锁算法和设备内存访问中至关重要
- Rust开发者更倾向于使用Atomic原子库而非READ_ONCE()和WRITE_ONCE()，因其在并发编程中语义更明确
- Rust方法强调为操作指定精确的保证，这与READ_ONCE()和WRITE_ONCE()相对模糊的语义形成对比
- Rust与C在并发数据访问API上的差异可能使内核开发复杂化，需要开发者理解两种范式
- 关于Rust替代方案的讨论暴露出C代码需要改进之处，例如WRITE_ONCE()的正确使用方式
- 在Rust中，volatile访问被认为不适用于线程间通信，这引发了关于正确同步方法的争论
- 对于某些场景，Rust中的宽松原子操作(relaxed atomics)被提议作为比volatile操作更高效且语义清晰的替代方案