iceoryx2 用 ByteAtomic 解决无锁陷阱
Safe Lock-free Primitives with iceoryx2's ByteAtomic
在多线程编程中，Rust 和 C++ 开发者常面临数据竞争导致的未定义行为。传统的 sequence lock 虽能检测竞争，却无法阻止非原子内存拷贝引发的底层错误。iceoryx2 团队为此推出了 ByteAtomic，这是一个字节级的原子包装器。它通过精细处理未初始化内存和填充字节，确保内存拷贝的原子性，从而让 sequence lock 等无锁原语真正安全可用。这不仅解决了当前标准库的缺失，更为高可靠性系统提供了关键的安全保障。
虽然 sequence lock 能够检测到数据竞争的发生，但它并不能阻止未定义行为的发生。
HN 评论区
28- danbruc
在不使用阻塞锁的情况下，缓解上述数据竞争的一种常见方法是使用序列锁（sequence lock）。
序列锁是一种阻塞锁。如果写操作在两次递增操作之间崩溃，那么读操作将会无限自旋，等待计数器再次变为偶数。
- jimaway123
原文提到：
>>>问题所在：即使读取器检测到数据被修改并在使用前丢弃了副本，复制非原子数据这一行为本身仍会触发未定义行为。虽然序列锁可以检测到数据竞争的发生，但它无法阻止数据竞争。
这为什么是个问题？难道处理序列锁失败的正确方式不就是重试吗？撕裂读取（torn read）确实意味着读取结果会出现未定义行为，但你反正会把所有东西丢弃并重新开始，那这到底在解决什么问题？
- elfenpiff
iceoryx2 提供了基于共享内存和由多个进程并发修改的数据结构的零拷贝进程间通信机制。
这些算法中的关键操作之一是使用 core::ptr::copy 进行内存复制。然而，如果一个进程正在读取数据，而另一个进程同时写入，这将导致未定义行为。即使我们的无锁算法能够可靠地检测到此类竞争，iceoryx2 也不能在安全关键系统中依赖未定义行为。
这篇博客介绍了我们的解决方案：一个逐字节的原子包装器，它能够实现定义良好的并发复制操作。同时，它还展示了如何利用该包装器实现一个简单的序列锁。