Safe Lock-free Primitives with iceoryx2's ByteAtomic
Summary
The article discusses memory-safety challenges in lock-free primitives and introduces iceoryx2's ByteAtomic as a byte-wise atomic wrapper. It explains data races, sequence locks, and how per-byte atomicity can prevent undefined behavior, while emphasizing that higher-level synchronization is still required to guarantee data integrity. The piece covers implementation details, including handling padding bytes and the AtomicCopy trait, plus usage examples and future integration goals.